4099 search results - page 44 / 820 » A Framework for Interactive Proof |
130
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
142
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
131
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Though interaction designers critique interfaces as a regular part of their research and practice, the field of HCI lacks a proper discipline of interaction criticism. By interact...
170
click to vote
CARDIS
2008
Springer
15 years 7 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
170
click to vote
DBSEC
2006
15 years 6 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...