6474 search results - page 502 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
175
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
199
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
196
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
172
click to vote
ICRA
2003
IEEE
16 years 11 days ago
2003
IEEE
— This paper presents a fast approach for vision-based self-localization in RoboCup. The vision system extracts the features required for localization without processing the whol...
207
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...