220 search results - page 24 / 44 » A Secure Mechanism for Address Block Allocation and Distribu... |
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper presents a distributed planning and control architecture for autonomous Multi-Manipulator Systems (MMS). The control architecture is implemented using an agent-based ap...
TLDI
2003
ACM
14 years 20 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
CN
2007
13 years 7 months ago
2007
Wide-area service replication is becoming increasingly common, with the emergence of new operational models such as content delivery networks and computational grids. This paper d...
NDSS
2005
IEEE
14 years 1 months ago
2005
IEEE
As national infrastructure becomes intertwined with emerging global data networks, the stability and integrity of the two have become synonymous. This connection, while necessary,...
IJCSA
2007
13 years 7 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...