77016 search results - page 16 / 15404 » Modeling |
FORTE
2010
13 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
AIEDU
2007
13 years 7 months ago
2007
In recent years, the learner models of some adaptive learning environments have been opened to the learners they represent. However, as yet there is no standard way of describing a...
ICCS
2009
Springer
14 years 1 months ago
2009
Springer
We are interested in the simulation and optimization of gas transport in networks. Different regions of the network may be modelled by different equations. There are three models...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...
GTTSE
2007
Springer
13 years 11 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...