336 search results - page 10 / 68 » Using a Model Merging Language for Reconciling Model Version... |
112
Voted
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
We use a parallel multi-objective genetic algorithm to drive a search and reconstruction spectroscopic analysis of plasma gradients in inertial confinement fusion (ICF) implosion...
144
click to vote
JUCS
2000
15 years 2 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
109
click to vote
MICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...
120
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
126
click to vote
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper studies the following problem: given a pair of business process models, determine which elements in one model are related to which elements in the other model. This prob...