339 search results - page 52 / 68 » Modeling Faults of Distributed, Reactive Systems |
SPAA
2010
ACM
13 years 11 months ago
2010
ACM
In this work, we address Byzantine agreement in a message passing system with homonyms, i.e. a system with a number l of authenticated identities that is independent of the total ...
SAC
2010
ACM
14 years 1 days ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
CONCUR
2010
Springer
13 years 7 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
COMPSAC
2010
IEEE
13 years 4 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
HICSS
2005
IEEE
14 years 10 days ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...