10159 search results - page 1845 / 2032 » System Design Validation Using Formal Models |
123
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
129
click to vote
CRITICAL
2005
15 years 4 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...
117
click to vote
AVI
2004
15 years 3 months ago
2004
In this paper, we present our open source, platform independent toolkit for developing 3D talking agents, namely Xface. It relies on MPEG-4 Face Animation (FA) standard. The toolk...
WCE
2007
15 years 3 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
125
click to vote
JMLR
2008
15 years 2 months ago
2008
Many complex control problems require sophisticated solutions that are not amenable to traditional controller design. Not only is it difficult to model real world systems, but oft...