1611 search results - page 132 / 323 » Experimental Integration of Planning in a Distributed Contro... |
SPIN
2000
Springer
14 years 19 days ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
DCOSS
2011
Springer
12 years 9 months ago
2011
Springer
—A Wireless Sensor Network (WSN) deployed for detection applications has the distinguishing feature that sensors cooperate to perform the detection task. Therefore, the decoupled...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
BCSHCI
2007
13 years 10 months ago
2007
In this paper, we introduce GazeSpace, a novel system utilizing eye gaze to browse content spaces. While most existing eye gaze systems are designed for medical contexts, GazeSpac...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...