5639 search results - page 100 / 1128 » Timed Abstract Non-interference |
128
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
143
click to vote
ICANN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. An application of the recently proposed generalized relevance learning vector quantization (GRLVQ) to the analysis and modeling of time series data is presented. We use G...
103
click to vote
ECSQARU
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
117
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
131
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...