Sciweavers

2521 search results - page 422 / 505
» Semantic Component Composition
Sort
View
SAFECOMP
2007
Springer
14 years 4 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
CIMCA
2006
IEEE
14 years 4 months ago
A Knowledge-based Security Policy Framework for Business Process Management
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
Dong Huang, Yi Yang, Jacques Calmet
ICALT
2005
IEEE
14 years 3 months ago
Ontologies for Reusing Learning Object Content
The paper proposes a framework for building learning object (LO) content using ontologies. In the previous work on using ontologies to describe LOs, researchers employed ontologies...
Dragan Gasevic, Jelena Jovanovic, Vladan Devedzic,...
SAC
2005
ACM
14 years 3 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
GECCO
2005
Springer
162views Optimization» more  GECCO 2005»
14 years 3 months ago
A framework for learning coordinated behavior
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
Albert C. Esterline, Chafic BouSaba, Abdollah Homa...