2468 search results - page 108 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
130
Voted
SAS
2009
Springer
16 years 4 months ago
2009
Springer
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
145
Voted
MIDDLEWARE
2009
Springer
15 years 8 months ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
146
Voted
JCB
2008
15 years 3 months ago
2008
Quantification of statistical significance is essential for the interpretation of protein structural similarity. To address this, a random model for protein structure comparison w...
174
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
125
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
High performance computing is critical for financial markets where analysts seek to accelerate complex optimizations such as pricing engines to maintain a competitive edge. In th...