Sciweavers

304 search results - page 30 / 61
» Privacy-Enhanced Event Scheduling
Sort
View
INFOCOM
1996
IEEE
14 years 19 days ago
Network Algorithms and Protocol for Multimedia Servers
In this paper, we present a network service specifically designed for multimedia servers. It uses a histogram based traffic characterization and an overload control protocol to el...
Pawan Goyal, Harrick M. Vin
WSC
2007
13 years 10 months ago
Bi-criteria evaluation of an outpatient procedure center via simulation
Surgical services require the coordination of many activities, including patient check-in and surgical preparation, surgery, and recovery after surgery. Each of these activities r...
Todd R. Huschka, Brian T. Denton, Serhat Gul, John...
ADHOC
2007
159views more  ADHOC 2007»
13 years 8 months ago
Cross-layer adaptive control for wireless mesh networks
Abstract— This paper investigates optimal routing and adaptive scheduling in a wireless mesh network composed of mesh clients and mesh routers. The mesh clients are power constra...
Michael J. Neely, Rahul Urgaonkar
COR
2010
101views more  COR 2010»
13 years 8 months ago
Constraint-specific recovery network for solving airline recovery problems
In this paper, we consider the recovery of an airline schedule after an unforeseen event called disruption, making the planned schedule infeasible. We present a modeling framework...
Niklaus Eggenberg, Matteo Salani, Michel Bierlaire
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 7 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier