1054 search results - page 34 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
DBSEC
2006
13 years 8 months ago
2006
Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
WEBDB
1998
Springer
13 years 11 months ago
1998
Springer
Semistructured graph-based databases have been proposed as well-suited stores for World-Wide Web data. Yet so far, languages for querying such data are too complex for casual Web ...
IICS
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
FCCM
1999
IEEE
13 years 11 months ago
1999
IEEE
We have implemented an image combining architecture that allows distributed rendering of a partitioned data set at interactive rates. The architecture achieves real-time frame rat...
JLP
2008
13 years 7 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...