8083 search results - page 11 / 1617 » A Formalization of Software Architecture |
111
click to vote
ICSEA
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
105
Voted
WICSA
2008
15 years 1 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
112
Voted
ENTCS
2008
15 years 12 days ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
118
click to vote
MIDDLEWARE
2000
Springer
2000
Springer
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
15 years 3 months ago
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...
115
Voted
JUCS
2010
14 years 7 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...