1431 search results - page 37 / 287 » Solving Constraints in Model Transformations |
87
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
85
Voted
EOR
2006
15 years 15 days ago
2006
Recent work on the location of perinatal facilities in the municipality of Rio de Janeiro resulted in the development of an uncapacitated, three-level hierarchical model. An impor...
86
Voted
ACSD
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
113
click to vote
CSMR
2006
IEEE
15 years 6 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
120
Voted
COMPULOG
1999
Springer
15 years 4 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...