Sciweavers

2299 search results - page 53 / 460
» Logical Data Expiration
Sort
View
GIS
2004
ACM
16 years 6 months ago
Capturing complex multidimensional data in location-based data warehouses
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...
Igor Timko, Torben Bach Pedersen
FCCM
2003
IEEE
96views VLSI» more  FCCM 2003»
15 years 10 months ago
Data Search and Reorganization Using FPGAs: Application to Spatial Pointer-based Data Structures
FPGAs have appealing features such as customizable internal and external bandwidth and the ability to exploit vast amounts of fine-grain parallelism. In this paper we explore the ...
Pedro C. Diniz, Joonseok Park
SP
2006
IEEE
104views Security Privacy» more  SP 2006»
15 years 11 months ago
A Logic for Constraint-based Security Protocol Analysis
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
Ricardo Corin, Sandro Etalle, Ari Saptawijaya
AMAST
2006
Springer
15 years 9 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
ICDE
1997
IEEE
172views Database» more  ICDE 1997»
15 years 9 months ago
Modeling and Querying Moving Objects
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, S...