3387 search results - page 389 / 678 » Automating the Metamodeling Process |
167
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
169
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
160
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
164
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
158
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...