7607 search results - page 1303 / 1522 » informs 2006 |
145
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
135
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- In this paper we consider the communication problem that involves transmission of correlated sources over broadcast channels. We consider a graph-based framework for thi...
114
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- We study routing for massively dense wireless networks, i.e., wireless networks that contain so many nodes that, in addition to their usual microscopic description, a no...
121
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
116
click to vote
CSDA
2006
15 years 4 months ago
2006
A nonlinear dynamic model for the quotes issued by Nasdaq dealers is considered, focussing on the top two Electronic Communication Networks (ECNs), Island and Instinet, and the th...