63 search results - page 8 / 13 » Mediated Access to Symbolic Computation Systems |
SBP
2012
Springer
12 years 3 months ago
2012
Springer
Interactions between individuals, both economic and social, are increasingly mediated by technological systems. Such platforms facilitate interactions by controlling and regularizi...
NSDI
2010
13 years 9 months ago
2010
Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly ...
RTA
2007
Springer
14 years 1 months ago
2007
Springer
In the analysis of cryptographic protocols, a treacherous set of terms is one from which an intruder can get access to what was intended to be secret, by adding on to the top of a ...
CCS
2001
ACM
13 years 12 months ago
2001
ACM
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
SBMF
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...