93 search results - page 2 / 19 » Modelling Real-time Database Systems in Duration Calculus |
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
FORMATS
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
BIRTHDAY
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
PAMI
2010
13 years 10 days ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
APSEC
1998
IEEE
13 years 9 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...