Towards predicting frailty symptoms through a smart walking stick | 0 | 0.34 | 2018 |
A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living | 2 | 0.37 | 2017 |
Predicting the encoding of secondary diagnoses. An experience based on decision trees. | 0 | 0.34 | 2017 |
Engineering IoT Healthcare Applications - Towards a Semantic Data Driven Sustainable Architecture. | 1 | 0.36 | 2016 |
Increasing Alertness while Coding Secondary Diagnostics in the Medical Record. | 0 | 0.34 | 2016 |
Track F: Healthcare and sustainable living | 0 | 0.34 | 2013 |
Design and Evolution of Home-care Workflows using Ontologies and Model Transformations. | 0 | 0.34 | 2012 |
An Integration of Task and Use-Case Meta-models | 6 | 0.50 | 2009 |
Using sensors and labeled graphs to detect the space confusion's problem of patients suffering from Alzheimer's disease | 0 | 0.34 | 2009 |
Domain Specific Methods and Tools for the Design of Advanced Interactive Techniques | 2 | 0.39 | 2007 |
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications | 6 | 0.52 | 2006 |
Error patterns: systematic investigation of deviations in task models | 12 | 0.78 | 2006 |
Extending the Boundaries of Model-Based Development to Account for Errors | 2 | 0.43 | 2005 |
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers | 23 | 2.48 | 2005 |
A formal description of multimodal interaction techniques for immersive virtual reality applications | 35 | 1.41 | 2005 |
A model-based approach for real-time embedded multimodal systems in military aircrafts | 24 | 1.47 | 2004 |
Very-high-fidelity prototyping for both presentation and dialogue parts of multimodal interactive systems | 1 | 0.40 | 2004 |
A tool-supported design framework for safety critical interactive systems | 28 | 1.87 | 2003 |
Model-Based Interactive Prototyping of Highly Interactive Applications | 1 | 0.36 | 2002 |
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems | 12 | 0.83 | 2002 |
A Tool Suite for Integrating Task and System Models through Scenarios | 25 | 1.31 | 2001 |
Modeling a groupware editing tool with cooperative objects | 5 | 0.53 | 2001 |
A Formal Notation And Tool For The Engineering Of Corba Systems | 8 | 0.54 | 2000 |
Structuring interactive systems specifications for executability and prototypability | 19 | 1.19 | 2000 |
PetShop: a tool for the formal specification of CORBA systems | 2 | 0.41 | 2000 |
A formal specification of the CORBA event service | 10 | 0.68 | 2000 |
A Visual and Formal Glue between Application and Interaction | 11 | 0.98 | 1999 |
Formal Support for the Engineering of CORBA-based Distributed Object Systems | 3 | 0.49 | 1999 |
Petri Net Based Behavioural Specification of CORBA Systems | 8 | 0.94 | 1999 |
Formal Specification and Prototyping of CORBA Systems | 28 | 1.84 | 1999 |
Integrating Rendering Specifications Into A Formalism For The Design Of Interactive Systems | 19 | 1.18 | 1998 |
Synergistic modelling of tasks, users and systems using formal specification techniques | 17 | 1.26 | 1997 |
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop) | 1 | 0.38 | 1997 |
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems | 19 | 2.00 | 1997 |
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues | 7 | 0.76 | 1996 |
Time modelling in Petri nets for the design of interaction active | 3 | 0.60 | 1996 |
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO | 8 | 1.00 | 1996 |
Monolingual, Articulated Modeling of Users, Devices, and Interfaces | 4 | 0.50 | 1996 |
DAVID: A Multimedia Tool for Accident Investigation | 0 | 0.34 | 1996 |
SADS: Generic Web access to space data | 0 | 0.34 | 1996 |
Validating interactive system design through the verification of formal task and system models | 37 | 1.77 | 1995 |
Verification of an interactive software by analysis of its formal specification | 27 | 2.02 | 1995 |
A Petri Net based Environment for the Design of Event-driven Interfaces | 36 | 2.14 | 1995 |
Formal specification and verification of CSCW using the interactive cooperative object formalism | 7 | 0.84 | 1995 |
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995 | 23 | 3.84 | 1995 |
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism | 43 | 3.08 | 1994 |
Design of User-Driven Interfaces Using Petri Nets and Objects | 24 | 3.42 | 1993 |
Petri net objects for the design, validation and prototyping of user-driven interfaces | 30 | 2.76 | 1990 |