5639 search results - page 146 / 1128 » Timed Abstract Non-interference |
113
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
106
click to vote
IDEAL
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Change detection in satellite image time series is an important domain with various applications in land study. Most previous works proposed to perform this detection by ...
104
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
114
Voted
GLOBECOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Time synchronization is a critical service for distributed network systems. In this work, we investigate this problem in the context of underwater sensor networks (UWSNs)...