2236 search results - page 182 / 448 » Secure Software Design in Practice |
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
121
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
Modularity, hierarchy, and interaction locality are general approaches to reducing the complexity of any large system. A widely used principle in achieving these goals in designin...
127
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
126
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
143
click to vote
GD
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...