20441 search results - page 3775 / 4089 » Locally Computable Structures |
135
click to vote
SIAMCOMP
2002
15 years 3 months ago
2002
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
119
click to vote
TODAES
1998
15 years 3 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
152
click to vote
TPDS
1998
15 years 3 months ago
1998
—We suggest a method of controlling the access to a secure database via quorum systems. A quorum system is a collection of sets (quorums) every two of which have a nonempty inter...
135
click to vote
TASLP
2002
15 years 3 months ago
2002
Perceptual audio coders use an estimated masked threshold for the determination of the maximum permissible just-inaudible noise level introduced by quantization. This estimate is d...
119
click to vote
TCS
2002
15 years 3 months ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...