4184 search results - page 297 / 837 » Names of Our Lives |
148
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
178
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
189
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
Identifying discourse relations in a text is essential for various tasks in Natural Language Processing, such as automatic text summarization, question-answering, and dialogue gene...
155
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...
185
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...