1611 search results - page 132 / 323 » Experimental Integration of Planning in a Distributed Contro... |
125
Voted
SPIN
2000
Springer
15 years 7 months 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...
153
Voted
DCOSS
2011
Springer
14 years 3 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...
115
click to vote
COLCOM
2007
IEEE
15 years 9 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...
116
click to vote
BCSHCI
2007
15 years 4 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...
108
click to vote
ATAL
2005
Springer
15 years 9 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...