563 search results - page 2 / 113 » A Typing Scheme for Behavioural Models |
BMVC
2001
13 years 7 months ago
2001
In order to develop a high-level description of events unfolding in a typical surveillance scenario, each successfully tracked event must be classified into type and behaviour. I...
FMOODS
2006
13 years 6 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
IEAAIE
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...
IFIP
1992
Springer
13 years 9 months ago
1992
Springer
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...