2878 search results - page 370 / 576 » Model Checking FTA |
197
click to vote
IPL
2008
15 years 6 months ago
2008
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
165
click to vote
MMS
2006
15 years 6 months ago
2006
: In order to reduce transmission costs and response time, mobile clients typically cache data locally. But, avoiding the usage of outdated data and maintaining the consistency of ...
181
click to vote
JBCS
2002
15 years 6 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...
177
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
205
click to vote
FMICS
2007
Springer
16 years 22 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...