1875 search results - page 224 / 375 » A Calculus of Broadcasting Systems |
107
Voted
USS
2008
15 years 3 months ago
2008
Commercial electronic voting systems have experienced many high-profile software, hardware, and usability failures in real elections. While it is tempting to abandon electronic vo...
ICDCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Providing distributed processes with concurrent objects is a fundamental service that has to be offered by any distributed system. The classical shared read/write register is one ...
91
Voted
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
SpaceTag is an object system on which each object called SpaceTag can be accessed only from limited locations and limited time period. Its applications include entertainment syste...
97
Voted
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
114
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...