32032 search results - page 6188 / 6407 » Verified programming in Guru |
140
click to vote
DDECS
2007
IEEE
15 years 10 months ago
2007
IEEE
A method of generating test pairs for the delay faults is presented in this paper. The modification of the MISR register gives the source of test pairs. The modification of this r...
187
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
199
click to vote
ECOOPW
2007
Springer
15 years 10 months ago
2007
Springer
Following last three years' RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop at the ECOOP conference, the RAM-SE'07 workshop was a successful and po...
173
Voted
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The European Accessible Information Network (EUAIN) was established to support the move to incorporate accessibility within mainstream content processing environments. EUAIN has b...
195
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
A proposal is presented for a standard ontology language defined as ElPub/SciX Ontology, based on the content of a web digital library of conference proceedings. This content, i.e...