6434 search results - page 241 / 1287 » Model Transformations with Reference Models |
SPIN
2001
Springer
15 years 7 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...
130
click to vote
DMS
2008
15 years 3 months ago
2008
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...
129
Voted
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
113
Voted
AI
2005
Springer
15 years 8 months ago
2005
Springer
Identity uncertainty is the task of deciding whether two descriptions correspond to the same object. In this paper we discuss the identity uncertainty problem in the context of the...
121
click to vote
ER
2001
Springer
15 years 7 months ago
2001
Springer
Business rules are statements that express (certain parts of) a business policy, defining business terms and defining or constraining the operations of an enterprise, in a declar...