Sciweavers

3031 search results - page 106 / 607
» Model Driven Testing Based on Test History
Sort
View
210
Voted
ICDE
2008
IEEE
162views Database» more  ICDE 2008»
16 years 2 months ago
Adaptive Approximate Similarity Searching through Metric Social Networks
Exploiting the concepts of social networking represents a novel approach to the approximate similarity query processing. We present a metric social network where relations between...
Jan Sedmidubský, Pavel Zezula, Stanislav Ba...
100
Voted
MSR
2006
ACM
15 years 6 months ago
Are refactorings less error-prone than other changes?
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
Peter Weißgerber, Stephan Diehl
120
Voted
CAV
2005
Springer
133views Hardware» more  CAV 2005»
15 years 6 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha
CIA
2004
Springer
15 years 6 months ago
Design and Implementation of Agent Community Based Peer-to-Peer Information Retrieval Method
This paper presents an agent community based peer-to-peer information retrieval method called ACP2P method[16] and discusses the experimental results of the method. The ACP2P metho...
Tsunenori Mine, Daisuke Matsuno, Akihiro Kogo, Mak...
122
Voted
EMO
2006
Springer
113views Optimization» more  EMO 2006»
15 years 4 months ago
Prediction-Based Population Re-initialization for Evolutionary Dynamic Multi-objective Optimization
Abstract. Optimization in changing environment is a challenging task, especially when multiple objectives are to be optimized simultaneously. The basic idea to address dynamic opti...
Aimin Zhou, Yaochu Jin, Qingfu Zhang, Bernhard Sen...