18466 search results - page 272 / 3694 » On distributed systems and CSCL |
164
click to vote
PDSE
1998
15 years 8 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
223
click to vote
HPCC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
181
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
Collaborative filtering requires a centralized rating database. However, within a peer-to-peer network such a centralized database is not readily available. In this paper, we pro...
173
click to vote
ICDCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Securing data is becoming a crucial need for most internet-based applications. Whereas the problem of data confidentiality has been widely investigated, the problem of how to ens...
154
Voted
SP
2005
IEEE
16 years 6 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...