575 search results - page 34 / 115 » Model Checking Restricted Sets of Timed Paths |
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
126
click to vote
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
105
click to vote
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
106
click to vote
DFG
2004
Springer
15 years 3 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
102
click to vote
WDAG
2007
Springer
15 years 6 months ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...