Sciweavers

1636 search results - page 232 / 328
» Dynamic and Distributed Interaction Protocols
Sort
View
COORDINATION
2008
Springer
15 years 6 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
FORTE
2007
15 years 5 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
WEBI
2005
Springer
15 years 9 months ago
Developing Agent Web Service Agreements
Web services have emerged as a new paradigm that supports loosely-coupled distributed systems in service discovery and service execution. Next generation web services will evolve ...
Shamimabi Paurobally, Nicholas R. Jennings
PLDI
2009
ACM
16 years 4 months ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...
ATAL
2007
Springer
15 years 10 months ago
The effect of task and environment factors on M.A.S. coordination and reorganization
Research on organization of Multi-Agent Systems (M.A.S.) has shown that by adapting its organization, a M.A.S. is better able to operate in dynamic environments. In this paper we ...
Mattijs Ghijsen, Wouter N. H. Jansweijer, Bob J. W...