Sciweavers

3555 search results - page 513 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 9 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
MIA
2010
132views more  MIA 2010»
14 years 11 months ago
Respiratory motion compensation by model-based catheter tracking during EP procedures
In many cases, radio-frequency catheter ablation of the pulmonary veins attached to the left atrium still involves fluoroscopic image guidance. Twodimensional X-ray navigation may...
Alexander Brost, Rui Liao, Norbert Strobel, Joachi...
ECBS
2006
IEEE
112views Hardware» more  ECBS 2006»
15 years 10 months ago
A Goal-Oriented Approach for Safety Requirements Specification
Robotic systems are developed to execute tasks with several types of risks associated. The possible damages that can affect both the working environment and the self-system lead u...
Elena Navarro, Pedro Sánchez, Patricio Lete...
AOSE
2001
Springer
15 years 9 months ago
Expectation-Oriented Analysis and Design
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
Wilfried Brauer, Matthias Nickles, Michael Rovatso...
CHI
2008
ACM
16 years 4 months ago
Asynchronous remote medical consultation for Ghana
Computer-mediated communication systems can be used to bridge the gap between doctors in underserved regions with local shortages of medical expertise and medical specialists worl...
Rowena Luk, Melissa Ho, Paul M. Aoki