Sciweavers

1022 search results - page 143 / 205
» Specification of Dynamics for Knowledge-Based Systems
Sort
View
ASE
2006
114views more  ASE 2006»
13 years 9 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
DSOM
2007
Springer
14 years 3 months ago
Efficient Web Services Event Reporting and Notifications by Task Delegation
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
Aimilios Chourmouziadis, George Pavlou
ICSE
2009
IEEE-ACM
13 years 7 months ago
A non-intrusive component-based approach for deploying unanticipated self-management behaviour
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
Sandro Santos Andrade, Raimundo José de Ara...
CVPR
2006
IEEE
14 years 11 months ago
Inferring Facial Action Units with Causal Relations
A system that could automatically analyze the facial actions in real time have applications in a number of different fields. However, developing such a system is always a challeng...
Yan Tong, Wenhui Liao, Qiang Ji
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...