855 search results - page 116 / 171 » Using First-Order Logic to Reason about Policies |
199
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
103
click to vote
FLAIRS
2007
15 years 2 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...
116
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
111
click to vote
IPAW
2010
14 years 9 months ago
2010
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...