6808 search results - page 256 / 1362 » Distributed Concurrency Control |
171
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
154
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
176
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization ...
155
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
184
click to vote
COORDINATION
2007
Springer
16 years 24 days ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...