Sciweavers

1515 search results - page 80 / 303
» Information Integration: Conceptual Modeling and Reasoning S...
Sort
View
CAISE
2004
Springer
15 years 3 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin
ER
2010
Springer
114views Database» more  ER 2010»
14 years 8 months ago
KBB: A Knowledge-Bundle Builder for Research Studies
Researchers struggle to manage vast amounts of data coming from hundreds of sources in online repositories. To successfully conduct research studies, researchers need to find, ret...
David W. Embley, Stephen W. Liddle, Deryle W. Lons...
ICSE
2001
IEEE-ACM
15 years 2 months ago
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
Steve M. Easterbrook, Marsha Chechik
AAAI
1994
14 years 11 months ago
Exploiting Meta-Level information in a Distributed Scheduling System
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
Daniel E. Neiman, David W. Hildum, Victor R. Lesse...
WSC
2001
14 years 11 months ago
Seamless integration of layout and simulation
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...
Karsten Mecklenburg