5128 search results - page 841 / 1026 » When Abstraction Fails |
221
click to vote
AROBOTS
2010
15 years 4 months ago
2010
Abstract Modern service robots will soon become an essential part of modern society. As they have to move and act in human environments, it is essential for them to be provided wit...
167
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
224
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
robotics, the agents are often assumed to be identical. In this abstract, we argue that the cooperation between swarms of different kinds of robots can enhance the capabilities of ...
165
click to vote
CIDU
2010
15 years 4 months ago
2010
Abstract. The Aviation Safety Reporting System (ASRS) is used to collect voluntarily submitted aviation safety reports from pilots, controllers and others. As such it is particular...
194
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...