7992 search results - page 100 / 1599 » Communication Abstractions for Distributed Systems |
IJBC
2008
13 years 10 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...
IPL
2010
13 years 8 months 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...
EDO
2006
Springer
14 years 1 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...
E4MAS
2004
Springer
14 years 3 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...
TABLEAUX
1998
Springer
14 years 2 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...