Sciweavers

Share
DATESO
2010
150views Database» more  DATESO 2010»
8 years 10 months ago
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
Martin Kot
RTSS
1995
IEEE
9 years 3 months ago
Managing Contention and Timing Constraints in a Real-Time Database System
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son
books