1009 search results - page 161 / 202 » Correlations of Partial Words |
150
click to vote
ENTCS
2007
15 years 1 months ago
2007
Designing secure protocols over ad-hoc networks has proved to be a very challenging task, due to various features of such networks, such as partial connectivity, node mobility, an...
130
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
136
click to vote
JWSR
2006
15 years 1 months ago
2006
: The increasing ubiquity of wireless mobile devices is promoting unprecedented levels of electronic collaboration among devices interoperating to achieve a common goal. Issues rel...
100
click to vote
IANDC
2007
15 years 1 months ago
2007
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryp...
136
click to vote
IANDC
2007
15 years 1 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...