9503 search results - page 246 / 1901 » Authenticated System Calls |
180
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
213
click to vote
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
210
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
As the most pervasive method of individual identification and document authentication, signatures present convincing evidence and provide an important form of indexing for effectiv...
126
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this work we ask the question: what are the challenges of managing a physical or file system access-control policy for a large organization? To answer the question, we conducte...
207
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this paper I describe the Associative PDA 2.0, a mobile system for Personal Information Management (PIM), based on an associative information network. In addition to associate ...