Sciweavers

203 search results - page 3 / 41
» Mediated Population Protocols
Sort
View
CAISE
2006
Springer
15 years 1 months ago
Mediation Patterns for Message Exchange Protocols
Abstract. Systems interact with their environment (e.g., other systems) by exchanging messages in a particular order. Interoperability problems arise when systems do not understand...
Stanislav Pokraev, Manfred Reichert
ESWS
2006
Springer
15 years 1 months ago
Protocol Mediation for Adaptation in Semantic Web Services
Stuart K. Williams, Steven A. Battle, Javier Esplu...
INFSOF
2010
68views more  INFSOF 2010»
14 years 8 months ago
A pattern-based approach to protocol mediation for web services composition
Xitong Li, Yushun Fan, Stuart E. Madnick, Quan Z. ...
FCSC
2008
104views more  FCSC 2008»
14 years 9 months ago
On automatic verification of self-stabilizing population protocols
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
Jun Pang, Zhengqin Luo, Yuxin Deng
ICDCN
2009
Springer
15 years 4 months ago
Self-similar Functions and Population Protocols: A Characterization and a Comparison
Chandy et al. proposed the methodology of “self-similar algorithms” for distributed computation in dynamic environments. We further characterize the class of functions computab...
Swapnil Bhatia, Radim Bartos