Sciweavers

1256 search results - page 54 / 252
» On Coordinated Checkpointing in Distributed Systems
Sort
View
ICMAS
1998
13 years 10 months ago
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
Munindar P. Singh
COORDINATION
2009
Springer
14 years 6 days ago
From Coordination to Stochastic Models of QoS
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Me...
ISORC
1998
IEEE
14 years 1 months ago
Coordinated Atomic Actions in Modelling Objects Cooperation
: Systems are defined by their components and the relationships among their components, hence when modelling systems using an objectoriented (OO) approach, objects alone are insuff...
Rogério de Lemos, Alexander B. Romanovsky
HOTOS
2009
IEEE
14 years 23 days ago
Peloton: Coordinated Resource Management for Sensor Networks
This paper makes the case that operating system designs for sensor networks should focus on the coordination of resource management decisions across the network, rather than merel...
Jason Waterman, Geoffrey Werner Challen, Matt Wels...
SAC
1998
ACM
14 years 1 months ago
Coordinating autonomous entities
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
Oliver Krone, Fabrice Chantemargue, Thierry Dagaef...