1818 search results - page 203 / 364 » Granularity-Adaptive Proof Presentation |
117
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
157
Voted
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
138
Voted
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
135
Voted
FOCS
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
110
Voted
ICMCS
1998
IEEE
15 years 8 months ago
1998
IEEE
Various digital watermarking techniques have been proposed in recent years as the methods to protect the copyright of multimedia data. However, as pointed out by the IBM research ...