4520 search results - page 107 / 904 » Algebraic Techniques for Timed Systems |
199
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
161
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...
162
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
163
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we study the data dissemination problem in time-constrained mobile computing systems (TCMCS) in which maximizing data currency (minimizing staleness) and meeting tr...
295
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...