Sciweavers

498 search results - page 26 / 100
» A Logical Temporal Relational Data Model
Sort
View
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 9 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
DEXAW
1999
IEEE
142views Database» more  DEXAW 1999»
15 years 4 months ago
Developments in Spatio-Temporal Query Languages
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
Martin Erwig, Markus Schneider
ICDM
2003
IEEE
136views Data Mining» more  ICDM 2003»
15 years 5 months ago
Statistical Relational Learning for Document Mining
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
Alexandrin Popescul, Lyle H. Ungar, Steve Lawrence...
AMAI
2006
Springer
14 years 12 months ago
An algebraic framework for temporal attribute characteristics
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...
Michael H. Böhlen, Johann Gamper, Christian S...
CORR
2008
Springer
91views Education» more  CORR 2008»
14 years 12 months ago
A Logical Model and Data Placement Strategies for MEMS Storage Devices
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
Yi-Reun Kim, Kyu-Young Whang, Min-Soo Kim 0002, Il...