2137 search results - page 226 / 428 » Proving Abstract Non-interference |
180
click to vote
ESEC
1997
Springer
15 years 10 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...
151
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 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...
184
click to vote
STACS
2000
Springer
15 years 10 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...
171
click to vote
DOOD
1995
Springer
15 years 10 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...
185
click to vote
HYBRID
1995
Springer
15 years 10 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...