5843 search results - page 1027 / 1169 » Software Security in Practice |
140
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
132
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
142
click to vote
EMISA
2009
Springer
15 years 11 months ago
2009
Springer
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...
105
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
126
Voted
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...