Sciweavers

7992 search results - page 403 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
ICC
2007
IEEE
15 years 10 months ago
Results for Integrals Involving m-th Power of the Gaussian Q-function Over Rayleigh Fading Channels with Applications
Abstract— Exact-form results are presented for integrals involving higher-order power of the one dimensional Gaussian Q-function over identical and nonidentically distributed mul...
Redha M. Radaydeh, Mustafa M. Matalgah
CONCUR
1997
Springer
15 years 8 months ago
Bounded Stacks, Bags and Queues
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
Jos C. M. Baeten, Jan A. Bergstra
GLOBECOM
2008
IEEE
15 years 10 months ago
Robust Distributed Sensor Network Localization Based on Analysis of Flip Ambiguities
Abstract— A major problem in wireless sensor network localization is erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distanc...
Anushiya A. Kannan, Baris Fidan, Guoqiang Mao
SSS
2010
Springer
103views Control Systems» more  SSS 2010»
15 years 2 months ago
A Provably Starvation-Free Distributed Directory Protocol
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...
Hagit Attiya, Vincent Gramoli, Alessia Milani
FM
2009
Springer
190views Formal Methods» more  FM 2009»
15 years 10 months ago
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu