4350 search results - page 319 / 870 » Case studies for contract-based systems |
179
Voted
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
160
click to vote
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
178
click to vote
QOSA
2007
Springer
16 years 25 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
134
click to vote
ICDCSW
2005
IEEE
16 years 9 days ago
2005
IEEE
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
153
Voted
ICMI
2004
Springer
16 years 2 days ago
2004
Springer
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 ...