9370 search results - page 205 / 1874 » An Abstract Notion of Application |
163
click to vote
SIS
2004
15 years 8 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
180
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce the notion of Lombardi graph drawings, named after the abstract artist Mark Lombardi. In these drawings, edges are represented as circular arcs rather than as line seg...
133
click to vote
IANDC
2008
15 years 6 months ago
2008
Abstract. Boolean grammars are an extension of context-free grammars, in which all propositional connectives are allowed. In this paper, the notion of ambiguity in Boolean grammars...
139
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...