1567 search results - page 163 / 314 » A Mechanized Model of the Theory of Objects |
96
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
111
click to vote
VAMOS
2010
Springer
15 years 3 months ago
2010
Springer
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...
114
click to vote
JSW
2010
15 years 6 days ago
2010
—The parameter identification of nonlinear constitutive model of soil mass is based on an inverse analysis procedure, which consists of minimizing the objective function represen...
127
click to vote
TSP
2010
14 years 8 months ago
2010
Graphical models are a framework for representing and exploiting prior conditional independence structures within distributions using graphs. In the Gaussian case, these models are...
103
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...