Sciweavers

4280 search results - page 482 / 856
» Mechanisms for information elicitation
Sort
View
LICS
2005
IEEE
16 years 13 days ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich
185
Voted
NCA
2005
IEEE
16 years 13 days ago
Scalable QoS-Based Event Routing in Publish-Subscribe Systems
This paper proposes a distributed and scalable publish-subscribe broker with support for QoS. The broker, called “IndiQoS”, leverages on existing mechanisms to reserve resourc...
Nuno Carvalho, Filipe Araújo, Luís R...
173
Voted
PRDC
2005
IEEE
16 years 13 days ago
Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses
This paper introduces the Sigma algorithm that solves fault-tolerant mutual exclusion problem in dynamic systems where the set of processes may be large and change dynamically, pr...
Wei Chen, Shiding Lin, Qiao Lian, Zheng Zhang
ACMACE
2005
ACM
16 years 13 days ago
Designing sound for a pervasive mobile game
We examine the role of sound design in pervasive mobile games. As a case study, we present the sound design and evaluation of a working prototype game called The Songs of North. A...
Inger Ekman, Laura Ermi, Jussi Lahti, Jani Nummela...
KCAP
2005
ACM
16 years 13 days ago
OLA in the OAEI 2005 Alignment Contest
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
Jérôme Euzenat, Philippe Guéga...