2678 search results - page 508 / 536 » Operational Semantics of Transactions |
136
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...
133
click to vote
IFM
2010
Springer
15 years 4 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 ...
149
click to vote
JIDM
2010
15 years 2 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....
102
click to vote
OOPSLA
2010
Springer
15 years 1 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 ...
168
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...