4586 search results - page 495 / 918 » Computing stable models in parallel |
165
click to vote
PDCAT
2005
Springer
16 years 8 days ago
2005
Springer
This paper describes a new protocol for authentication in Peer-to-Peer systems. The protocol has been designed to meet specialized requirements of P2P systems, such as lack of dir...
170
Voted
PODC
2003
ACM
16 years 20 hour ago
2003
ACM
We introduce a novel game that models the creation of Internet-like networks by selfish node-agents without central design or coordination. Nodes pay for the links that they esta...
199
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
184
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
193
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...