150 search results - page 11 / 30 » Checking Correctness of Transactional Behaviors |
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
EEE
2004
IEEE
14 years 9 days ago
2004
IEEE
Web usage mining is the process of extracting interesting patterns from web logs. This paper proposes an IPA (Integrating Path traversal patterns and Association rules) model for ...
ASPLOS
2011
ACM
13 years 5 days ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
TACAS
2001
Springer
14 years 1 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...