Sciweavers

JSYML
2002
66views more  JSYML 2002»
13 years 11 months ago
Open Questions in The Theory of Spaces of Orderings
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
Murray A. Marshall
ENTCS
2007
73views more  ENTCS 2007»
13 years 11 months ago
Towards Multiple Access in Generic Component Architectures
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
Markus Klein, Julia Padberg, Fernando Orejas
IJCAI
2003
14 years 25 days ago
Finite Domain Constraint Solver Learning
paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be...
Arnaud Lallouet, Thi-Bich-Hanh Dao, Andrei Legtche...
ESORICS
2000
Springer
14 years 3 months ago
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
Ian Welch, Robert J. Stroud