1719 search results - page 259 / 344 » A Software Architecture for Structuring Complex Web Applicat... |
RV
2010
Springer
14 years 9 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
SBACPAD
2008
IEEE
15 years 5 months ago
2008
IEEE
Numerous studies have shown that Operating System (OS) noise is one of the reasons for significant performance degradation in clustered architectures. Although many studies exami...
111
click to vote
DEXAW
2005
IEEE
15 years 4 months ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
115
click to vote
UML
2005
Springer
15 years 4 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ESAW
2000
Springer
15 years 2 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...