2473 search results - page 44 / 495 » The Logic of Communication Graphs |
104
click to vote
PARLE
1992
15 years 7 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
128
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
122
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...
91
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Many emerging web and Internet applications are based on a group communications model. Thus, securing group communications is an important Internet design issue. The key graph app...
151
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Metacomputing infrastructures couple multiple clusters (or MPPs) via wide-area networks. A major problem in programming parallel applications for such platforms is their hierarchi...