141 search results - page 28 / 29 » Type Based Discretionary Access Control |
WSCG
2004
13 years 6 months ago
2004
Free form shapes are often used to fulfil both aesthetic and design constraints applied to parametric models currently adopted in CAD environments. Up to now, designers and engine...
ENTCS
2007
13 years 5 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
IMCS
2007
13 years 5 months ago
2007
Purpose – Security information management systems (SIMs) have been providing a unified distributed platform for the efficient management of security information produced by co...
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
ELPUB
2000
ACM
13 years 9 months ago
2000
ACM
The paper discusses the use of electronic publishing for the preservation and dissemination of rare manuscript material. It is based both upon the authors’ earlier work on multi...