Sciweavers

1658 search results - page 215 / 332
» Implementing Bit-addressing with Specialization
Sort
View
111
Voted
ESOP
2005
Springer
15 years 6 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
ICTAC
2005
Springer
15 years 6 months ago
Revisiting Failure Detection and Consensus in Omission Failure Environments
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...
Carole Delporte-Gallet, Hugues Fauconnier, Felix C...
107
Voted
KIVS
2005
Springer
15 years 6 months ago
From Location to Position Management: User Tracking for Location-based Services
: This paper compares traditional location management, which focuses on tracking mobile subscribers in the topology of a cellular network, with position management, which we defin...
Axel Küpper, Georg Treu
112
Voted
QOSIP
2005
Springer
15 years 6 months ago
Utility Proportional Fair Bandwidth Allocation: An Optimization Oriented Approach
In this paper, we present a novel approach to the congestion control and resource allocation problem of elastic and real-time traffic in telecommunication networks. With the concep...
Tobias Harks
85
Voted
VLDB
2005
ACM
151views Database» more  VLDB 2005»
15 years 6 months ago
Query Execution Assurance for Outsourced Databases
In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a...
Radu Sion