1522 search results - page 67 / 305 » Practical Exception Specifications |
130
click to vote
ACML
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In experimental design, a standard approach for distinguishing experimentally induced effects from unwanted effects is to design control measurements that differ only ...
115
click to vote
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
111
click to vote
CRYPTO
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
128
click to vote
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
121
click to vote
MKM
2007
Springer
15 years 7 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....