Sciweavers

3122 search results - page 467 / 625
» Storing Semistructured Data with STORED
Sort
View
PCM
2007
Springer
112views Multimedia» more  PCM 2007»
16 years 16 days ago
Efficient Segment Based Streaming Media Transcoding Proxy for Various Types of Mobile Devices
Streaming media has contributed to a significant amount of today’s Internet Traffic. One solution of to solve this problems is using streaming proxy. There are two categories in ...
Yoohyun Park, Yong-Ju Lee, Hag-Young Kim, Kyongsok...
PPDP
2007
Springer
16 years 16 days ago
Formalizing and verifying semantic type soundness of a simple compiler
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
Nick Benton, Uri Zarfaty
RE
2007
Springer
16 years 16 days ago
Goal-Oriented Conceptual Database Design
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...
SSD
2007
Springer
176views Database» more  SSD 2007»
16 years 15 days ago
Distributed, Concurrent Range Monitoring of Spatial-Network Constrained Mobile Objects
The ability to continuously monitor the positions of mobile objects is important in many applications. While most past work has been set in Euclidean spaces, the mobile objects rel...
Hua Lu, Zhiyong Huang, Christian S. Jensen, Linhao...
UIC
2007
Springer
16 years 15 days ago
Persistent Storage System for Efficient Management of OWL Web Ontology
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
Dongwon Jeong, Myounghoi Choi, Yang-Seung Jeon, Yo...