Sciweavers

Share
SODA
2012
ACM
245views Algorithms» more  SODA 2012»
7 years 22 days ago
Lower bounds for number-in-hand multiparty communication complexity, made easy
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 ...
Jeff M. Phillips, Elad Verbin, Qin Zhang
CISIS
2009
IEEE
8 years 8 months ago
Lifetime in Wireless Sensor Networks
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...
Julien Champ, Clément Saad, Anne-Elisabeth ...
TRIDENTCOM
2010
IEEE
8 years 8 months ago
Experimental Validation and Assessment of Multi-domain and Multi-layer Path Computation
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. ...
Sebastian Gunreben, Ramon Casellas, Ricardo Mart&i...
IJCSA
2006
95views more  IJCSA 2006»
8 years 10 months ago
Modeling and Formal Verification of DHCP Using SPIN
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...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
CORR
2010
Springer
118views Education» more  CORR 2010»
8 years 10 months ago
A Multiprocessor Communication Architecture For High Speed Networks
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...
S. Iyengar, N. Apte, A. A. Roy, S. Sanyal, N. M. S...
FORTE
1990
8 years 11 months ago
ASN.1 and Estelle Implementation Support Tools
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...
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neuf...
IJCAI
2003
8 years 11 months ago
Protocol Conformance for Logic-based Agents
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...
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Fran...
DAGSTUHL
2003
8 years 11 months ago
Deciding Properties of Message Sequence Charts
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...
Anca Muscholl, Doron Peled
CORR
2008
Springer
137views Education» more  CORR 2008»
9 years 3 days ago
Communications in cellular automata
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...
Eric Goles Ch., Pierre-Etienne Meunier, Ivan Rapap...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
9 years 2 months ago
Formal Modeling of Communication Protocols by Graph Transformation
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...
Zarrin Langari, Richard J. Trefler
books