Sciweavers

1839 search results - page 161 / 368
» Models of Coordination
Sort
View
CORR
2010
Springer
65views Education» more  CORR 2010»
13 years 8 months ago
Uniqueness of models in persistent homology: the case of curves
We consider generic curves in R2 , i.e. generic C1 functions f : S1 R2 . We analyze these curves through the persistent homology groups of a filtration induced on S1 by f. In parti...
Patrizio Frosini, Claudia Landi
COORDINATION
2005
Springer
14 years 4 months ago
Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
Giovanni Russello, Michel R. V. Chaudron, Maarten ...
ATAL
2005
Springer
14 years 4 months ago
Integrating a MAS and a Pandemonium: the open-source framework AKIRA
The open-source framework AKIRA integrates Multiagent and Pandemonium elements. We describe the main components of the framework, showing that the hybrid nature of the Agents, hav...
Giovanni Pezzulo, Gianguglielmo Calvi, Rino Falcon...
ICALP
1994
Springer
14 years 2 months ago
Liveness in Timed and Untimed Systems
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
Rainer Gawlick, Roberto Segala, Jørgen F. S...
ICDE
2000
IEEE
89views Database» more  ICDE 2000»
14 years 3 months ago
Managing Escalation of Collaboration Processes in Crisis Mitigation Situations
Processes for crisis mitigation must permit coordination flexibility and dynamic change to empower crisis mitigation coordinators and experts to deal with the unexpected situatio...
Dimitrios Georgakopoulos, Hans Schuster, Donald Ba...