4126 search results - page 640 / 826 » Relationships with other Formalisms |
179
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
188
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
169
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...
200
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
161
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...