2373 search results - page 168 / 475 » A Model of Facial Behaviour |
140
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
144
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
123
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
164
click to vote
DELOS
2001
15 years 6 months ago
2001
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...
119
click to vote
FIW
2003
15 years 6 months ago
2003
We demonstrate that many undesired telephony feature interactions are also shared-control mode confusions. A mode confusion occurs when the observed behaviour of a technical syste...