36 search results - page 7 / 8 » Reducing Inspection Interval in Large-Scale Software Develop... |
WWW
2004
ACM
14 years 7 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
SIGSOFT
2006
ACM
14 years 7 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
ICAD
2004
13 years 7 months ago
2004
The following explains what mappings have been chosen for a sonification of several data channels from set containing a recording of the neural activity of a person listening to a...
BMCBI
2008
13 years 6 months ago
2008
Background: Microarray-based pooled DNA experiments that combine the merits of DNA pooling and gene chip technology constitute a pivotal advance in biotechnology. This new techniq...
KBSE
2005
IEEE
13 years 12 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...