Sciweavers

2472 search results - page 179 / 495
» Parallel Key Exchange
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 4 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
CSDA
2011
15 years 1 months ago
Hierarchical multilinear models for multiway data
Reduced-rank decompositions provide descriptions of the variation among the elements of a matrix or array. In such decompositions, the elements of an array are expressed as produc...
Peter D. Hoff
TWC
2011
272views more  TWC 2011»
15 years 1 months ago
On the Study of Analogue Network Coding for Multi-Pair, Bidirectional Relay Channels
—We consider a scenario where multiple pairs of users exchange information within pair with the help of a dedicated multi-antenna relay. The co-channel interference among multipl...
Chee Yen Leow, Zhiguo Ding, Kin K. Leung, Dennis G...
GI
2007
Springer
16 years 17 days ago
Semantic Web Technologies for Power Grid Management
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
Mathias Uslar, Nikolai Dahlem
IS
2006
15 years 6 months ago
Processing approximate aggregate queries in wireless sensor networks
In-network data aggregation has been recently proposed as an effective means to reduce the number of messages exchanged in wireless sensor networks. Nodes of the network form an a...
Antonios Deligiannakis, Yannis Kotidis, Nick Rouss...