5374 search results - page 147 / 1075 » The induction of communication protocols |
245
click to vote
SCP
2011
15 years 1 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
164
click to vote
SCN
2010
Springer
15 years 4 months ago
2010
Springer
At Asiacrypt 2009, Kurosawa and Nojima showed a fully simulatable adaptive oblivious transfer (OT) protocol under the DDH assumption in the standard model. However, Green and Hohen...
140
click to vote
HPCC
2007
Springer
16 years 20 days ago
2007
Springer
This paper introduces Netgauge, an extensible open-source framework for implementing network benchmarks. The structure of Netstracts and explicitly separates communication patterns...
201
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Data aggregation, as a primitive communication task in wireless networks, can reduce the communication complexity. However, in-network aggregation usually brings an unavoidable ...
124
click to vote
SSS
2007
Springer
16 years 18 days ago
2007
Springer
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...