4850 search results - page 960 / 970 » Proof and Computation in Geometry |
ATAL
2008
Springer
15 years 20 days ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
101
click to vote
CCS
2008
ACM
15 years 19 days ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
DIM
2005
ACM
15 years 18 days ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
ESORICS
2008
Springer
15 years 12 days ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
105
click to vote
FMCAD
2008
Springer
15 years 6 days ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...