Sciweavers

24421 search results - page 457 / 4885
» Communicating Complex Systems
Sort
View
LFCS
2007
Springer
15 years 10 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
ICMCS
1997
IEEE
117views Multimedia» more  ICMCS 1997»
15 years 8 months ago
Cooperative QoS Management for Multimedia Applications
Quality of Service (QoS) management becomes more and more important, especially in networks where many applications are competing for a limited number of resources. As these appli...
Stefan Fischer, Abdelhakim Hafid, Gregor von Bochm...
167
Voted
P2P
2006
IEEE
211views Communications» more  P2P 2006»
15 years 10 months ago
Comparison of Image Similarity Queries in P2P Systems
Given some of the recent advances in Distributed Hash Table (DHT) based Peer-To-Peer (P2P) systems we ask the following questions: Are there applications where unstructured querie...
Wolfgang Müller 0002, P. Oscar Boykin, Nima S...
ISSADS
2005
Springer
15 years 10 months ago
Database System Architecture - A Walk Through Time: From Centralized Platform to Mobile Computing - Keynote Address
Classical distributed database systems monolithically offer distribution transparency and higher performance. This is made possible by making data available and closer to the appl...
Ali R. Hurson, Yu Jiao
USENIX
1994
15 years 5 months ago
Key Management in an Encrypting File System
As distributed computing systems grow in size, complexity and variety of application, the problem of protecting sensitive data from unauthorized disclosure and tampering becomes i...
Matt Blaze