Sciweavers

8623 search results - page 393 / 1725
» Software engineering for secure systems
Sort
View
197
Voted
EUROMICRO
2004
IEEE
15 years 10 months ago
Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
Steffen Zschaler
173
Voted
COMPSAC
2000
IEEE
15 years 11 months ago
Transforming Legacy Energy Management System (EMS) Modules into Reusable Components: A Case Study
: A two-layer adaptive wrapping technique is proposed in this paper to migrate legacy Energy Management System (EMS) modules into reusable components, and therefore transforming th...
Qing Zhao, Hoh In, Xiaowei Wu, Garng M. Huang
SIGSOFT
2003
ACM
16 years 7 months ago
Protecting C programs from attacks via invalid pointer dereferences
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
Suan Hsi Yong, Susan Horwitz
225
Voted
AOSD
2009
ACM
15 years 11 months ago
The dataflow pointcut: a formal and practical framework
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, ...
229
Voted
WOSP
2004
ACM
16 years 8 days ago
Computing the performability of layered distributed systems with a management architecture
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
Olivia Das, C. Murray Woodside