466 search results - page 30 / 94 » An Approach to Self-adaptive Software Based on Supervisory C... |
86
Voted
ECRA
2002
14 years 9 months ago
2002
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
STTT
2008
14 years 9 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
71
Voted
WCRE
2006
IEEE
15 years 3 months ago
2006
IEEE
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
WCRE
2006
IEEE
15 years 3 months ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...