8083 search results - page 183 / 1617 » A Formalization of Software Architecture |
185
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
137
click to vote
WICSA
2008
15 years 7 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
149
click to vote
HPCS
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents the initial design of the Cyclops-64 (C64) system software infrastructure and tools under development as a joint effort between IBM T.J. Watson Research Center...
148
click to vote
SIGECOM
2000
ACM
15 years 10 months ago
2000
ACM
Software agent marketplaces require the development of new architectures, which are capable of coping with unreliable computational and network infrastructures, limited trust amon...
182
click to vote
WICSA
2008
15 years 7 months ago
2008
Release planning is the process of deciding what to include in future release(s) of a product. In this paper we look at how software architects are involved during release plannin...