351 search results - page 6 / 71 » Properties of Behavioural Model Merging |
SPIN
2005
Springer
14 years 26 days 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...
ICARCV
2008
IEEE
14 years 1 months ago
2008
IEEE
– In this paper we present a generic computational model to include emotion and personality in the behaviour of a robot. This model is based on a comparison of recent computation...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
IEAAIE
2007
Springer
14 years 1 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...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...