2137 search results - page 226 / 428 » Proving Abstract Non-interference |
140
Voted
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
123
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
147
Voted
STACS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We compare classical and quantum query complexities of total Boolean functions. It is known that for worst-case complexity, the gap between quantum and classical can be a...
127
Voted
DOOD
1995
Springer
15 years 7 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
133
Voted
HYBRID
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...