4609 search results - page 423 / 922 » Automatic Generation of Sigma-Protocols |
167
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Some auxiliary systems of next generation naval ships will utilize distributed automatic control. Such distributed control systems will use interconnected sensors, actuators, cont...
195
click to vote
ICWE
2007
Springer
16 years 29 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
175
click to vote
NLDB
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
177
click to vote
ACSC
2006
IEEE
16 years 27 days ago
2006
IEEE
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...
195
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
Many sports videos such as archery, diving and tennis have repetitive structure patterns. They are reliable clues to generate highlights, summarization and automatic annotation. I...