Sciweavers

18469 search results - page 370 / 3694
» A Distributed Image-Understanding System
Sort
View
IPTPS
2004
Springer
16 years 26 days ago
Robust Distributed Name Service
This paper suggests a method called Trust-but-Verify that may turn DHT-based peer-to-peer systems into systems that are provably robust against even massive adversarial attacks.
Baruch Awerbuch, Christian Scheideler
196
Voted
MSO
2003
15 years 9 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
229
Voted
ESWS
2008
Springer
15 years 9 months ago
Tagster - Tagging-Based Distributed Content Sharing
Abstract. Collaborative tagging systems like Flickr and del.icio.us provide centralized content annotation and sharing which is simple to use and attracts many people. A combinatio...
Olaf Görlitz, Sergej Sizov, Steffen Staab
222
Voted
CONCUR
2012
Springer
13 years 10 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
192
Voted
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
16 years 1 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu