Sciweavers

8492 search results - page 608 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
FMICS
2007
Springer
16 years 1 months ago
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
201
Voted
HICSS
2005
IEEE
143views Biometrics» more  HICSS 2005»
16 years 26 days ago
Evaluating PACS Success: A Multidimensional Model
A picture archiving and communications system (PACS) is an integrated workflow system for managing images and related data which is designed to streamline operations throughout th...
Guy Paré, David Aubry, Luigi Lepanto, Claud...
AGENTS
2001
Springer
15 years 11 months ago
Tears and fears: modeling emotions and emotional behaviors in synthetic agents
Emotions play a critical role in creating engaging and believable characters to populate virtual worlds. Our goal is to create general computational models to support characters t...
Jonathan Gratch, Stacy Marsella
166
Voted
ENGL
2006
80views more  ENGL 2006»
15 years 7 months ago
Modelling, simulation and proportional integral control of a pneumatic motor
Researchers have shown a considerable amount of interest in the control of pneumatic drives over the past decade, for two main reasons, firstly, the response of the system is very ...
R. Marumo, M. O. Tokhi
AICT
2006
IEEE
100views Communications» more  AICT 2006»
16 years 1 months ago
A Concept Model for Computer-based Spoken Language Tests
Spoken language education plays an important role in modern language courses. Computer-based spoken language test systems provide a convenient, efficient and reliable approach to ...
Yijian Wu, Wenyun Zhao, Xin Peng, Yunjiao Xue