5446 search results - page 69 / 1090 » Software Architecture - Introduction |
127
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
157
click to vote
ISICT
2004
15 years 3 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...
125
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
126
click to vote
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...
130
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Software configuration management (SCM) products have evolved over the years and have become large and powerful, but they are not flexible enough to allow the user to pick the kind...