5639 search results - page 57 / 1128 » Timed Abstract Non-interference |
109
click to vote
ICALP
1998
Springer
15 years 4 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...
FMSB
2008
15 years 1 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
104
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...