1490 search results - page 134 / 298 » The Logic of Authentication Protocols |
113
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract-- We describe
101
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
126
click to vote
STTT
2010
14 years 10 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
141
click to vote
VLDB
1990
ACM
15 years 8 months ago
1990
ACM
In this paper, we present an efficient algorithm for managing replicated data. We impose a logical tree structure on the set of copies of an object. In a failurefree environment t...
163
click to vote
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...