374 search results - page 47 / 75 » Applying Static Analysis to Software Architectures |
RE
2004
Springer
14 years 1 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
RTSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Data caches are essential in modern processors, bridging the widening gap between main memory and processor speeds. However, they yield very complex performance models, which make...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...
CORR
1998
Springer
13 years 8 months ago
1998
Springer
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...