399 search results - page 36 / 80 » Verification of System Level Model Transformations |
151
Voted
FASE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
TECS
2008
15 years 2 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
130
Voted
ICSOC
2009
Springer
15 years 7 days ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
124
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
129
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...