5128 search results - page 149 / 1026 » When Abstraction Fails |
190
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
164
click to vote
SG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
162
click to vote
EMMCVPR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Motion segmentation methods often fail to detect the motions of low textured regions. We develop an algorithm for segmentation of low textured moving objects. While usual...
170
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled...
149
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...