12 search results - page 1 / 3 » A Comparison of Three Model Checkers Applied to a Distribute... |
IWFM
2000
13 years 6 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
WWW
2011
ACM
12 years 11 months ago
2011
ACM
This paper studies the problem of discovering and comparing geographical topics from GPS-associated documents. GPSassociated documents become popular with the pervasiveness of loc...
EDOC
2004
IEEE
13 years 8 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
CVPR
2008
IEEE
14 years 6 months ago
2008
IEEE
It has been demonstrated by Serre et al. that the biologically inspired model (BIM) is effective for object recognition. It outperforms many state-of-the-art methods in challengin...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...