2171 search results - page 376 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
160
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
129
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper details the participation of the XLDB group from the University of Lisbon at the GeoCLEF task of CLEF 2006. We tested text mining methods that make use of an ontology t...
148
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
159
Voted
FC
1997
Springer
15 years 8 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
145
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
The wikipediaMM task provides a testbed for the system-oriented evaluation of ad-hoc retrieval from a collection of Wikipedia images. It became a part of the ImageCLEF evaluation ...