Sciweavers

28357 search results - page 354 / 5672
» Communications
Sort
View
157
Voted
CLUSTER
2004
IEEE
15 years 10 months ago
On optimizing collective communication
In this paper we discuss issues related to the highperformance implementation of collective communications operations on distributed-memory computer architectures. Using a combina...
E. W. Chan, M. F. Heimlich, Avi Purkayastha, Rober...
COOPIS
2004
IEEE
15 years 10 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
DEXAW
2004
IEEE
100views Database» more  DEXAW 2004»
15 years 10 months ago
A Care Communication Service System for Improving Inpatients Quality of Life
In this research, we investigated the everyday life of inpatients in a hospital. We found that family members want to meet with inpatients even if they are very busy with their wo...
Akio Koyama, Tadahiko Abiko, Noriyuki Kamibayashi,...
CRYPTO
2006
Springer
97views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Robust Multiparty Computation with Linear Communication Complexity
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
Martin Hirt, Jesper Buus Nielsen
ECAI
2006
Springer
15 years 10 months ago
Modal Logics for Communicating Rule-Based Agents
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
Natasha Alechina, Mark Jago, Brian Logan