2468 search results - page 89 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
140
Voted
UIST
2010
ACM
15 years 1 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...
143
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
147
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
Many optimization techniques have been adopted for efficient job scheduling in grid computing, such as: genetic algorithms, simulated annealing and stochastic methods. Such techni...
128
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
110
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...