3005 search results - page 11 / 601 » Logical Information Systems: from Taxonomies to Logics |
EOR
2006
15 years 1 months ago
2006
The consideration of costs, benefits and risks underpin many Information System (IS) evaluation decisions. Yet, vendors and project-champions alike tend to identify and focus much...
107
click to vote
AVI
2006
15 years 3 months ago
2006
Researchers have explored the design of ambient information systems across a wide range of physical and screen-based media. This work has yielded rich examples of design approache...
128
click to vote
CCS
2010
ACM
15 years 8 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
108
click to vote
LANMR
2004
15 years 3 months ago
2004
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
142
click to vote
MSCS
2006
15 years 1 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...