77016 search results - page 396 / 15404 » Modeling |
160
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
132
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We discuss, compare and relate some old and some new models for incomplete and probabilistic databases. We characterize the expressive power of c-tables over infinite dom...
146
click to vote
ACSD
2001
IEEE
15 years 9 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
174
click to vote
ER
2000
Springer
15 years 9 months ago
2000
Springer
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
183
click to vote
CAISE
1992
Springer
15 years 9 months ago
1992
Springer
In many non trivial application domains, object types with a complex structure occur. Data modelling techniques which only allow flat structures are not suitable for representing ...