3028 search results - page 473 / 606 » Integrating Temporal Logics |
149
click to vote
CASSIS
2004
Springer
15 years 12 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
183
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with gametheoretic multi-agent planning in Markov games. It is a generalizat...
143
click to vote
ECAI
2004
Springer
15 years 12 months 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...
159
click to vote
ESORICS
2004
Springer
15 years 12 months 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 ï¬...
150
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...