Sciweavers

8623 search results - page 177 / 1725
» Software engineering for secure systems
Sort
View
CBSE
2005
Springer
16 years 17 days ago
A Contracting System for Hierarchical Components
Philippe Collet, Roger Rousseau, Thierry Coupaye, ...
137
Voted
ICFEM
2003
Springer
16 years 7 days ago
Verification of Timeliness QoS Properties in Multimedia Systems
Behzad Bordbar, Kozo Okano
220
Voted
CCS
2006
ACM
15 years 10 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen