Sciweavers

2523 search results - page 161 / 505
» Correct Development of Embedded Systems
Sort
View
122
Voted
IWFM
1998
15 years 4 months ago
Applications of the TAMPR Transformation System
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
Terence J. Harmer, Patrick J. McParland, James M. ...
130
Voted
EEMMAS
2007
Springer
15 years 8 months ago
DECIDE: Applying Multi-agent Design and Decision Logic to a Baggage Handling System
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
Kasper Hallenborg, Yves Demazeau
112
Voted
BILDMED
2004
130views Algorithms» more  BILDMED 2004»
15 years 4 months ago
Prototyping a Planning System for Orbital Reconstruction
In the practice of maxillofacial surgery, one major challenge is the correct reconstruction of malformed or damaged bone structures of the face. Among those, a rather frequent task...
Jan Fischer, Melissa Mekic, Ángel del R&iac...
97
Voted
RTSS
2003
IEEE
15 years 8 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
111
Voted
CHI
2007
ACM
16 years 3 months ago
Designing tangibles for children: what designers need to know
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
Alissa Nicole Antle