119 search results - page 16 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
137
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
128
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
129
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
136
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...
131
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...