20126 search results - page 107 / 4026 » Timed Transition Systems |
105
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
109
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
218
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
137
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
The instabilities of the medial axis of a shape under deformations have long been recognized as a major obstacle to its use in recognition and other applications. These instabilit...
112
click to vote
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...