Sciweavers

16822 search results - page 554 / 3365
» Designing Simulation Experiments
Sort
View
RTAS
2006
IEEE
16 years 1 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
ECRTS
2005
IEEE
16 years 23 days ago
Scheduling Tasks with Markov-Chain Based Constraints
Markov-Chain (MC) based constraints have been shown to be an effective QoS measure for a class of real-time systems, particularly those arising from control applications. Scheduli...
Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, ...
ICNP
2005
IEEE
16 years 22 days ago
Can coexisting overlays inadvertently step on each other?
By allowing end hosts to make routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes how multip...
Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluc...
MM
2005
ACM
129views Multimedia» more  MM 2005»
16 years 21 days ago
The "control of fear": an interactive art experiencing and presenting system with multimodal sensors and media
The “Control of Fear” project is an interactive art exhibition project to provide the general public an opportunity to experience what might occur to them if their lives were ...
Chin Chih Yang, Lipin Liu, Jacy Chen
AMEC
2003
Springer
16 years 11 days ago
Choosing Samples to Compute Heuristic-Strategy Nash Equilibrium
Auctions define games of incomplete information for which it is often too hard to compute the exact Bayesian-Nash equilibrium. Instead, the infinite strategy space is often popu...
William E. Walsh, David C. Parkes, Rajarshi Das