6355 search results - page 913 / 1271 » From Logic to Games |
161
click to vote
CASSIS
2004
Springer
16 years 7 days 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...
187
click to vote
CP
2004
Springer
16 years 7 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...
165
click to vote
DEON
2004
Springer
16 years 7 days ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
193
click to vote
DEXA
2004
Springer
16 years 7 days ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
168
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...