265 search results - page 12 / 53 » entcs 2007 |
ENTCS
2007
14 years 10 months ago
2007
This paper describes a prototypical system that combines several aspects of engagement as defined in (Naps et al. 2003) for the topic of tree and tree algorithm animations.
ENTCS
2007
14 years 10 months ago
2007
Following a suggestion of Briegel, we show that a variant of the oneway model where one only allows X and Y one qubit measurements is approximately universal with respect to unita...
ENTCS
2007
14 years 10 months ago
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
ENTCS
2007
14 years 10 months ago
2007
ENTCS
2007
14 years 10 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...