1390 search results - page 155 / 278 » Software Systems Integration and Architectural Analysis - A ... |
137
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
156
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
129
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
132
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we described the findings based on a research study on current Enterprise Information Architecture (EIA) practices in Malaysian organizations. Ten organizations from...
132
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
1 This paper reports results from a study on the adoption of an information visualization system by administrative data analysts. Despite the fact that the system was neither fully...