Sciweavers

906 search results - page 63 / 182
» Chain Dominated Orders
Sort
View
QEST
2010
IEEE
14 years 9 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
CEC
2009
IEEE
14 years 9 months ago
Optimisation of the Beer Distribution Game with complex customer demand patterns
This paper examines a simulation of the Beer Distribution Game and a number of optimisation approaches to this game. This well known game was developed at MIT in the 1960s and has ...
Hongliang Liu, Enda Howley, Jim Duggan
CIKM
2011
Springer
13 years 12 months ago
Estimating selectivity for joined RDF triple patterns
A fundamental problem related to RDF query processing is selectivity estimation, which is crucial to query optimization for determining a join order of RDF triple patterns. In thi...
Hai Huang 0003, Chengfei Liu
MSWIM
2003
ACM
15 years 5 months ago
Markov-based modeling of wireless local area networks
Errors introduced by a wireless medium are more frequent and profound than contemporary wired media. Some of these errors, which are not corrected by the physical layer, result in...
Syed A. Khayam, Hayder Radha
CHI
2007
ACM
16 years 8 days ago
Computational composites
A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the oth...
Anna Vallgårda, Johan Redström