Sciweavers

28821 search results - page 5171 / 5765
» Distributed and parallel systems
Sort
View
JWSR
2006
114views more  JWSR 2006»
15 years 7 months ago
Metadata, Ontologies, and Information Models for Grid PSE Toolkits Based on Web Services
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
Carmela Comito, Carlo Mastroianni, Domenico Talia
MTA
2008
96views more  MTA 2008»
15 years 7 months ago
Proxy-assisted periodic broadcast for video streaming with multiple servers
Large scale video streaming over Internet requires a large amount of resources such as server I/O bandwidth, network bandwidth. A number of video delivery techniques can be used to...
Ewa Kusmierek, David Hung-Chang Du
LOGCOM
2006
90views more  LOGCOM 2006»
15 years 7 months ago
ATL Satisfiability is Indeed EXPTIME-complete
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
Dirk Walther, Carsten Lutz, Frank Wolter, Michael ...
NETWORKS
2006
15 years 7 months ago
Approximation algorithms for channel allocation problems in broadcast networks
We study two packing problems that arise in the area of dissemination-based information systems; a second theme is the study of distributed approximation algorithms. The problems c...
Rajiv Gandhi, Samir Khuller, Aravind Srinivasan, N...
RAS
2006
86views more  RAS 2006»
15 years 7 months ago
Using cellular automata and gradients to control self-reconfiguration
Self-reconfigurable robots are built from modules, which are autonomously able to change the way they are connected. Such a robot can, through this self-reconfiguration process, c...
Kasper Støy
« Prev « First page 5171 / 5765 Last » Next »