Sciweavers

12697 search results - page 206 / 2540
» Call for Papers
Sort
View
IWPSE
2007
IEEE
16 years 27 days ago
A small observatory for super-repositories
Software evolution research has been focused mostly on analyzing the evolution of single software systems. However, it is rarely the case that a project exists as standalone, inde...
Mircea Lungu, Tudor Gîrba
ICDM
2005
IEEE
165views Data Mining» more  ICDM 2005»
16 years 7 days ago
Optimizing Constraint-Based Mining by Automatically Relaxing Constraints
In constraint-based mining, the monotone and antimonotone properties are exploited to reduce the search space. Even if a constraint has not such suitable properties, existing algo...
Arnaud Soulet, Bruno Crémilleux
SPIN
2000
Springer
15 years 10 months ago
Runtime Checking of Multithreaded Applications with Visual Threads
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...
Jerry J. Harrow
RE
2010
Springer
15 years 1 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
WWW
2003
ACM
16 years 7 months ago
Elena: A Mediation Infrastructure for Educational Services
The paper presents the work of the Elena project. The contribution of this paper is twofold: The first part of the paper elaborates on the notion of educational services. Educatio...
Bernd Simon, Joaquín Salvachúa, Mich...