10870 search results - page 1837 / 2174 » Model Checking Programs |
166
click to vote
CASCON
2004
15 years 8 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
161
click to vote
COMMA
2006
15 years 8 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
201
click to vote
CAINE
2001
15 years 8 months ago
2001
In this paper, we describe the theoretical framework that allows us to use of the expert system shell CLIPS to define the network model in the Distribution Management System (DMS)...
159
click to vote
ICIS
2001
15 years 8 months ago
2001
Do unsophisticated consumers fall prey to Internet consumer frauds? Why? To answer these questions this paper integrates two streams of empirical research: the process-oriented th...
164
Voted
EFDBS
2003
15 years 8 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...