Sciweavers

2278 search results - page 97 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 3 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
DIMVA
2010
15 years 1 months ago
Why Johnny Can't Pentest: An Analysis of Black-Box Web Vulnerability Scanners
Black-box web vulnerability scanners are a class of tools that can be used to identify security issues in web applications. These tools are often marketed as "point-and-click ...
Adam Doupé, Marco Cova, Giovanni Vigna
DOCENG
2011
ACM
13 years 11 months ago
A framework with tools for designing web-based geographic applications
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
The Nhan Luong, Sébastien Laborie, Thierry ...
ICDE
2007
IEEE
153views Database» more  ICDE 2007»
15 years 5 months ago
An Indexing Structure for Automatic Schema Matching
Querying semantically related data sources depends on the ability to map between their schemas. Unfortunately, in most cases matching between schema is still largely performed man...
Fabien Duchateau, Zohra Bellahsene, Mark Roantree,...
DOCENG
2003
ACM
15 years 4 months ago
Accuracy improvement of automatic text classification based on feature transformation
In this paper, we describe a comparative study on techniques of feature transformation and classification to improve the accuracy of automatic text classification. The normalizati...
Guowei Zu, Wataru Ohyama, Tetsushi Wakabayashi, Fu...