Sciweavers

1211 search results - page 69 / 243
» Computing Manipulations of Ranking Systems
Sort
View
NCA
2003
IEEE
14 years 2 months ago
A Truthful Mechanism for Fair Load Balancing in Distributed Systems
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...
Daniel Grosu, Anthony T. Chronopoulos
ICDCS
1999
IEEE
14 years 1 months ago
Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
Beth Plale, Karsten Schwan
ENTER
2009
Springer
14 years 3 months ago
Personalized Mobile City Transport Advisory System
Mobile devices are becoming an inseparable part of our lives and personalized location-based mobile services are gaining more and more popularity. The scope of this paper is to il...
Gytis Tumas, Francesco Ricci
ARITH
1999
IEEE
14 years 1 months ago
Arithmetic with Signed Analog Digits
This paper presents mathematical foundtions of the Overlap Resolution Number System (ORNS) which employs signed Continuous Valued Digits (CVD's). ORNS is a redundant Number S...
Aryan Saed, Majid Ahmadi, Graham A. Jullien
STACS
2009
Springer
14 years 3 months ago
Forward Analysis for WSTS, Part I: Completions
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
Alain Finkel, Jean Goubault-Larrecq