Sciweavers

1090 search results - page 186 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
CSMR
2007
IEEE
14 years 4 months ago
A Feature-Oriented Adaptive Component Model for Dynamic Evolution
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
Xin Peng, Yijian Wu, Wenyun Zhao
SEFM
2005
IEEE
14 years 3 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
SAC
2004
ACM
14 years 3 months ago
Propositional planning in BDI agents
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
Felipe Rech Meneguzzi, Avelino F. Zorzo, Michael d...
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
14 years 3 months ago
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
Jose B. Cruz Jr., Ashkan Kian
CDC
2009
IEEE
14 years 2 months ago
Two-dimensional almost-Riemannian structures with tangency points
Two-dimensional almost-Riemannian structures are generalized Riemannian structures on surfaces for which a local orthonormal frame is given by a Lie bracket generating pair of vec...
Andrei A. Agrachev, Ugo V. Boscain, Gregoire Charl...