2004 search results - page 62 / 401 » Comparison of Model Checking Tools for Information Systems |
112
click to vote
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
115
click to vote
WSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
111
click to vote
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...