Sciweavers

1036 search results - page 9 / 208
» Report on INEX 2009
Sort
View
CAV
2009
Springer
106views Hardware» more  CAV 2009»
15 years 10 months ago
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet, Hubert Comon-Lundh, Martín ...
SIGSOFT
2009
ACM
15 years 10 months ago
Smart views for analyzing problem reports: tool demo
Patrick Knab, Harald Gall, Martin Pinzger
ICSM
2009
IEEE
15 years 4 months ago
Interactive views for analyzing problem reports
Patrick Knab, Beat Fluri, Harald Gall, Martin Pinz...
INEX
2004
Springer
15 years 3 months ago
Hybrid XML Retrieval Revisited
Abstract. The widespread adoption of XML necessitates structureaware systems that can effectively retrieve information from XML document collections. This paper reports on the par...
Jovan Pehcevski, James A. Thom, Seyed M. M. Tahagh...