3987 search results - page 250 / 798 » Ontology-Based Model Transformation |
158
Voted
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
126
Voted
AE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we show how an efficient ant based algorithm, called API and initially designed to perform real parameter optimization, can be adapted to the difficult problem of Hi...
119
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
153
click to vote
LANMR
2007
15 years 6 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
158
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...