3979 search results - page 131 / 796 » Wild control operators |
102
click to vote
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
LISP
2002
14 years 9 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
104
click to vote
SDMW
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we investigate the feasibility and efficiency of mapping XML data and access control policies onto relational and native XML databases for storage and querying. We de...