Sciweavers

12745 search results - page 351 / 2549
» Automating test automation
Sort
View
COSIT
2005
Springer
100views GIS» more  COSIT 2005»
16 years 8 days ago
The Role of Spatial Relations in Automating the Semantic Annotation of Geodata
How can the usability of distributed and heterogeneous geographic data sets be enhanced? Semantic interoperability is a prerequisite for effectively finding and accessing relevant ...
Eva Klien, Michael Lutz
ESOP
2005
Springer
16 years 7 days ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
HPCC
2005
Springer
16 years 7 days ago
A Loop-Aware Search Strategy for Automated Performance Analysis
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
Eli D. Collins, Barton P. Miller
AMTA
2004
Springer
16 years 4 days ago
A Fluency Error Categorization Scheme to Guide Automated Machine Translation Evaluation
Abstract. Existing automated MT evaluation methods often require expert human translations. These are produced for every language pair evaluated and, due to this expense, subsequen...
Debbie Elliott, Anthony Hartley, Eric Atwell
FPL
2004
Springer
103views Hardware» more  FPL 2004»
16 years 3 days ago
Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs
Abstract. Function evaluation is at the core of many compute-intensive applications which perform well on reconfigurable platforms. Yet, in order to implement function evaluation ...
Dong-U Lee, Oskar Mencer, David J. Pearce, Wayne L...