2468 search results - page 36 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
127
click to vote
JBCS
2002
15 years 2 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
117
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
123
click to vote
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
129
click to vote
SIGGRAPH
1998
ACM
15 years 7 months ago
1998
ACM
We describe a system that automatically generates varied geometric models of human faces. A collection of random measurements of the face is generated according to anthropometric ...
WSC
2000
15 years 4 months ago
2000
This paper deals with estimating small tail probabilities of the steady-state waiting time in a GI/GI/1 queue with heavy-tailed (subexponential) service times. The problem of esti...