2637 search results - page 481 / 528 » Tool Supported Specification and Simulation of Distributed S... |
SOSP
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
ASAP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
HPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Self-configuring virtual networks rely on structured P2P routing to provide seamless connectivity among nodes through overlay routing of virtual IP packets, support decentralized...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...