1481 search results - page 117 / 297 » Operating Systems for Component Software Environments |
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
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...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
ECBS
1999
IEEE
14 years 15 days ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...