Sciweavers

7992 search results - page 168 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
ICESS
2005
Springer
14 years 3 months ago
CDP: Component Development Platform for Communication Protocols
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei...
ICDCN
2011
Springer
13 years 1 months ago
Mining Frequent Subgraphs to Extract Communication Patterns in Data-Centres
In this paper, we propose to use graph-mining techniques to understand the communication pattern within a data-centre. We model the communication observed within a data-centre as a...
Maitreya Natu, Vaishali P. Sadaphal, Sangameshwar ...
FM
2006
Springer
153views Formal Methods» more  FM 2006»
14 years 2 months ago
Formal Methods and Cryptography
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
Michael Backes, Birgit Pfitzmann, Michael Waidner
ATAL
2007
Springer
14 years 2 months ago
Hypotheses refinement under topological communication constraints
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...
Gauvain Bourgne, Gael Hette, Nicolas Maudet, Suzan...
VTC
2008
IEEE
108views Communications» more  VTC 2008»
14 years 4 months ago
Bi-Directional Multi-Antenna Relay Communications with Wireless Network Coding
Abstract: In this paper, we consider a two-way or bidirectional communications system with a relay equipped with multiple antennas. We show that when the downlink channel state inf...
Chau Yuen, Woon Hau Chin, Yong Liang Guan, Wenhua ...