7992 search results - page 100 / 1599 » Communication Abstractions for Distributed Systems |
IJBC
2008
15 years 2 months ago
2008
Abstract-- In this paper, we propose a robust hyperchaotic system that is practically serviceable in digital securecommunication. The system consists of many coupled robust logisti...
120
Voted
IPL
2010
15 years 26 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
126
click to vote
EDO
2006
Springer
15 years 6 months ago
2006
Springer
A content-based publish/subscribe system is a message-oriented communication facility based on the idea of interestdriven routing. A message, published by the sender without a set...
129
click to vote
E4MAS
2004
Springer
15 years 7 months ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
151
click to vote
TABLEAUX
1998
Springer
15 years 6 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...