2136 search results - page 399 / 428 » A Game-Theoretic Operational Semantics |
138
click to vote
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
136
click to vote
IFM
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
153
click to vote
JIDM
2010
15 years 10 days ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
108
click to vote
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
171
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...