Sciweavers

2730 search results - page 110 / 546
» An Abstract Model for Process Mediation
Sort
View
MODELS
2009
Springer
15 years 4 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molièreâ...
Pierre-Alain Muller, Frédéric Fondem...
DATE
1999
IEEE
100views Hardware» more  DATE 1999»
15 years 2 months ago
The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic Systems
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
Axel Jantsch, Shashi Kumar, Ahmed Hemani
CMSB
2009
Springer
15 years 1 months ago
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
Elisabetta De Maria, François Fages, Sylvai...
UML
2005
Springer
15 years 3 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb
EDO
2000
Springer
15 years 1 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh