2509 search results - page 240 / 502 » Abstract Geometrical Computation and Computable Analysis |
163
click to vote
ADHOC
2010
15 years 6 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
176
click to vote
CORR
2006
Springer
15 years 6 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...
185
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
Abstract. The memory hierarchy plays an essential role in the performance of current computers, thus good analysis tools that help predict and understand its behavior are required....
198
click to vote
IANDC
2007
15 years 6 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...
151
click to vote
TITB
2008
15 years 6 months ago
2008
Abstract--This paper presents the application of a componentbased Grid middleware system for processing extremely large images obtained from digital microscopy devices. We have dev...