4609 search results - page 815 / 922 » Automatic Generation of Sigma-Protocols |
150
click to vote
CONCURRENCY
2007
15 years 5 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
174
click to vote
JCSS
2008
15 years 5 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
158
click to vote
JCST
2008
15 years 5 months ago
2008
In Chinese, phrases and named entities play a central role in information retrieval. Abbreviations, however, make keyword-based approaches less effective. This paper presents an em...
146
click to vote
IPM
2006
15 years 5 months ago
2006
E-commerce and knowledge management applications generate and consume tremendous amounts of online information that is typically available as textual documents. To facilitate subs...
189
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...