1054 search results - page 122 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
170
click to vote
ADBIS
1995
Springer
15 years 8 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
151
click to vote
NIME
2005
Springer
15 years 10 months ago
2005
Springer
The iltur system features a novel method of interaction between expert and novice musicians through a set of musical controllers called Beatbugs. Beatbug players can record live m...
158
click to vote
COORDINATION
2000
Springer
15 years 8 months ago
2000
Springer
Coordination and access control are related issues in open distributed agent systems, being both concerned with governing interaction between agents and resources. In particular, w...
137
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
157
click to vote
FLAIRS
2003
15 years 5 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...