Sciweavers

18469 search results - page 370 / 3694
» A Distributed Image-Understanding System
Sort
View
191
Voted
IPTPS
2004
Springer
16 years 24 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
195
Voted
MSO
2003
15 years 8 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
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
221
Voted
CONCUR
2012
Springer
13 years 9 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