Sciweavers

2063 search results - page 127 / 413
» connection 2007
Sort
View
DBPL
2007
Springer
102views Database» more  DBPL 2007»
15 years 10 months ago
A Theory of Stream Queries
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
DSOM
2007
Springer
15 years 10 months ago
Virtualized Interoperability Testing: Application to IPv6 Network Mobility
Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, prov...
Ariel Sabiguero, Anthony Baire, Antoine Boutet, C&...
ECUMN
2007
Springer
15 years 10 months ago
A Spatial Communication Model for Ubiquitous Computing Services
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
Ichiro Satoh
GD
2007
Springer
15 years 10 months ago
Algorithms for Multi-criteria One-Sided Boundary Labeling
We present new algorithms for labeling a set P of n points in the plane with labels that are aligned to the left of the bounding box of P. The points are connected to their labels ...
Marc Benkert, Herman J. Haverkort, Moritz Kroll, M...
ICALP
2007
Springer
15 years 10 months ago
Linear Problem Kernels for NP-Hard Problems on Planar Graphs
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...
Jiong Guo, Rolf Niedermeier