Adaptive security aims to protect valuable assets managed by a system, by applying a varying set of security controls. engineering adaptive security is not an easy task. A set of effective security countermeasures sho...
详细信息
FiReControl was a large-scale system-of-systems that commenced in 2004 and was expected to be complete by October 2009. In 2007, the Department for Communities and Local Government (the Department) contracted a prime ...
详细信息
In this paper, we present the results of defect data analysis done with three software companies' defect databases. 11879 software defects were classified and analyzed in order to find out what the real world defe...
详细信息
In this paper, we propose a construction process that enables the transformation of an urban traffic network using a cellular automata lattice. An abstract network hierarchy is defined which allows us to describe the ...
详细信息
A Web service specification can be quite complex, including multiple operations and various kinds of message exchange patterns. In this work, we focus on the problem of restructuring a Web service, which contains a pr...
详细信息
The evolution of computer science has exposed us to the growing gravity of security problems and threats. Dynamic taint analysis is a prevalent approach to protect a program from malicious behaviors, but fails to prov...
详细信息
The focus of this paper is the pseudometric used as a key concept in our previous work on optimal supervisory control of probabilistic discrete event systems. The pseudometric is employed to measure the behavioural si...
详细信息
Stakeholders frequently use speculative language when they need to convey their requirements with some degree of uncertainty. Due to the intrinsic vagueness of speculative language, speculative requirements risk being...
详细信息
As Web services become widespread, many complex applications require service composition to cope with high scalability and heterogeneity. Centralized Web service composition approaches are not sufficient as they alway...
详细信息
This paper presents an evaluation of data delivery on Android applications implementing a health screening form. Typically, the health screening form provides an integrated view of various data (e.g. lifelog, health l...
详细信息
暂无评论