Sciweavers

668 search results - page 110 / 134
» Empirical Methods in Software Engineering Research
Sort
View
AMAI
2011
Springer
12 years 7 months ago
Similarity measures in formal concept analysis
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
Faris Alqadah, Raj Bhatnagar
NIPS
2004
13 years 9 months ago
Result Analysis of the NIPS 2003 Feature Selection Challenge
The NIPS 2003 workshops included a feature selection competition organized by the authors. We provided participants with five datasets from different application domains and calle...
Isabelle Guyon, Steve R. Gunn, Asa Ben-Hur, Gideon...
SEFM
2007
IEEE
14 years 1 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
COMPSAC
2002
IEEE
14 years 19 days ago
New Model and Scheduling Protocol for Transactional Workflows
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
Ke Ding, Beihong Jin, Jun Wei, Yulin Feng
AOSD
2007
ACM
13 years 11 months ago
Highly configurable transaction management for embedded systems
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
Mario Pukall, Thomas Leich, Martin Kuhlemann, Mark...