Sciweavers

5122 search results - page 192 / 1025
» Comparing Consequence Relations
Sort
View
127
Voted
PODS
2010
ACM
197views Database» more  PODS 2010»
15 years 3 months ago
When data dependencies over SQL tables meet the logics of paradox and S-3
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
Sven Hartmann, Sebastian Link
126
Voted
CII
2008
100views more  CII 2008»
15 years 3 months ago
Knowledge formalization in experience feedback processes: An ontology-based approach
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
Bernard Kamsu Foguem, Thierry Coudert, C. Bé...
125
Voted
JITECH
2008
117views more  JITECH 2008»
15 years 3 months ago
Towards a theory of organizational information services
: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...
Lars Mathiassen, Carsten Sørensen
135
Voted
ALIFE
2004
15 years 3 months ago
Evolution of Resource Competition between Mutually Dependent Digital Organisms
We study the emergence and dynamics of competing strains of digital organisms in a world with two depletable resources. Consumption of one resource produces the other resource as a...
Tyler J. Johnson, Claus O. Wilke
153
Voted
TPDS
2002
126views more  TPDS 2002»
15 years 3 months ago
P-3PC: A Point-to-Point Communication Model for Automatic and Optimal Decomposition of Regular Domain Problems
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
Frank J. Seinstra, Dennis Koelma