1465 search results - page 125 / 293 » Making the Correct Mistakes |
137
click to vote
CHI
2001
ACM
16 years 6 months ago
2001
ACM
Increasingly, documents exist primarily in digital form. System designers have recently focused on making it easier to read digital documents, with annotation as an important new ...
271
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
135
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
183
click to vote
ICNP
2009
IEEE
16 years 1 months ago
2009
IEEE
—Wormhole attack is a severe threat to wireless ad hoc and sensor networks. Most existing countermeasures either require specialized hardware devices or make strong assumptions o...
181
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...