Search Sciweavers | Sciweavers

3573 search results - page 53 / 715

» Reasoning about Codata

click to vote

FSTTCS
2005
Springer

113views Software Engineering» more FSTTCS 2005»

Reasoning About Quantum Knowledge

15 years 4 months ago

Download www.vub.ac.be

We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...

Ellie D'Hondt, Prakash Panangaden

claim paper

Read More »

click to vote

VSTTE
2005
Springer

123views Software Engineering» more VSTTE 2005»

Reasoning about Object Structures Using Ownership

15 years 4 months ago

Download vstte.ethz.ch

Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...

Peter Müller

claim paper

Read More »

click to vote

ECAI
2004
Springer

113views Artificial Intelligence» more ECAI 2004»

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty

15 years 4 months ago