713 search results - page 106 / 143 » Fault Analysis of a Distributed Flight Control System |
115
click to vote
SAB
2004
Springer
15 years 5 months ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
110
click to vote
SPAA
2003
ACM
15 years 5 months ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
EDCC
1994
Springer
15 years 3 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
131
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....