Sciweavers

2255 search results - page 5 / 451
» High Assurance Software Systems
Sort
View
ICECCS
2005
IEEE
92views Hardware» more  ICECCS 2005»
14 years 1 months ago
Secure Software Architectures Design by Aspect Orientation
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Ga...
WWW
2011
ACM
13 years 2 months ago
Survivability-oriented self-tuning of web systems
Running in a highly uncertain and changing environment, Web systems cannot always provide full set of services with optimal quality, especially when the workload is high or failur...
Bihuan Chen, Xin Peng, Yijun Yu, Wenyun Zhao
SOFSEM
2007
Springer
14 years 1 months ago
Separation of Concerns and Consistent Integration in Requirements Modelling
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
Xin Chen, Zhiming Liu, Vladimir Mencl
IPPS
2008
IEEE
14 years 1 months ago
Achieving and assuring high availability
We discuss availability aspects of large softwarebased systems. We classify faults into Bohrbugs, Mandelbugs and aging-related bugs, then examine mitigation methods for the last t...
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan...