1501 search results - page 35 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
132
Voted
ISOLA
2010
Springer
15 years 2 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...
141
Voted
MBEES
2010
15 years 5 months 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...
157
Voted
ATAL
2003
Springer
15 years 8 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...
165
click to vote
ENTCS
2006
15 years 3 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...
121
Voted
DSVIS
2005
Springer
15 years 9 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...