4914 search results - page 927 / 983 » Arbitration of a help system |
164
click to vote
ATAL
2007
Springer
16 years 5 days ago
2007
Springer
In online, dynamic environments, the services requested by consumers may not be readily served by the providers. This requires the service consumers and providers to negotiate the...
160
click to vote
CAV
2007
Springer
16 years 5 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
176
click to vote
CCS
2007
ACM
16 years 5 days ago
2007
ACM
We describe a new attack against web authentication, which we call dynamic pharming. Dynamic pharming works by hijacking DNS and sending the victim’s browser malicious Javascrip...
152
click to vote
CCS
2007
ACM
16 years 5 days ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
177
click to vote
CSL
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...