6434 search results - page 827 / 1287 » Model Transformations with Reference Models |
137
Voted
ECEASST
2008
15 years 6 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
132
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
149
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper examines a problem related to the optimal risk management of banks in a stochastic dynamic setting. In particular, we minimize7 market and capital adequacy risk that in...
141
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
In some of the recently-developed algorithms for convex parametric quadratic programs it is implicitly assumed that the intersection of the closures of two adjacent critical regio...
169
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper presents a distributed adaptive coordinated control method for multiple robot arms grasping a common object. The cases of rigid contact and rolling contact are analyzed...