1525 search results - page 276 / 305 » Formal Models for Communication-Based Design |
100
click to vote
WETICE
2007
IEEE
15 years 6 months ago
2007
IEEE
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
131
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
127
click to vote
VLDB
2007
ACM
15 years 6 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
85
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...