1179 search results - page 36 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
CADE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
110
click to vote
JUCS
2010
14 years 6 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
107
click to vote
CAISE
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
113
Voted
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...