Sciweavers

3311 search results - page 494 / 663
» Deductive Object Programming
Sort
View
ICALP
2003
Springer
15 years 7 months ago
Multicommodity Demand Flow in a Tree
We consider requests for capacity in a given tree network T = (V, E) where each edge of the tree has some integer capacity ue. Each request consists of an integer demand df and a ...
Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepher...
IFIP
2010
Springer
15 years 7 months ago
Vector Sensor Arrays in Underwater Acoustic Applications
Traditionally, ocean acoustic signals have been acquired using hydrophones, which measure the pressure field and are typically omnidirectional. A vector sensor measures both the ac...
Paulo Santos, Paulo Felisberto, Sérgio M. J...
ECOOP
2001
Springer
15 years 7 months ago
On the Usefulness of Liveness for Garbage Collection and Leak Detection
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
Martin Hirzel, Amer Diwan, Antony L. Hosking
ICALP
2001
Springer
15 years 7 months ago
Secure Games with Polynomial Expressions
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
Aggelos Kiayias, Moti Yung
MIDDLEWARE
2001
Springer
15 years 7 months ago
Thread Transparency in Information Flow Middleware
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
Rainer Koster, Andrew P. Black, Jie Huang, Jonatha...