2540 search results - page 294 / 508 » Abstract Logics as Dialgebras |
184
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
191
click to vote
DALT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
153
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
166
click to vote
ESORICS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
158
click to vote
FASE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...