253 search results - page 3 / 51 » Behavioural Types and Component Adaptation |
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In this paper we provide a possible characterisation of user behaviour based on an analysis of a corpus of human-robot communication, collected by using the Wizard-of-O...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
Reuse of software entities such as components or web services raise composition issues since, most of the time, they present mismatching behavioural interfaces. Here, we particula...
PDP
2008
IEEE
14 years 1 months ago
2008
IEEE
Autonomic management can be used to improve the QoS provided by parallel/distributed applications. We discuss behavioural skeletons introduced in earlier work: rather than relying...
SPIN
2005
Springer
14 years 24 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...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...