4609 search results - page 55 / 922 » Automatic Generation of Sigma-Protocols |
106
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Given location information on digital photographs, we can automatically generate an abundance of photo-related metadata using off-the-shelf and web-based data sources. These metad...
142
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we deal with coverage criteria for boundary testing. We focus on the automatic generation of boundary tests based on OCL expressions and evaluate the quality of the...
134
Voted
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
ICWL
2004
Springer
15 years 10 months ago
2004
Springer
Nowadays, people tend to learn from the Web because it is convenient, and rich of free information. The main means of learning on the Web is by submitting a query to a search engi...
141
Voted
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...