5159 search results - page 362 / 1032 » Structural Testing of Executables |
210
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a web-based system to monitor the quality of the meta-data used to describe content in web portals. The system implements meta-data analysis using statistical, visualiz...
202
click to vote
EPIA
2005
Springer
16 years 29 days ago
2005
Springer
We propose a methodology to monitor the quality of the meta-data used to describe content in web portals. It is based on the analysis of the meta-data using statistics, visualizati...
177
click to vote
ICCSA
2005
Springer
16 years 28 days ago
2005
Springer
This paper presents the design of a middleware approach that aims at assisting handheld devices in accessing Grid services by wrapping the computational and resource intensive task...
169
click to vote
TLCA
2005
Springer
16 years 27 days ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
177
click to vote
IEEEMSP
2002
IEEE
16 years 10 days ago
2002
IEEE
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...