Sciweavers

1928 search results - page 111 / 386
» Integrity Constraints in OWL
Sort
View
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 4 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
106
Voted
CPAIOR
2008
Springer
15 years 2 months ago
Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver
Abstract. The multiple knapsack problem (MKP) is a classical combinatorial optimization problem. A recent algorithm for some classes of the MKP is bin-completion, a bin-oriented, b...
Alex S. Fukunaga
95
Voted
AAAI
2010
15 years 2 months ago
Integrated Systems for Inducing Spatio-Temporal Process Models
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
Chunki Park, Will Bridewell, Pat Langley
CMOT
2000
128views more  CMOT 2000»
15 years 18 days ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox
107
Voted
ICSEA
2009
IEEE
14 years 10 months ago
Integrating Quality Modeling with Feature Modeling in Software Product Lines
Due to the large number of possible variants in typical Software Product Lines (SPLs), the modeling of, explicit knowledge of, and predictability of the quality tradeoffs inherent ...
Joerg Bartholdt, Marcel Medak, Roy Oberhauser