Sciweavers

524 search results - page 47 / 105
» Modeling of Self-Organizing Systems: An Overview
Sort
View
IJMSO
2010
119views more  IJMSO 2010»
14 years 8 months ago
Ontological technologies for user modelling
: This paper brings together research from two different fields – user modelling and web ontologies – in attempt to demonstrate how recent semantic trends in web development ca...
Sergey A. Sosnovsky, Darina Dicheva
PERCOM
2007
ACM
15 years 9 months ago
A User Interaction Model for NFC Enabled Applications
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
Yaw Anokwa, Gaetano Borriello, Trevor Pering, Roy ...
AC
2005
Springer
14 years 9 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ACII
2011
Springer
13 years 9 months ago
Expressive Gesture Model for Humanoid Robot
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
Le Quoc Anh, Catherine Pelachaud
ECOOPW
2007
Springer
15 years 3 months ago
Model-Driven Software Adaptation
This first edition of the workshop Model-driven Software Adaptation (M-ADAPT’07) took place in the Technische Universit¨at Berlin with the International Conference ECOOP’07 i...
Nelly Bencomo, Gordon S. Blair, Robert B. France