1252 search results - page 168 / 251 » Complex Systems and Agent-Oriented Software Engineering |
134
Voted
ISSE
2010
14 years 11 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
110
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
112
Voted
VLSI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...