Sciweavers

4276 search results - page 73 / 856
» Techniques for Empirical Validation
Sort
View
SIGSOFT
2003
ACM
15 years 11 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 6 months ago
AS Relationships: Inference and Validation
Research on performance, robustness, and evolution of the global Internet is fundamentally handicapped without accurate and thorough knowledge of the nature and structure of the c...
Xenofontas A. Dimitropoulos, Dmitri V. Krioukov, M...
JSW
2007
102views more  JSW 2007»
15 years 6 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
ISSTA
2006
ACM
16 years 9 days ago
An empirical study of the robustness of MacOS applications using random testing
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
Barton P. Miller, Gregory Cooksey, Fredrick Moore
INFSOF
2006
109views more  INFSOF 2006»
15 years 6 months ago
A systematic review of statistical power in software engineering experiments
Statistical power is an inherent part of empirical studies that employ significance testing and is essential for the planning of studies, for the interpretation of study results, ...
Tore Dybå, Vigdis By Kampenes, Dag I. K. Sj&...