Sciweavers

721 search results - page 14 / 145
» Exploiting Meta-Level information in a Distributed Schedulin...
Sort
View
PLILP
1993
Springer
14 years 3 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Vicente Benjumea, José M. Troya
HUMAN
2003
Springer
14 years 4 months ago
DOC: A Distributed Object Caching System for Information Infrastructure
Object caching is a desirable feature to improve the both scalability and performance of distributed application systems for information infrastructure, the information management ...
Taehee Lee, Junho Shim, Sang-goo Lee
SEBD
2008
127views Database» more  SEBD 2008»
14 years 10 days ago
Service-oriented Semantic Collaboration in Distributed Information Systems
Collaborative information systems in a P2P scenario are characterized by a set of independent peers that dynamically need to cooperate by sharing data and services. For effective c...
Devis Bianchini, Valeria De Antonellis, Michele Me...
ICNP
2009
IEEE
13 years 8 months ago
RASPberry: A Stable Reader Activation Scheduling Protocol in Multi-Reader RFID Systems
Abstract--Recent technological advances have motivated largescale deployment of RFID systems. RFID readers are often static and carefully deployed in a planned manner. However, the...
ShaoJie Tang, Jing Yuan, Xiang-Yang Li, Guihai Che...
FORMATS
2007
Springer
14 years 5 months ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
Sergio Giro, Pedro R. D'Argenio