4356 search results - page 390 / 872 » Communicating Transactions - (Extended Abstract) |
160
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- When designing a distributed control system, the system designer has a choice in how to connect the different units through communication channels. In practice, noiseles...
280
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- We investigate cascade dynamics in thresholdcontrolled (multiplex) propagation on random geometric networks. We find that such local dynamics can serve as an efficient, ...
173
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
155
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Recently, Lee et al. proposed a Remote Authentication Model of Information Appliances (RAMIA). Unfortunately, RAMIA has a fatal error that opens the entire home network o...
180
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— We consider the level of information security provided by random linear network coding in network scenarios in which all nodes comply with the communication protocols y...