756 search results - page 8 / 152 » Recent progress with BOXES |
120
click to vote
ESSOS
2010
Springer
16 years 5 days ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
118
click to vote
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
In recent years, several techniques have been proposed for class-level regression testing. Most of these techniques focus either on white- or black-box testing, although an integr...
196
Voted
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
The problem of estimating progress for long-running queries has recently been introduced. We analyze the characteristics of the progress estimation problem, from the perspective o...
126
click to vote
USS
2008
15 years 5 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
116
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
The multiple-instance learning (MIL) model has been very successful in application areas such as drug discovery and content-based imageretrieval. Recently, a generalization of thi...