8768 search results - page 124 / 1754 » Generalizing the notion of support |
228
Voted
PODC
2000
ACM
15 years 11 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
183
Voted
FM
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
153
click to vote
COCO
1998
Springer
15 years 11 months ago
1998
Springer
We present a notion of resource-bounded measure for P and other subexponential-time classes. This generalization is based on Lutz's notion of measure, but overcomes the limit...
194
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
171
Voted
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...