Sciweavers

2813 search results - page 393 / 563
» Formalizing Architectural Connection
Sort
View
IPPS
2006
IEEE
16 years 14 days ago
On collaborative content distribution using multi-message gossip
We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneousl...
Yaacov Fernandess, Dahlia Malkhi
PRDC
2006
IEEE
16 years 14 days ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
WIKIS
2005
ACM
16 years 8 hour ago
Wiki communities in the context of work processes
In this article we examine the integration of communities of practice supported by a wiki into work processes. Linear structures are often inappropriate for the execution of knowl...
Frank Fuchs-Kittowski, André Köhler
CCS
2005
ACM
15 years 12 months ago
A modular correctness proof of IEEE 802.11i and TLS
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
Changhua He, Mukund Sundararajan, Anupam Datta, An...
ICDT
2005
ACM
95views Database» more  ICDT 2005»
15 years 12 months ago
Semantics of Data Streams and Operators
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...
David Maier, Jin Li, Peter A. Tucker, Kristin Tuft...