220 search results - page 13 / 44 » Verifying a signature architecture: a comparative case study |
WICSA
2004
15 years 1 months ago
2004
Authentic descriptions of a software architecture are required as a reliable foundation for any but trivial changes to a system. Far too often, architecture descriptions of existi...
122
click to vote
SELMAS
2005
Springer
15 years 5 months ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
115
click to vote
ECSA
2007
Springer
15 years 5 months ago
2007
Springer
Empirical software engineering focuses on the evaluation of software engineering technologies, such as processes and tools, by comparing related sets of data. It has contributed a ...
HIPC
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes the motivation, architecture and implementation of iSAN, an “intelligent” storage area network. The main contributions of this work are: (1) how to archite...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...