3318 search results - page 501 / 664 » The Weak Instance Model |
112
Voted
FOCS
2000
IEEE
15 years 5 months ago
2000
IEEE
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...
125
Voted
CSFW
1999
IEEE
15 years 5 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
98
Voted
ICDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. In applications that use a large number of groups, ...
100
Voted
SRDS
1996
IEEE
15 years 4 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
89
Voted
ECHT
1992
15 years 4 months ago
1992
This paper discusses experiences and lessons learned from the design of an open hypermedia system, one that integrates applications and data not "owned" by the hypermedi...