1724 search results - page 258 / 345 » Models for Concurrency |
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
MIDDLEWARE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
RULES
1993
Springer
14 years 26 days ago
1993
Springer
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
PODC
2010
ACM
14 years 20 days ago
2010
ACM
We present an algorithm to solve the GROUP MUTUAL EXCLUSION problem in the cache-coherent (CC) model. For the same problem in the distributed shared memory (DSM) model, Danek and ...
ICSM
1995
IEEE
14 years 10 days ago
1995
IEEE
A typical approach to software maintenance is analyzing just the source code, applying some patches, releasing the new version, and then updating the documentation. This quick-fix...