Sciweavers

4272 search results - page 333 / 855
» A Case for Automatic System Evaluation
Sort
View
ICMI
2004
Springer
120views Biometrics» more  ICMI 2004»
16 years 8 days ago
M/ORIS: a medical/operating room interaction system
We propose an architecture for a real-time multimodal system, which provides non-contact, adaptive user interfacing for Computer-Assisted Surgery (CAS). The system, called M/ORIS ...
Sébastien Grange, Terrence Fong, Charles Ba...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 1 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
IAT
2007
IEEE
16 years 1 months ago
Economically Inspired Self-healing Model for Multi-Agent Systems
Self-healing in fault tolerant multi-agent systems is the system ability to automatically detect, diagnose, and repair the faults. However, most of the available solutions are fra...
Maryam Ashoori, Chunyan Miao, Majid Nili, Mehdi Am...
TASE
2007
IEEE
16 years 1 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
IESS
2007
Springer
143views Hardware» more  IESS 2007»
16 years 1 months ago
Embedded Software Development in a System-Level Design Flow
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
Gunar Schirner, Gautam Sachdeva, Andreas Gerstlaue...