1522 search results - page 155 / 305 » Practical Exception Specifications |
116
click to vote
ECP
1997
Springer
15 years 6 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
104
click to vote
SIGIR
1992
ACM
15 years 6 months ago
1992
ACM
Our previous research on one-probe access to large collections of data indexed by alphanumeric keys has produced the first practical minimal perfect hash functions for this proble...
106
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
103
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we question the common practice of assigning security impact ratings to OS updates. Specifically, we present evidence that ranking updates by their perceived securi...
117
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...