Page %P

Close Plain text

55 Result(s) for 'Temporal logic'

within Reference Work Entry 978-1-4899-7993-3

Sort By Relevance Newest First Oldest First

Living Reference Work Entry In depth

Temporal Query Languages

Christian S. Jensen, Richard T. Snodgrass in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Temporal Granularity

Claudio Bettini, X. Sean Wang, Sushil Jajodia in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Temporal Compatibility

Michael H. Böhlen, Christian S. Jensen… in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Temporal PSM

Richard T. Snodgrass, Dengfeng Gao, Rui Zhang… in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Temporal Benchmarks

Jennifer Dempsey, Richard T. Snodgrass… in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Privacy Through Accountability

Anupam Datta in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Executable Knowledge

Mor Peleg, Arturo González-Ferrer in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Semantic Streams

Manfred Hauswirth, Danh Le Phuoc… in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Moving Objects Databases and Tracking

Ralf Hartmut Güting in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Event Specification

Jonas Mellin, Mikael Berndtsson in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Big Stream Systems

Nathan Backman in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Event Detection

Jonas Mellin, Mikael Berndtsson in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Multimedia Data Querying

K. Selcuk Candan, Maria Luisa Sapino in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Workflow Management and Workflow Management System

Johann Eder, Julius Köpke in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Load Balancing in Peer-to-Peer Overlay Networks

Anwitaman Datta in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Data Uncertainty Management in Sensor Networks

Sunil Prabhakar, Reynold Cheng in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Stream Reasoning

Alessandra Mileo, Minh Dao-Tran, Thomas Eiter… in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Temporal Logic in Database Query Languages

Jan Chomicki, David Toman in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Time in Philosophical Logic

Peter Øhrstrøm, Per F. V. Hasle in Encyclopedia of Database Systems
Living Reference Work Entry In depth

Temporal Integrity Constraints

Jef Wijsen in Encyclopedia of Database Systems