5639 search results - page 47 / 1128 » Timed Abstract Non-interference |
INFORMATICALT
2006
14 years 11 months ago
2006
Abstract. This paper presents an application of the Hilbert
TACAS
2007
Springer
15 years 6 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...
113
click to vote
RTSS
2003
IEEE
15 years 5 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...
132
click to vote
APN
2005
Springer
15 years 1 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 ...
119
click to vote
TKDE
2008
14 years 11 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 ...