3522 search results - page 213 / 705 » Modeling and Aspect Weaving |
136
click to vote
FMOODS
2006
15 years 6 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
121
click to vote
IJES
2008
15 years 4 months ago
2008
In this article, we present an overview of the Artemis workbench, which provides modelling and simulation methods and tools for efficient performance evaluation and exploration of ...
131
Voted
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
149
Voted
IANDC
2011
14 years 11 months ago
2011
The present paper introduces a new model for teaching randomized learners. Our new model, though based on the classical teaching dimension model, allows to study the influence of...
1750
click to vote
ICECCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...