5570 search results - page 740 / 1114 » Applications of Fair Testing |
197
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
179
click to vote
ADG
2006
Springer
15 years 10 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
160
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
189
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Ontology matching is a crucial task of enabling interoperation between Web applications using different but related ontologies. Due to the size and the monolithic nature,...
164
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Because metadata that underlies semantic web applications is gathered from distributed and heterogeneous data sources, it is important to ensure its quality (i.e., reduce duplicate...