4609 search results - page 68 / 922 » Automatic Generation of Sigma-Protocols |
160
click to vote
IJWET
2006
15 years 5 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
126
click to vote
JSS
2006
15 years 5 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
123
click to vote
TOG
2008
15 years 4 months ago
2008
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...
157
click to vote
USS
2010
15 years 2 months ago
2010
Despite the widespread deployment of malwaredetection software, in many situations it is difficult to preemptively block a malicious program from infecting a system. Rather, signa...
167
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...