2036 search results - page 107 / 408 » A generic type-and-effect system |
179
click to vote
IADIS
2004
15 years 7 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
166
click to vote
DSL
2009
15 years 4 months ago
2009
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
251
click to vote
MOBILWARE
2009
ACM
16 years 27 days ago
2009
ACM
We discuss a generic architecture for building user-centric systems. The characteristic feature of such systems is a control loop that monitors the user’s state, and produces a h...
243
click to vote
Publication
This paper describes the design and implementation of a paravirtualized file system interface for Linux in the KVM environment. Today’s solution of sharing host files on the gues...
151
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently under standardization by the IETF RSerPool WG. While the basic ide...