Sciweavers

1054 search results - page 68 / 211
» Model Transformations in the Model-Based Development of Real...
Sort
View
149
Voted
RTS
2006
176views more  RTS 2006»
15 years 3 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
170
Voted
JCSS
2011
154views more  JCSS 2011»
14 years 10 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
151
Voted
HPCN
2000
Springer
15 years 7 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
179
Voted
ICDIM
2006
IEEE
15 years 9 months ago
Model-Driven Development of Content-Based Image Retrieval Systems
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
Temenushka Ignatova
113
Voted
HICSS
2002
IEEE
128views Biometrics» more  HICSS 2002»
15 years 8 months ago
Developing a Flexible System-Modeling Environment for Engineers
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
David R. Gardner, Joseph P. Castro, Paul N. Demmie...