2236 search results - page 181 / 448 » Secure Software Design in Practice |
121
click to vote
CSSE
2006
IEEE
15 years 4 months ago
2006
IEEE
The recent investigation of privacy-preserving data mining has been motivated by the growing concern about the privacy of individuals when their data is stored, aggregated, and mi...
137
click to vote
FAC
2006
15 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
123
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
144
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
131
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...