6047 search results - page 149 / 1210 » Modeling with Extend |
111
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
115
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we discuss the modeling of the kinematics and dynamics of compliant contact between bodies moving in Euclidean space. First, we derive the kinematic equations descr...
DAGSTUHL
2008
15 years 3 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
FOIS
2008
15 years 3 months ago
2008
The purpose of this paper is to examine different modelling strategies available in a multiplicative formal ontology, and the principles that drive their choice. This study is base...
134
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...