Search results for "020207 software engineering"

showing 10 items of 475 documents

A Newcomer's Guide to EICS, the Engineering Interactive Computing Systems Community

2019

[EN] Welcome to EICS, the Engineering Interactive Computing Systems community, PACMHCI/EICS journal, and annual conference! In this short article, we introduce newcomers to the field and to our community with an overview of what EICS is and how it positions with respect to other venues in Human-Computer Interaction, such as CHI, UIST, and IUI, highlighting its legacy and paying homage to past scientific events from which EICS emerged. We also take this opportunity to enumerate and exemplify scientific contributions to the field of Engineering Interactive Computing Systems, which we hope to guide researchers and practitioners towards making their future PACMHCI/EICS submissions successful an…

Interactive computingUser interfacesDesignComputer Networks and CommunicationsComputer science02 engineering and technologyInteractive systemsModel-driven EngineeringInteractive systems and toolsField (computer science)Software and its engineering0202 electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesSoftware verification and validation050107 human factorscomputer.programming_languageSoftware engineeringComputingMilieux_THECOMPUTINGPROFESSIONFormal methods05 social sciencesVerification and validation020207 software engineeringFormal methodsData scienceHuman computer interaction (HCI)Human-Computer InteractionHuman-centered computingModel-based design of user interfacesUser interfaceModel-driven architecturecomputerLENGUAJES Y SISTEMAS INFORMATICOSSocial Sciences (miscellaneous)
researchProduct

AnyDSL: a partial evaluation framework for programming high-performance libraries

2023

This paper advocates programming high-performance code using partial evaluation. We present a clean-slate programming system with a simple, annotation-based, online partial evaluator that operates on a CPS-style intermediate representation. Our system exposes code generation for accelerators (vectorization/parallelization for CPUs and GPUs) via compiler-known higher-order functions that can be subjected to partial evaluation. This way, generic implementations can be instantiated with target-specific code at compile time. In our experimental evaluation we present three extensive case studies from image processing, ray tracing, and genome sequence alignment. We demonstrate that using partial …

Intermediate languageComputer science020207 software engineeringImage processing02 engineering and technologyParallel computingPartial evaluation004020204 information systems0202 electrical engineering electronic engineering information engineeringCode generationRay tracing (graphics)General-purpose computing on graphics processing unitsSafety Risk Reliability and QualityImplementationSoftwareCompile time
researchProduct

Universally Designed Beacon-Assisted Indoor Navigation for Emergency Evacuations

2019

International audience; The United Nations (UN) Convention on the Rights of Persons with Disabilities (CRPD) obligates national governments to ensure the protection and safety of persons with disabilities in emergency situations. This article examines the application and accessibility of state-of-the-art ICT solutions in emergency situations. Research has indeed shown that the design and implementation of evacuation procedures in emergency situations play a critical role in ensuring personal safety and protection. While research has examined the experiences of persons including persons with disabilities in emergency situations, research has yet to examine fully the role that cutting-edge in…

IoTInternet of thingsbusiness.industryComputer science020208 electrical & electronic engineeringInternet privacyBig data020207 software engineeringBeacon-assisted indoor navigation02 engineering and technologylaw.inventionBeaconBluetoothUser experience designlawInformation and Communications Technology0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs]businessMobile deviceVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550Emergency evacuations
researchProduct

Capturing citizens — Emerging needs: Using social networks in smart cities

2017

In order to reach its objectives, smart cities (or whatever kind of smart urban environment) should be underpinned by complex cyber physical systems (CPS) able to discover needs and services and "smartly" combine them. Services may be thought as services offered by software components, of whatever nature, for instance software, bot, robot, app and so on. Searching for the best service depends on the need of the citizen(s) and also on the type of (smart) environment the citizens are in. Analysis and design of CPSs are more challenging than the only physical or the only cyber system. We propose a design paradigm shift towards runtime for identifying requirements of cyber physical systems for …

IoTrequirements analysisService (systems architecture)021103 operations researchcyber physical systemComputer sciencebusiness.industry0211 other engineering and technologiesCyber-physical system020207 software engineering02 engineering and technologyComputer securitycomputer.software_genreSmart citieSoftwareComponent-based software engineering0202 electrical engineering electronic engineering information engineeringRobotSoftware systembusinesscomputerDesign paradigmRequirements analysis2017 AEIT International Annual Conference
researchProduct

A VR/AR Environment for Multi-User Liver Anatomy Education

2021

We present a Virtual and Augmented Reality multi-user prototype of a learning environment for liver anatomy education. Our system supports various training scenarios ranging from small learning groups to classroom-size education, where students and teachers can participate in virtual reality, augmented reality, or via desktop PCs. In an iterative development process with surgeons and teachers, a virtual organ library was created. Nineteen liver data sets were used comprising 3D surface models, 2D image data, pathology information, diagnosis and treatment decisions. These data sets can interactively be sorted and investigated individually regarding their volumetric and meta information. The …

Iterative and incremental development020205 medical informaticsProcess (engineering)business.industryComputer scienceLearning environmenteducation020207 software engineeringUsabilityQualitative property02 engineering and technologyVirtual realityHuman–computer interaction0202 electrical engineering electronic engineering information engineeringAugmented realityUser interfacebusiness2021 IEEE Virtual Reality and 3D User Interfaces (VR)
researchProduct

Lua Code: Security Overview and Practical Approaches to Static Analysis

2017

