9503 search results - page 1662 / 1901 » Authenticated System Calls |
162
click to vote
PODC
2005
ACM
16 years 6 days ago
2005
ACM
A quorum system is a family of sets (themselves called quorums), each pair of which intersect. In many distributed algorithms, the basic unit accessed by a client is a quorum of n...
156
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
Over the last few years rapid progress has been made in moving from conceptual studies, “whitepapers” and initiatives to the actual deployment of e-Government systems [13]. In...
159
click to vote
CAV
2005
Springer
16 years 5 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
195
click to vote
CIKM
2005
Springer
16 years 5 days ago
2005
Springer
Data mining techniques frequently find a large number of patterns or rules, which make it very difficult for a human analyst to interpret the results and to find the truly interes...
200
click to vote
DBPL
2005
Springer
16 years 5 days ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...