Sciweavers

838 search results - page 77 / 168
» A stochastic model for BitTorrent-like systems
Sort
View
WSC
1998
14 years 11 months ago
Comparison of Bayesian and Frequentist Assessments of Uncertainty for Selecting the Best System
An important problem in discrete-event stochastic simulation is the selection of the best system from a finite set of alternatives. There are many techniques for ranking and selec...
Koichiro Inoue, Stephen E. Chick
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 3 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
CIC
2006
198views Communications» more  CIC 2006»
14 years 11 months ago
Communication Model to Support Rapid Application Development
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...
Yingbo Wang, Peter J. Clarke, Yi Deng
ICNSC
2008
IEEE
15 years 4 months ago
Cscan: A Correlation-based Scheduling Algorithm for Wireless Sensor Networks
— Dynamic scheduling management in wireless sensor networks is one of the most challenging problems in long lifetime monitoring applications. In this paper, we propose and evalua...
Qingquan Zhang, Yu Gu, Tian He, Gerald E. Sobelman
WSC
2008
15 years 6 days ago
A simulation based approach for supporting Automated Guided Vehicles (AGVs) systems design
Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach...
Elisa Gebennini, Sara Dallari, Andrea Grassi, Gius...