SODA
2012
ACM
12 years 2 months ago
2012
ACM
In this paper we prove lower bounds on randomized multiparty communication complexity, both in the blackboard model (where each message is written on a blackboard for all players ...
CISIS
2009
IEEE
13 years 10 months ago
2009
IEEE
The following paper deals with criterion used to measure communication protocol efficiency in Wireless Sensor Networks. As energy is a crucial characteristic of those networks, it...
TRIDENTCOM
2010
IEEE
13 years 10 months ago
2010
IEEE
Within the framework of the BONE European Network of Excellence, we setup a multi-domain multi-layer testbed covering three different networks at two distinct locations in Europe. ...
IJCSA
2006
14 years 13 days ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
CORR
2010
Springer
14 years 16 days ago
2010
Springer
Over the years, communication speed of networks has increased from few Kbps to several Mbps. as also the bandwidth demand. Communication protocols, however, have not improved to t...
FORTE
1990
14 years 1 months ago
1990
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
IJCAI
2003
14 years 1 months ago
2003
An agent communication protocol specifies the “rules of encounter” governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negoti...
DAGSTUHL
2003
14 years 1 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
CORR
2008
Springer
14 years 2 months ago
2008
Springer
The goal of this paper is to show why the framework of communication complexity seems suitable for the study of cellular automata. Researchers have tackled different algorithmic p...
FM
2006
Springer
14 years 4 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...