Search results for "software engineering"

showing 10 items of 1151 documents

Towards the definitive evaluation framework for cross-platform app development approaches

2019

Abstract Mobile app development is hindered by device fragmentation and vendor-specific modifications. Boundaries between devices blur with PC-tablet hybrids on the one side and wearables on the other. Future apps need to support a host of app-enabled devices with differing capabilities, along with their software ecosystems. Prior work on cross-platform app development concerned concepts and prototypes, and compared approaches that target smartphones. To aid choosing an appropriate framework and to support the scientific assessment of approaches, an up-to-date comparison framework is needed. Extending work on a holistic, weighted set of assessment criteria, we propose what could become the …

business.industryComputer science05 social sciencesWearable computer020207 software engineering02 engineering and technologyData scienceVDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420Variety (cybernetics)Market fragmentationSoftwareHardware and Architecture0502 economics and businessCross-platform0202 electrical engineering electronic engineering information engineeringWeb applicationbusinessSet (psychology)Host (network)050203 business & managementSoftwareInformation Systems
researchProduct

Minkowski-Lorentz Spaces Applications: Resolution of Apollonius and Dupin Problems

2019

International audience

Lorentz transformationResolution (electron density)020207 software engineering02 engineering and technology16. Peace & justice01 natural sciences[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]0104 chemical sciences010404 medicinal & biomolecular chemistrysymbols.namesakeTheoretical physicsMinkowski space0202 electrical engineering electronic engineering information engineeringsymbolsComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Automating statistical diagrammatic representations with data characterization

2017

The search for an efficient method to enhance data cognition is especially important when managing data from multidimensional databases. Open data policies have dramatically increased not only the volume of data available to the public, but also the need to automate the translation of data into efficient graphical representations. Graphic automation involves producing an algorithm that necessarily contains inputs derived from the type of data. A set of rules are then applied to combine the input variables and produce a graphical representation. Automated systems, however, fail to provide an efficient graphical representation because they only consider either a one-dimensional characterizat…

business.industryComputer science020207 software engineeringCognition02 engineering and technologyGraphic designcomputer.software_genre01 natural sciencesCharacterization (materials science)010104 statistics & probabilityInformation visualizationDiagrammatic reasoningOpen dataHuman–computer interaction0202 electrical engineering electronic engineering information engineeringComputer Vision and Pattern RecognitionArtificial intelligence0101 mathematicsbusinesscomputerStatistical graphicsNatural language processingGraphical user interfaceInformation Visualization
researchProduct

How to combine tools and methods in practice— a field study

1990

In spring 1989 we surveyed the experiences of some Finnish companies in methodology modelling (metamodelling) and adaptation of tools and methodologies to each other (methodology adaptation). The companies represented software production, banking, wood and metal industry, and wholesale trade. The study was carried out as a field study where we interviewed method developers, systems analysts and their supervisors. The goal of the survey was to find out whether there was need for metamodelling or methodology adaptation in general and how this need had been satisfied. The study shows that a little experience had been gained in adapting data dictionaries to methodologies but no such attempts ha…

Process managementKnowledge managementbusiness.industryComputer sciencemedia_common.quotation_subjectUsabilityData dictionaryAdaptabilityMetamodelingInformation systemUser interfacebusinessAdaptation (computer science)Computer-aided software engineeringmedia_common
researchProduct

An introduction to Open Source software licensing and use in anaesthesia department

2007

EU member states are supporting the Open Source initiative suggesting the adoption of free software in government installation instead of commercial software. The latest national laws suggest adoption of Open Source solutions in educational structures as well, such as in schools and universities. It is clear that imprisoning knowledge with license fees does not allow any improvement nor any growth.

EngineeringEngineering managementGovernmentCommercial softwareOpen sourceSoftwarebusiness.industryMember statesOpen source softwarebusinessSoftware engineeringLicense
researchProduct

Special track on Geometric Constraints and Reasoning

2008

Geometric Computing and Reasoning (GCR) aims at emphasizing recent trends in the domain of geometric constraint solving and automated, or computer aided deduction in geometry. This year sees the third edition of this technical track of SAC.

Geometric networksConstraint (information theory)Theoretical computer scienceComputer scienceTrack (rail transport)Geometric computingComputingMethodologies_COMPUTERGRAPHICSDomain (software engineering)Proceedings of the 2008 ACM symposium on Applied computing
researchProduct

BlockSee: Blockchain for IoT video surveillance in smart cities

2018

The growing demand for safety in urban environments is supported by monitoring using video surveillance. The need to analyze multiple video-flows from different cameras deployed around the city by heterogeneous owners introduces vulnerabilities and privacy issues. Video frames, timestamps, and camera settings can be digitally manipulated by malicious users; the positions of cameras, their orientation and their mechanical settings can be physically manipulated. Digital and physical manipulations may have several effects, including the change of the observed scene and the potential violation of neighbors' privacy. To face these risks, we introduce BlockSee, a blockchain-based video surveillan…

Immutabilityblockchain video surveillance privacyBlockchainbusiness.industryPHYSICAL MANIPULATIONSComputer scienceOrientation (computer vision)Settore ING-INF/03 - TelecomunicazioniComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION020207 software engineeringMonitoring system02 engineering and technologyComputer securitycomputer.software_genreFace (geometry)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingTimestampInternet of Thingsbusinesscomputer
researchProduct

Efficient cluster-based routing algorithm for body sensor networks

2018

International audience; Body Sensor Networks have gained a lot of research interest lately for the variety of applications they can serve. In such networks where nodes might hold critical information about people's lives, designing efficient routing schemes is very important to guarantee data delivery with the lowest delay and energy consumption. Even though some cluster-based routing schemes were proposed in the literature, none of them offer a complete solution that guarantees energy and delay efficient routing in BSN. In this paper, we propose a robust cluster- based algorithm that increases the routing efficiency through every step of the routing process: cluster formation, cluster head…

Computer scienceDistributed computing010401 analytical chemistryRouting algorithm020206 networking & telecommunications[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]02 engineering and technologyEnergy consumption[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation01 natural sciences0104 chemical sciences[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR][INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]0202 electrical engineering electronic engineering information engineering[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]Data delivery[INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]MATLABcomputerWireless sensor networkCluster basedcomputer.programming_language2018 IEEE Middle East and North Africa Communications Conference (MENACOMM)
researchProduct

Extending SPARQL with Temporal Logic

2009

The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/WebInformationSystems_DATABASEMANAGEMENTlabeled transition system[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]ACM : H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languagesSPARQL[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationmodel checkingRDFACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]temporal logicACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB][ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationverification
researchProduct

Human-in-the-Loop Conversation Agent for Customer Service

2020

This paper describes a prototype system for partial automation of customer service operations of a mobile telecommunications operator with a human-in-the loop conversational agent. The agent consists of an intent detection system for identifying the types of customer requests that it can handle appropriately, a slot filling information extraction system that integrates with the customer service database for a rule-based treatment of the common scenarios, and a template-based language generation system that builds response candidates that can be approved or amended by customer service operators. The main focus of this paper is on the system architecture and machine learning system structure …

Business requirementsbusiness.industryComputer sciencemedia_common.quotation_subject020206 networking & telecommunications02 engineering and technologycomputer.software_genreAutomationInformation extraction0202 electrical engineering electronic engineering information engineeringSystems architectureHuman-in-the-loop020201 artificial intelligence & image processingConversationMobile telephonyDialog systembusinessSoftware engineeringcomputermedia_common
researchProduct