923 search results - page 161 / 185 » The Computational Structure of Progress Conditions |
173
click to vote
PET
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. As decentralized computing scenarios get ever more popular, unstructured topologies are natural candidates to consider running mix networks upon. We consider mix network ...
176
click to vote
TRIDENTCOM
2006
IEEE
16 years 16 days ago
2006
IEEE
— Ad-hoc networking provides a cost-effective support structure for inter-vehicle communication. A decentralized peerto-peer information dissemination architecture is well suited...
171
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
164
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
160
click to vote
MSWIM
2005
ACM
16 years 3 days ago
2005
ACM
One of the central problems in video transmission over lossy channels is the choice of source and channel coding rates to allocate the available transmission rate optimally. In th...