1932 search results - page 254 / 387 » Molecule-oriented programming in Java |
124
click to vote
PET
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
139
click to vote
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
CC
2003
Springer
15 years 7 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...
108
click to vote
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, author proposes a solution to make URI Resolver class available in different programming languages. The Semantic Resolver derived from a corresponding .NET or Java ...
101
click to vote
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...