2302 search results - page 171 / 461 » Testing as Abstraction |
202
click to vote
RAID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Eight sites participated in the second DARPA off-line intrusion detection evaluation in 1999. Three weeks of training and two weeks of test data were generated on a test ...
185
click to vote
AMDO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper describes our ongoing research work on deviceless interaction using hand gesture recognition with a calibrated stereo system. Video-based interaction is one of...
188
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
176
click to vote
ECCB
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...
157
click to vote
PTS
2008
15 years 8 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...