5639 search results - page 70 / 1128 » Timed Abstract Non-interference |
114
Voted
WIA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
103
Voted
BC
2004
15 years 2 months ago
2004
Abstract. Perceptual multistability, alternative perceptions of an unchanging stimulus, gives important clues to neural dynamics. The present study examined 56 perceptual dominance...
123
Voted
INFORMATICALT
2000
15 years 2 months ago
2000
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
94
Voted
FORMATS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
110
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...