2111 search results - page 384 / 423 » Coordinative Applications, Structured Coordination, and Meta... |
SCESM
2006
ACM
14 years 2 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difï¬cult....
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
ERCIMDL
2005
Springer
14 years 2 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userâ...
ISRR
2005
Springer
14 years 2 months ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
PAM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Round trip times (RTTs) play an important role in Internet measurements. In this paper, we explore some of the ways in which routing policies impact RTTs. In particular, ...