3228 search results - page 296 / 646 » Computationally Sound Proofs |
132
click to vote
IJFCS
2011
14 years 11 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
112
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
118
click to vote
COMPUTING
2007
15 years 4 months ago
2007
We present a general method for computing lower bounds for various caching problems. We apply the method to two well known problems, companion caching and weighted caching. For we...
122
click to vote
MSCS
2006
15 years 4 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
125
click to vote
ADHOCNOW
2009
Springer
15 years 11 months ago
2009
Springer
We deal with the rate allocation problem for downlink in a Multi-hop Cellular Network. A mathematical model is provided to assign transmission rates in order to reach an optimal an...