4385 search results - page 156 / 877 » Abstraction for Concurrent Objects |
ER
1998
Springer
15 years 3 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
COORDINATION
2009
Springer
15 years 6 months ago
2009
Springer
Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair t...
100
click to vote
ASM
2000
ASM
15 years 3 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
OOPSLA
1999
Springer
15 years 3 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...
VCHCI
1993
15 years 3 months ago
1993
The interaction history of a document can be modelled as a tree of command objects. This model does not only support recovery (undo/redo), but is also suitable for cooperation betw...