4609 search results - page 662 / 922 » Automatic Generation of Sigma-Protocols |
181
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
In some retrieval situations, a system must search across multiple collections. This task, referred to as federated search, occurs for example when searching a distributed index o...
192
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. These custom instructions are selected through an analys...
149
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Unfortunately, malicious software is still an unsolved problem and a major threat on the Internet. An important component in the fight against malicious software is the...
163
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
160
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
The Internet has turned to be one the most common platform for the development of applications. In addition, sometimes the specification of these applications is given to web devel...