Sciweavers

3954 search results - page 150 / 791
» Image-based Model Completion
Sort
View
ADAEUROPE
2007
Springer
15 years 8 months ago
Automatic Ada Code Generation Using a Model-Driven Engineering Approach
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
Diego Alonso, Cristina Vicente-Chicote, Pedro S&aa...
BIS
2008
92views Business» more  BIS 2008»
15 years 7 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann
EUSFLAT
2007
108views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
Homomorphisms of Fuzzy Logic Models Based on Sets With Similarities
We investigate interpretations ψ D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a comp...
Jiri Mockor
DAGSTUHL
2006
15 years 7 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel
BIS
2009
192views Business» more  BIS 2009»
15 years 7 months ago
Advanced Social Features in a Recommendation System for Process Modeling
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
Agnes Koschmider, Minseok Song, Hajo A. Reijers