592 search results - page 30 / 119 » CTL Model Update: Semantics, Computations and Implementation |
GW
2005
Springer
14 years 2 months ago
2005
Springer
We aim at creating an expressive Embodied Conversational Agent (ECA) and address the problem of synthesizing expressive agent gestures. In our previous work, we have described the ...
CLUSTER
2009
IEEE
13 years 6 months ago
2009
IEEE
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...
CONCUR
2009
Springer
13 years 6 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we propose an efficient mechanism dealing with trust assessment for agent societies, aiming to accurately assess the trustworthiness of the collaborating agents. I...
IFIP
2007
Springer
14 years 3 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...