908 search results - page 23 / 182 » Computational methodologies for modelling, analysis and simu... |
ESORICS
2011
Springer
12 years 7 months ago
2011
Springer
We explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless ne...
PEWASUN
2005
ACM
14 years 1 months ago
2005
ACM
We derive the optimum and suboptimum selective rake receivers (SRRs) for fading environment exhibiting impulsive nature. Simulation results confirm that, when the noise is impuls...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— One of the major drawbacks of the Hopfield network is that when it is applied to certain polytopes of combinatorial problems, such as the traveling salesman problem (TSP), the...
DANCE
2002
IEEE
14 years 19 days ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
CPHYSICS
2010
13 years 7 months ago
2010
Distributed computing (DC) projects tackle large computational problems by exploiting the donated processing power of thousands of volunteered computers, connected through the Int...