1980 search results - page 253 / 396 » Compositional Model Checking of Real Time Systems |
138
Voted
CGI
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
128
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
138
Voted
DEDS
2007
15 years 3 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
170
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 4 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
130
click to vote
SAFECOMP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...