Sciweavers

691 search results - page 42 / 139
» Control Choices and Network Effects in Hypertext Systems
Sort
View
CDC
2009
IEEE
167views Control Systems» more  CDC 2009»
15 years 6 months ago
Factoring Dynamic Bayesian Networks based on structural observability
— Dynamic Bayesian Networks (DBNs) provide a systematic framework for robust online monitoring of dynamic systems. This paper presents an approach for increasing the efficiency ...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
14 years 11 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
ICMCS
2008
IEEE
158views Multimedia» more  ICMCS 2008»
15 years 8 months ago
Video quality assessment and comparative evaluation of peer-to-peer video streaming systems
We design a test methodology to analyze in detail the video quality received at each peer in a peer-to-peer (P2P) video streaming system. The metrics that we employ at each peer i...
Aditya Mavlankar, Pierpaolo Baccichet, Bernd Girod...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 6 months ago
On persistence of chemical reaction networks with time-dependent kinetics and no global conservation laws
— New checkable criteria for persistence of chemical reaction networks are proposed, which extend those obtained by the authors in previous work. The new results allow the consid...
David Angeli, Patrick De Leenheer, Eduardo D. Sont...
ATAL
2008
Springer
15 years 3 months ago
Pan-supplier stock control in a virtual warehouse
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
Emad El-Deen El-Akehal, Julian A. Padget