5227 search results - page 107 / 1046 » Enterprise modeling using class and instance models |
106
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
111
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
139
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
121
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
138
click to vote
AAAI
1990
15 years 5 months ago
1990
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...