Sciweavers

473 search results - page 61 / 95
» Behavioural Models for Hierarchical Components
Sort
View
ECOWS
2006
Springer
15 years 3 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
JETAI
2006
66views more  JETAI 2006»
14 years 11 months ago
A self-watching model of analogy-making and perception
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...
James B. Marshall
AIED
2007
Springer
15 years 3 months ago
Towards promoting meta-cognition using emotive interface personas within Open-Learner Modelling Environments
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
Sylvie Girard
BICA
2010
14 years 6 months ago
Modelling Human Memory in Robotic Companions for Personalisation and Long-term Adaptation in HRI
This paper investigates issues of robot's personalization and long-term adaptation in human-robot interaction (HRI). It demonstrates the design and first technical implementat...
Wan Ching Ho, Kerstin Dautenhahn, Mei Yii Lim, Kyr...
SPIN
2007
Springer
15 years 6 months ago
Towards Model Checking Spatial Properties with SPIN
Abstract. We present an approach for the verication of spatial properties with Spin. We rst extend one of Spin's main property specication mechanisms, i.e., the linear-time...
Alberto Lluch-Lafuente