624 search results - page 71 / 125 » Application of Lightweight Formal Methods to Software Securi... |
114
click to vote
ECSA
2010
Springer
15 years 28 days ago
2010
Springer
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
129
click to vote
TES
2001
Springer
15 years 4 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
WETICE
1999
IEEE
15 years 4 months ago
1999
IEEE
The Internet, the World Wide Web, JavaTM technology, and software components are changing the software business. Activities traditionally constrained by the need for intense infor...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
118
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...