Sciweavers

2088 search results - page 203 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
CBSE
2006
Springer
15 years 8 months ago
A QoS Driven Development Process Model for Component-Based Software Systems
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
Heiko Koziolek, Jens Happe
SECRYPT
2010
147views Business» more  SECRYPT 2010»
15 years 4 months ago
Security Models for Heterogeneous Networking
Security for Next Generation Networks (NGNs) is an attractive topic for many research groups. The Y-Comm security group believes that a new security approach is needed to address t...
Glenford E. Mapp, Mahdi Aiash, Aboubaker Lasebae, ...
PRICAI
1998
Springer
15 years 10 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
DAGSTUHL
2007
15 years 8 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
UML
2004
Springer
15 years 12 months ago
OCL and Model Driven Engineering
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
Jean Bézivin, Thomas Baar, Tracy Gardner, M...