Sciweavers

4919 search results - page 227 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
KBSE
2007
IEEE
15 years 10 months ago
Modeling bug report quality
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
Pieter Hooimeijer, Westley Weimer
PAMI
2012
13 years 6 months ago
Probabilistic Models for Inference about Identity
—Many face recognition algorithms use “distance-based” methods: Feature vectors are extracted from each face and distances in feature space are compared to determine matches....
Simon Prince, Peng Li, Yun Fu, Umar Mohammed, Jame...
ICFEM
2010
Springer
15 years 2 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
CISIS
2010
IEEE
15 years 2 months ago
Modeling of Stress-induced Regulatory Cascades Involving Transcription Factor Dimers
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...
Maria Manioudaki, Panayiota Poirazi
EUROMICRO
2004
IEEE
15 years 8 months ago
Integrity Management in Component Based Systems
There is a need for mechanisms for maintaining and restoring software integrity on deployed systems. Dynamic replacement, removal and addition of components in deployed systems is...
Johan Muskens, Michel R. V. Chaudron