Sciweavers

1226 search results - page 140 / 246
» A Model of Dynamic Resource Allocation in Workflow Systems
Sort
View
CAV
2001
Springer
107views Hardware» more  CAV 2001»
15 years 9 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
ICC
2007
IEEE
15 years 11 months ago
Queueing Performance of IEEE 802.16 Random Access Protocol with Bulk Transmissions
— In this paper, we consider the queueing performance of a subscriber station for IEEE802.16e random access protocol with bulk transmissions which is allowed with an ARQ protocol...
Hyong-Woo Lee, Jun-Bae Seo
IPPS
1999
IEEE
15 years 9 months ago
Building an Adaptive Multimedia System using the Utility Model
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
Lei Chen, Shahadat Khan, Kin F. Li, Eric G. Mannin...
127
Voted
CONCUR
2008
Springer
15 years 6 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
129
Voted
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 9 months ago
Congestion control algorithms from optimal control perspective
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
Javad Lavaei, John C. Doyle, Steven H. Low