1613 search results - page 167 / 323 » Model-Driven Constraint Engineering |
163
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
188
click to vote
E4MAS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
159
click to vote
WOSS
2004
ACM
16 years 9 days ago
2004
ACM
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
177
click to vote
WADT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
160
click to vote
COMPSAC
2003
IEEE
16 years 5 days ago
2003
IEEE
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...