321 search results - page 23 / 65 » concurrency 2004 |
ADBIS
2004
Springer
14 years 11 days ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
FDL
2004
IEEE
14 years 10 days ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
BC
2004
13 years 8 months ago
2004
As humans increase walking speed, there are concurrent transitions in the frequency ratio between arm and leg movements from 2:1 to 1:1 and in the phase relationship between the mo...
ASE
2004
13 years 8 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...