1987 search results - page 156 / 398 » Structural Model: Architecture for Software Designers |
125
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
126
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...
167
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
132
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
130
click to vote
ECAIW
1994
Springer
15 years 8 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...