Sciweavers

4751 search results - page 844 / 951
» Affect: from information to interaction
Sort
View
COCO
2004
Springer
104views Algorithms» more  COCO 2004»
15 years 11 months ago
Quantum Arthur-Merlin Games
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
Chris Marriott, John Watrous
COORDINATION
2004
Springer
15 years 11 months ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
Lorenzo Bettini, Viviana Bono, Betti Venneri
EMSOFT
2004
Springer
15 years 11 months ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
EUROCRYPT
2004
Springer
15 years 11 months ago
Concurrent Signatures
We introduce the concept of concurrent signatures. These allow two entities to produce two signatures in such a way that, from the point of view of any third party, both signatures...
Liqun Chen, Caroline Kudla, Kenneth G. Paterson
HUC
2004
Springer
15 years 11 months ago
Designing Capture Applications to Support the Education of Children with Autism
We explore the social and technical design issues involved in tracking the effectiveness of educational and therapeutic interventions for children with autism (CWA). Automated capt...
Gillian R. Hayes, Julie A. Kientz, Khai N. Truong,...