880 search results - page 80 / 176 » Semantics-Based Concurrency Control |
112
click to vote
ECBS
2009
IEEE
15 years 10 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...
116
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
110
click to vote
FSTTCS
2005
Springer
15 years 8 months 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...
103
click to vote
ICDCS
2009
IEEE
16 years 7 days ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
111
click to vote
DEXAW
2008
IEEE
15 years 9 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...