339 search results - page 52 / 68 » Modeling Faults of Distributed, Reactive Systems |
111
click to vote
SPAA
2010
ACM
15 years 5 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 ...
122
Voted
SAC
2010
ACM
15 years 5 months 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...
95
Voted
CONCUR
2010
Springer
15 years 1 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
14 years 10 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...
114
Voted
HICSS
2005
IEEE
15 years 6 months 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...