2935 search results - page 518 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
LAWEB
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
166
click to vote
ICICS
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
119
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...
125
Voted
GROUP
2009
ACM
15 years 11 months ago
2009
ACM
Recent technological advances foster the spreading of social software in the mobile domain. Hence, future usage patterns of mobile devices will involve more group interaction. Whi...
152
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...