1501 search results - page 35 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
102
click to vote
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
MBEES
2010
15 years 22 days ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
117
click to vote
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
118
click to vote
ENTCS
2006
14 years 11 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
DSVIS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...