Sciweavers

713 search results - page 88 / 143
» Toward a More Reliable Theory of Software Reliability
Sort
View
KBSE
2010
IEEE
14 years 10 months ago
Test generation to expose changes in evolving programs
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
UML
2005
Springer
15 years 5 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
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...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
SDM
2009
SIAM
152views Data Mining» more  SDM 2009»
15 years 9 months ago
Non-negative Matrix Factorization, Convexity and Isometry.
In this paper we explore avenues for improving the reliability of dimensionality reduction methods such as Non-Negative Matrix Factorization (NMF) as interpretive exploratory data...
Nikolaos Vasiloglou, Alexander G. Gray, David V. A...
COGSCI
2010
104views more  COGSCI 2010»
14 years 12 months ago
Space and Time in the Child's Mind: Evidence for a Cross-Dimensional Asymmetry
What is the relationship between space and time in the human mind? Studies in adults show an asymmetric relationship between mental representations of these basic dimensions of ex...
Daniel Casasanto, Olga Fotakopoulou, Lera Borodits...
SOFTWARE
2008
14 years 11 months ago
What Do We Know about Developer Motivation?
s of titles and abstracts) as irrelevant to our focus. We read the remaining 519 papers in full to establish our final list. The 92 papers we chose were originally published in the...
Tracy Hall, Helen Sharp, Sarah Beecham, Nathan Bad...