2558 search results - page 423 / 512 » Model Composition Contracts |
124
click to vote
HPDC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...
124
Voted
ICCD
1997
IEEE
15 years 8 months ago
1997
IEEE
: This paper studies pseudo-random pattern testing of bridging faults. Although bridging faults are generally more random pattern testable than stuck-at faults, examples are shown ...
176
click to vote
PODC
1994
ACM
15 years 8 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
148
Voted
WMRD
1990
15 years 8 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
136
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
We investigate two challenges advance of e-commerce creates for traditional practice of travel distribution. First, we explore whether travel providers benefit from strategically ...