3573 search results - page 389 / 715 » Reasoning about Codata |
138
click to vote
ENTCS
2007
15 years 6 months ago
2007
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...
136
click to vote
LOGCOM
2006
15 years 6 months ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
171
click to vote
EXPERT
2007
15 years 6 months ago
2007
Prediction is an important component in a variety of domains. Intelligent systems that can predict future events are better enabled to make more informed, and therefore more relia...
206
click to vote
MSCS
2006
15 years 6 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...
148
Voted
SCP
2008
15 years 6 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...