940 search results - page 113 / 188 » Local rely-guarantee reasoning |
107
click to vote
MOBICOM
2005
ACM
15 years 6 months ago
2005
ACM
Vehicular Ad Hoc Networks (VANET) have several characteristics that distinguish them from other ad hoc networks. Among those is the rapid change in topology due to traffic jams, w...
87
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
MABS
2004
Springer
15 years 6 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
113
Voted
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a new globally convergent rangesensor based navigation algorithm in three-dimensions, called 3DBug. The 3DBug algorithm navigates a point robot in a three-dime...
120
Voted
SIGMOD
1998
ACM
15 years 5 months ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...