252 search results - page 9 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
TKDE
1998
13 years 7 months ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
ECOOPWEXCEPTION
2006
Springer
13 years 11 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...
COORDINATION
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
SAC
2000
ACM
13 years 12 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...