5326 search results - page 299 / 1066 » On what we can ensure |
172
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a multi-loop, modular navigation architecture for mobile robots whose structure allows the execution of most types of navigation tasks in a highly robust mann...
205
click to vote
MAS
1998
Springer
15 years 11 months ago
1998
Springer
In mobile agent systems, program code together with some process state can autonomously migrate to new hosts. Despite its many practical benefits, mobile agent technology results i...
155
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—Privacy is an important requirement in vehicle networks, because vehicles broadcast detailed location information. Also of importance is accountability due to safety critical ap...
187
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
164
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...