660 search results - page 52 / 132 » Reasoning about Dynamic Policies |
AVI
2010
15 years 1 months ago
2010
Information visualization is a powerful method for understanding and working with data. However, we still have an incomplete understanding of how people use visualization to think...
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
LISA
2008
15 years 2 months ago
2008
The art of performance tuning is, alas, still an art; there are few tools to help predict the effects of changes that are motivated by performance needs. In this work, we present ...
EUSFLAT
2007
15 years 1 months ago
2007
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...
122
click to vote
MSCS
2006
14 years 11 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...