Sciweavers

2722 search results - page 171 / 545
» Hastily formed networks
Sort
View
INFOCOM
2005
IEEE
16 years 5 days ago
Downlink beamforming algorithms with inter-cell interference in cellular networks
— We study the issue of handling unknown inter-cell interference in multi-cell environments with antenna arrays at the base stations. First, we demonstrate that the presence of u...
Tianmin Ren, Richard J. La
DCOSS
2005
Springer
16 years 3 days ago
Analysis of Target Detection Performance for Wireless Sensor Networks
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...
Qing Cao, Ting Yan, John A. Stankovic, Tarek F. Ab...
FOSSACS
2004
Springer
15 years 12 months ago
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...
GI
2001
Springer
15 years 11 months ago
Corporate Information Network (COIN): The Fraunhofer IESE Experience Factory
Experience-based continuous learning is essential for improving products, processes, and technologies in emerging as well as established areas of business and engineering science....
Andreas Jedlitschka, Klaus-Dieter Althoff, Bjö...
PACT
2001
Springer
15 years 11 months ago
Static Analysis for Secrecy and Non-interference in Networks of Processes
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...