91 search results - page 16 / 19 » Correctness of vehicle control systems-a case study |
ICSM
2002
IEEE
14 years 16 days 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
14 years 29 days 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...
ATAL
2010
Springer
13 years 8 months 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...
DAC
2007
ACM
14 years 8 months 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
14 years 1 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...