Sciweavers

6014 search results - page 169 / 1203
» Structural Testing with Use Cases
Sort
View
141
Voted
SQJ
2008
96views more  SQJ 2008»
15 years 2 months ago
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
Dae-Kyoo Kim, Wuwei Shen
163
Voted
FROCOS
2007
Springer
15 years 9 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
147
Voted
INFOCOM
2000
IEEE
15 years 8 months ago
Near Optimal Routing Lookups with Bounded Worst Case Performance
Abstract—The problem of route address lookup has received much attention recently and several algorithms and data structures for performing address lookups at high speeds have be...
Pankaj Gupta, Balaji Prabhakar, Stephen P. Boyd
139
Voted
CORR
2008
Springer
130views Education» more  CORR 2008»
15 years 3 months ago
A Kernel Method for the Two-Sample Problem
We propose two statistical tests to determine if two samples are from different distributions. Our test statistic is in both cases the distance between the means of the two sample...
Arthur Gretton, Karsten M. Borgwardt, Malte J. Ras...
133
Voted
CSDA
2006
85views more  CSDA 2006»
15 years 3 months ago
Detecting change-points in multidimensional stochastic processes
A general test statistic for detecting change-points in multidimensional stochastic processes with unknown parameters is proposed. The test statistic is specialized to the case of...
Jan G. De Gooijer