2463 search results - page 50 / 493 » On the Study of Dynamic and Adaptive Dependable Distributed ... |
132
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
143
click to vote
IAJIT
2007
15 years 4 months ago
2007
: Routing is an important functional aspect in wireless ad-hoc networks that handles discovering and maintaining the paths between nodes within a network. Due to nodes mobility, th...
153
click to vote
APIN
1998
15 years 4 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
163
click to vote
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...
144
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...