Lua is an interpreted, cross-platform, embeddable, performant and low-footprint language. Lua's popularity is on the rise in the last couple of years. Simple design and efficient usage of resources combined with its performance make it attractive for production web applications even to big organizations such as Wikipedia, CloudFlare and GitHub. In addition to this, Lua is one of the preferred choices for programming embedded and IoT devices. This context allows to assume a large and growing Lua codebase yet to be assessed. This growing Lua codebase could be potentially driving production servers and extremely large number of devices, some perhaps with mission-critical function for example i…

JavaComputer sciencevulnerabilityStatic program analysis02 engineering and technologyLuaJavaScriptSecurity testingohjelmointikielet020204 information systemsprogramming languages0202 electrical engineering electronic engineering information engineeringWeb applicationtietoturvadata securityhaavoittuvuuscomputer.programming_languageCodebaseta113business.industryComputingMilieux_PERSONALCOMPUTING020207 software engineeringPython (programming language)Static analysisAbstract syntax treeSoftware engineeringbusinesscomputer
researchProduct

VisAdapt: A Visualization Tool to Support Climate Change Adaptation.

2017

In this article we present the design and implementation of the web-based visualization tool VisAdapt, developed to support homeowners in the Nordic countries to assess anticipated climate change and climate related risks which are expected to negatively impact their living conditions. The tool guides the user through a three-step visual exploration process to facilitate the exploration of risks and adaptation measures, specifically adapted to the user. VisAdapt has been developed over the course of two years in close collaboration with domain experts and end users to ensure the validity of the included data and the efficiency of the visual interface. Although VisAdapt is designed for Nordi…

Knowledge management010504 meteorology & atmospheric sciencesProcess (engineering)End userComputer sciencebusiness.industryClimate change020207 software engineering02 engineering and technology01 natural sciencesComputer Graphics and Computer-Aided DesignData scienceVisualizationPeer reviewComputer graphics0202 electrical engineering electronic engineering information engineeringDesign processClimate change adaptationScience technology and societybusinessInteractive visualizationSoftware0105 earth and related environmental sciencesUser-centered designIEEE computer graphics and applications
researchProduct

Internal Software Startups - A Multiple Case Study on Practices, Methods, and Success Factors

2020

Startups are often seen as drivers of innovation. In an attempt to leverage this potential, larger business organizations have founded internal startups as a subset of internal corporate ventures (ICV). These smaller organizations are intended to be more agile than the parent organization, in order to produce new service and product innovations using their own methods and practices independently of the organizational culture and methods of the parent organization. However, our understanding of ICVs is still lacking in terms of processes and success factors, and especially the more recent internal startups have scarcely been studied thus far. To approach this novel area of research, we take …

Knowledge managementLeverage (finance)business.industryinternal startup05 social sciencesCorporate venture capitalOrganizational cultureSuccess factors020207 software engineering02 engineering and technologystartup-yrityksetsoftware startupSoftware0502 economics and business0202 electrical engineering electronic engineering information engineeringMultiple casecorporate venturingohjelmistoliiketoimintamenestystekijätbusinessPractical implications050203 business & managementAgile software development
researchProduct

On the Convergence of Affective and Persuasive Technologies in Computer-Mediated Health-Care Systems

2015

This paper offers a portrayal of how affective computing and persuasive technologies can converge into an effective tool for interfacing biomedical engineering with behavioral sciences and medicine. We describe the characteristics, features, applications, present state of the art, perspectives, and trends of both streams of research. In particular, these streams are analyzed in light of the potential contribution of their convergence for improving computer-mediated health-care systems, by facilitating the modification of patients’ attitudes and behaviors, such as engagement and compliance. We propose a framework for future research in this emerging area, highlighting how key constructs and …

Knowledge managementSocial PsychologyBehavioural sciences02 engineering and technologyPersuasive technologyMultimodalityHealth care0202 electrical engineering electronic engineering information engineeringcomputer-mediated health careAffective computingaffective computingpersuasive technologylcsh:T58.5-58.64patient engagementbusiness.industrylcsh:Information technologyCommunication05 social sciences050301 education020207 software engineeringpatient motivationHuman-Computer InteractionCost reductionParadigm shiftConvergence (relationship)businessPsychology0503 education
researchProduct

Using Social Networks to Enhance Customer Relationship Management

2013

International audience; In recent years, the Web has evolved into an exchange platform. Customer Relationship Management (CRM) must follow this evolution and connect CRM tools to social networks in order to place companies in the center of all the exchanges. We propose, in this article, a community detection approach that identi fies clusters of customers of a company using their explicit and implicit behaviour. Our contribution is the definition of a composite pro le that integrates various informations gathered from di erent applications, such as the information system of the company, the existing CRM, or Twitter. We de ne a similarity measure, between a user and a tag, that takes into ac…

Knowledge management[INFO.INFO-WB] Computer Science [cs]/WebWeb 2.0Computer science[ INFO.INFO-WB ] Computer Science [cs]/Web02 engineering and technologySimilarity measureCustomer relationship managementSocial Semantic Web020204 information systems0202 electrical engineering electronic engineering information engineeringInformation systemSemantic WebSemantic Webbusiness.industryACM[INFO.INFO-WB]Computer Science [cs]/Web020207 software engineeringSocial CRMSharing and DiscoverySocial Networks and CommunitiesKnowledge ManagementOrder (business)Web 3Web 2business
researchProduct