509 search results - page 5 / 102 » Preserving Properties Under Change |
SACMAT
2003
ACM
13 years 11 months ago
2003
ACM
We investigate the cost of changing access control policies dynamically as a response action in computer network defense. We compare and contrast the use of access lists and capab...
FM
2006
Springer
13 years 9 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
ESORICS
2002
Springer
14 years 5 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
SIGGRAPH
2010
ACM
13 years 10 months ago
2010
ACM
We propose a mesh-based surface tracking method for fluid animation that both preserves fine surface details and robustly adjusts the topology of the surface in the presence of ...
VISUALIZATION
2000
IEEE
13 years 10 months ago
2000
IEEE
Multiresolution methods are becoming increasingly important tools for the interactive visualization of very large data sets. Multiresolution isosurface visualization allows the us...