Sciweavers

626 search results - page 76 / 126
» Logical Foundations for Data Integration
Sort
View
DAC
2006
ACM
14 years 2 months ago
Visibility enhancement for silicon debug
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
Yu-Chin Hsu, Fur-Shing Tsai, Wells Jong, Ying-Tsai...
TPHOL
1997
IEEE
14 years 29 days ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
ICDE
2009
IEEE
120views Database» more  ICDE 2009»
14 years 10 months ago
Improving Transaction-Time DBMS Performance and Functionality
Immortal DB is a transaction time database system that is built into a commercial database system rather than being layered on top. This enables it to have performance that is very...
David B. Lomet, Feifei Li
ECIS
2004
13 years 10 months ago
Business alignment in the CRM domain: predicting CRM performance
In this paper we present a framework that aims to answer the central question why some organizations are successful in the CRM domain, while others are not. The framework is built...
Ronald Batenburg, Johan Versendaal
TPDS
2008
116views more  TPDS 2008»
13 years 8 months ago
A Dynamic Skip List-Based Overlay for On-Demand Media Streaming with VCR Interactions
Media distribution through application-layer overlay networks has received considerable attention recently, owing to its flexible and readily deployable nature. On-demand streaming...
Dan Wang, Jiangchuan Liu