2813 search results - page 2 / 563 » Formalizing Architectural Connection |
ISIM
2007
13 years 6 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
QOSA
2010
Springer
13 years 8 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
SIGMETRICS
2006
ACM
13 years 10 months ago
2006
ACM
This work analyzes the connectivity of large diameter networks where every link has an independent probability p of failure. We give a (relatively simple) topological condition th...
ISPW
1994
IEEE
13 years 9 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...