2632 search results - page 191 / 527 » Alternating Timed Automata |
150
click to vote
MTA
2007
15 years 4 months ago
2007
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
180
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a r...
118
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. ...
125
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
129
Voted
FAC
2008
15 years 4 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...