690 search results - page 99 / 138 » Testing Temporal Logic Properties in Distributed Systems |
118
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
115
Voted
ISIPTA
1999
IEEE
15 years 4 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
122
click to vote
FORTE
2009
14 years 10 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
204
Voted
POPL
2005
ACM
16 years 24 days ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
112
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...