278 search results - page 35 / 56 » Formal Composition of Distributed Scenarios |
CNSM
2010
13 years 7 months ago
2010
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
FM
2006
Springer
14 years 20 days ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
TASE
2009
IEEE
14 years 3 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....