Sciweavers

1342 search results - page 74 / 269
» GUESSTIMATE: A Programming Model for Collaborative Distribut...
Sort
View
ATAL
2008
Springer
13 years 10 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal
CCGRID
2010
IEEE
13 years 9 months ago
Selective Recovery from Failures in a Task Parallel Programming Model
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
James Dinan, Arjun Singri, P. Sadayappan, Sriram K...
ICRA
1999
IEEE
183views Robotics» more  ICRA 1999»
14 years 11 days ago
Agent-Based Planning and Control of a Multi-Manipulator Assembly System
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...
Juan C. Fraile, Christiaan J. J. Paredis, Pradeep ...
ATAL
2010
Springer
13 years 9 months ago
Distributed BDD-based BMC for the verification of multi-agent systems
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
Andrew V. Jones, Alessio Lomuscio
TACS
2001
Springer
14 years 15 days ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough