3828 search results - page 695 / 766 » Proof-Based System Engineering Using a Virtual System Model |
103
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
132
Voted
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents a forgetting factor scheme for variable step-size affine projection algorithms (APA). The proposed scheme uses a forgetting processed input matrix as the projec...
133
Voted
AUTONOMICS
2008
ACM
15 years 4 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
110
click to vote
ECSA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
125
Voted
AVI
1996
15 years 3 months ago
1996
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...