379 search results - page 37 / 76 » The AGEDIS Tools for Model Based Testing |
163
Voted
WSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
132
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The occurrence of a genetic bottleneck in HIV sexual or mother-to-infant transmission has been well documented. This results in a majority of new infections being homo...
140
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
128
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Algorithms that locate evolutionarily conserved sequences have become powerful tools for finding functional DNA elements, including transcription factor binding sites;...
128
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...