672 search results - page 57 / 135 » On the Expressive Power of the Loop Language |
274
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
181
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
284
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Complex event patterns involving Kleene closure are finding application in a variety of stream environments for tracking and monitoring purposes. In this paper, we propose a compac...
170
click to vote
CSLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the basis of Property Grammars, a fully constraintbased theory. In this approach, all kinds of linguistic information is represented by means of const...
192
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...