145 search results - page 22 / 29 » Preserving Privacy Based on Semantic Policy Tools |
ISSE
2010
13 years 6 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
DATE
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
CCS
1994
ACM
13 years 12 months ago
1994
ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
SP
2003
IEEE
14 years 1 months ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...