5639 search results - page 47 / 1128 » Timed Abstract Non-interference |
INFORMATICALT
2006
15 years 1 months ago
2006
Abstract. This paper presents an application of the Hilbert
100
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
132
click to vote
RTSS
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
146
click to vote
APN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
131
click to vote
TKDE
2008
15 years 1 months ago
2008
Abstract--This paper presents an investigation into the use of the delay coordinate embedding technique in the multi-inputmultioutput-adaptive-network-based fuzzy inference system ...