Sciweavers

4476 search results - page 292 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
149
Voted
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 4 months ago
Communication model of emuStudio emulation platform
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
Peter Jakubco, Slavomír Simonák, Nor...
EMSOFT
2003
Springer
15 years 12 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
IRI
2005
IEEE
16 years 10 days ago
Modeling methodology for application development in petroleum industry
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
Cong Zhang, Viktor K. Prasanna, Abdollah Orangi, W...
WSC
2008
15 years 9 months ago
Representing layout information in the CMSD specification
Developing mechanisms for the efficient exchange of information between simulations and other manufacturing tools is a critical problem. For many areas of manufacturing, neither r...
Frank Riddick, Y. Tina Lee
FASE
2003
Springer
15 years 12 months ago
Model-Based Development of Web Applications Using Graphical Reaction Rules
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Reiko Heckel, Marc Lohmann