733 search results - page 109 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
126
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
120
click to vote
CSCW
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we examine the social roles of software tools in the English-language Wikipedia, specifically focusing on autonomous editing programs and assisted editing tools. Th...
114
click to vote
INTERNET
2008
15 years 2 months ago
2008
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
120
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
115
click to vote
IPSJ
1994
15 years 3 months ago
1994
The goal of the Tsimmis Project is to develop tools that facilitate the rapid integration of heterogeneous information sources that may include both structured and unstructured da...