4962 search results - page 47 / 993 » Stochastic Model Checking |
NN
2006
Springer
13 years 7 months ago
2006
Springer
The way of propagating and control of stochastic signals through Universal Learning Networks (ULNs) and its applications are proposed. ULNs have been already developed to form a s...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
POPL
2002
ACM
14 years 8 months ago
2002
ACM
AB
2008
Springer
14 years 2 months ago
2008
Springer