279 search results - page 29 / 56 » Timed Concurrent Game Structures |
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
Immortal DB builds transaction time database support into the SQL Server engine, not in middleware. Transaction time databases retain and provide access to prior states of a datab...
ICDE
2006
IEEE
14 years 2 months ago
2006
IEEE
Transaction time databases retain and provide access to prior states of a database. An update “inserts” a new record while preserving the old version. Immortal DB builds trans...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
RTCSA
2000
IEEE
14 years 7 days ago
2000
IEEE
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...