880 search results - page 113 / 176 » Semantics-Based Concurrency Control |
CBSE
2005
Springer
14 years 1 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
ICESS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
In a recent paper [8], it was shown how tests for database application systems can be executed efficiently. The challenge was to control the state of the database during testing ...