1392 search results - page 58 / 279 » A Calculus for Dynamic Linking |
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...
MOBIHOC
2005
ACM
14 years 8 months ago
2005
ACM
Abstract-We present a novel framework for the provision of deterministic end-to-end bandwidth guarantees in wireless ad hoc networks. Guided by a set of local feasibility condition...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
In an integrated services network, resources are shared by multiple traffic classes. Service classes that deliver guaranteed Quality-ofService (QoS) to applications have priority ...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
CSL
2005
Springer
14 years 2 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...