13180 search results - page 282 / 2636 » Network Models |
140
click to vote
CSFW
2009
IEEE
15 years 11 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...
141
click to vote
P2P
2008
IEEE
15 years 10 months ago
2008
IEEE
Several protocol efficiency metrics (e.g., scalability, search success rate, routing reachability and stability) depend on the capability of preserving structure even over the ch...
109
click to vote
WADS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Assumptions about node density in the Sensor Networks literature are frequently too strong or too weak. Neither absolutely arbitrary nor uniform deployment seem feasible ...
150
click to vote
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
127
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We derive cost formulae for three di erent parallelisation techniques for training supervised networks. These formulae are parameterised by properties of the target computer archit...