Sciweavers

8555 search results - page 255 / 1711
» Property Based Coordination
Sort
View
ATAL
2005
Springer
16 years 25 days ago
Layered message semantics using social commitments
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
APN
2004
Springer
16 years 20 days ago
An Approach to Distributed State Space Exploration for Coloured Petri Nets
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
Lars Michael Kristensen, Laure Petrucci
COORDINATION
2004
Springer
16 years 20 days ago
Measuring Component Adaptation
Adapting heterogeneous software components that present mismatching interaction behaviour is one of the crucial problems in Component-Based Software Engineering. The process of com...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
GD
2004
Springer
16 years 20 days ago
Distributed Graph Layout for Sensor Networks
Sensor network applications frequently require that the sensors know their physical locations in some global coordinate system. This is usually achieved by equipping each sensor w...
Craig Gotsman, Yehuda Koren
PRIMA
2004
Springer
16 years 19 days ago
Handling Emergent Resource Use Oscillations
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
Mark Klein, Richard Metzler, Yaneer Bar-Yam