563 search results - page 5 / 113 » A Typing Scheme for Behavioural Models |
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
TOOLS
1999
IEEE
14 years 25 days ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
ACL
2008
2008
Simulating the Behaviour of Older versus Younger Users when Interacting with Spoken Dialogue Systems
13 years 10 months ago
In this paper we build user simulations of older and younger adults using a corpus of interactions with a Wizard-of-Oz appointment scheduling system. We measure the quality of the...
PR
2011
12 years 11 months ago
2011
This paper aims to address the problem of anomaly detection and discrimination in complex behaviours, where anomalies are subtle and difficult to detect owing to the complex tempo...