Sciweavers

14056 search results - page 171 / 2812
» Consistency in Model Integration
Sort
View
144
Voted
ACSAC
2009
IEEE
16 years 29 days ago
HIMA: A Hypervisor-Based Integrity Measurement Agent
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
Ahmed M. Azab, Peng Ning, Emre Can Sezer, Xiaolan ...
CCE
2004
15 years 6 months ago
Towards integrated information models for data and documents
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
Birgit Bayer, Wolfgang Marquardt
ICDT
2005
ACM
128views Database» more  ICDT 2005»
15 years 11 months ago
First-Order Query Rewriting for Inconsistent Databases
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
Ariel Fuxman, Renée J. Miller
OOIS
1997
Springer
15 years 10 months ago
CORBA and ODBMSs in Viewpoint Development Environment Architectures
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
Wolfgang Emmerich
152
Voted
LICS
1996
IEEE
15 years 10 months ago
Integration in Real PCF
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
Abbas Edalat, Martín Hötzel Escard&oac...