91 search results - page 16 / 19 » Correctness of vehicle control systems-a case study |
105
click to vote
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
100
click to vote
ATAL
2010
Springer
15 years 25 days ago
2010
Springer
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...
117
click to vote
DAC
2007
ACM
16 years 21 days ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...