1812 search results - page 91 / 363 » Dynamic Updating of Software Systems Based on Aspects |
152
Voted
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
160
click to vote
ECSA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
194
Voted
CIIA
2009
15 years 4 months ago
2009
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
153
click to vote
SKG
2006
IEEE
16 years 4 days ago
2006
IEEE
A semantic based approach for QoS driven service discovery is proposed to help clients select the currently best services matching their requests in a dynamic GGS (GIS Grid Servic...
172
click to vote
ICST
2008
IEEE
16 years 17 days ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...