1418 search results - page 60 / 284 » The Dynamic Complexity of Formal Languages |
144
Voted
ECAI
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
128
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...
136
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
143
click to vote
IJISEC
2007
15 years 3 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
141
Voted
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...