Sciweavers

1829 search results - page 40 / 366
» Towards Validation of Requirements Models
Sort
View
TSE
2010
197views more  TSE 2010»
14 years 6 months ago
A Genetic Algorithm-Based Stress Test Requirements Generator Tool and Its Empirical Evaluation
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
Vahid Garousi
WWW
2005
ACM
16 years 15 days ago
Ensuring required failure atomicity of composite Web services
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
Sami Bhiri, Olivier Perrin, Claude Godart
AAECC
2007
Springer
87views Algorithms» more  AAECC 2007»
14 years 12 months ago
Towards an accurate performance modeling of parallel sparse factorization
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
Laura Grigori, Xiaoye S. Li
CIKM
2011
Springer
13 years 11 months ago
Towards noise-resilient document modeling
We introduce a generative probabilistic document model based on latent Dirichlet allocation (LDA), to deal with textual errors in the document collection. Our model is inspired by...
Tao Yang, Dongwon Lee
MATES
2004
Springer
15 years 5 months ago
Towards Models of Incomplete and Uncertain Knowledge of Collaborators' Internal Resources
Collaboration plays a critical role when a group is striving for goals which are difficult or impossible to achieve by an individual. Knowledge about collaborators’ contribution...
Christian Guttmann, Ingrid Zukerman