Sciweavers

316 search results - page 21 / 64
» Resource Combinatory Algebras
Sort
View
GLOBECOM
2009
IEEE
15 years 6 months ago
A Participation Incentive Market Mechanism for Allocating Heterogeneous Network Services
— This paper studies an auction based allocation of network resources for short-term contracts for heterogeneous network services. The combinatorial winner selection yields the o...
Juong-Sik Lee, Boleslaw K. Szymanski
RTAS
2006
IEEE
15 years 5 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
AMAST
1998
Springer
15 years 4 months ago
Scheduling Algebra
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
Rob J. van Glabbeek, Peter Rittgen
ESA
2000
Springer
112views Algorithms» more  ESA 2000»
15 years 3 months ago
Resource Constrained Shortest Paths
The resource constrained shortest path problem (CSP) asks for the computation of a least cost path obeying a set of resource constraints. The problem is NP-complete. We give theore...
Kurt Mehlhorn, Mark Ziegelmann
ICC
2008
IEEE
139views Communications» more  ICC 2008»
15 years 6 months ago
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
Hao Wang, David I. Laurenson, Jane Hillston