620 search results - page 104 / 124 » About the logical relations between cases and rules |
MANSCI
2010
14 years 8 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
146
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
114
click to vote
TIT
2008
15 years 1 months ago
2008
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...
107
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
220
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...