3045 search results - page 292 / 609 » Formal Approaches to Software Architecture |
178
click to vote
SELMAS
2004
Springer
16 years 1 days ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
175
click to vote
ACSD
2006
IEEE
16 years 23 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
187
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
199
click to vote
JSW
2007
15 years 6 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
187
click to vote
CLA
2006
15 years 8 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...