Sciweavers

1583 search results - page 227 / 317
» Lyra: A System Framework in Supporting Multimedia Applicatio...
Sort
View
EDBT
2009
ACM
137views Database» more  EDBT 2009»
15 years 4 months ago
Flexible and scalable storage management for data-intensive stream processing
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
Irina Botan, Gustavo Alonso, Peter M. Fischer, Don...
DOA
2000
105views more  DOA 2000»
15 years 7 months ago
CORBA Solutions for Interoperability in Mobile Agent Environments
The Mobile Agent (MA) paradigm proposes several attractive solutions to deal with the problems of networkcentric programming. Despite the availability of several MA platforms, the...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
ATVA
2006
Springer
130views Hardware» more  ATVA 2006»
15 years 10 months ago
The Implementation of Mazurkiewicz Traces in POEM
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
Peter Niebert, Hongyang Qu
PODS
2004
ACM
131views Database» more  PODS 2004»
16 years 6 months ago
On the Decidability of Containment of Recursive Datalog Queries - Preliminary report
The problem of deciding query containment has important applications in classical query optimization and heterogeneous database systems. Query containment is undecidable for unres...
Piero A. Bonatti
MM
2004
ACM
133views Multimedia» more  MM 2004»
15 years 12 months ago
Interactive retrieval of 3D shape models using physical objects
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...
Hiroyasu Ichida, Yuichi Itoh, Yoshifumi Kitamura, ...