827 search results - page 10 / 166 » Patterns for Timed Property Specifications |
111
click to vote
APSEC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
101
click to vote
TSE
2008
14 years 11 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
101
click to vote
AIME
1997
Springer
15 years 3 months ago
1997
Springer
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
108
click to vote
CONIELECOMP
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we present a set of formulations that describe some properties of the configurations that can represent the n-Dimensional Orthogonal PseudoPolytopes. Moreover, we de...
MM
2000
ACM
15 years 4 months ago
2000
ACM
Zyklodeon is a highly visual, highly interactive software construction kit. Players create cartoon-like dancers and endow them with properties that influence emergence of cyclic t...