8232 search results - page 1412 / 1647 » Dynamic Logic Programming |
173
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
186
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
207
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
249
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
190
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...