1760 search results - page 198 / 352 » A System to Mark Programs Automatically |
118
Voted
PLDI
2006
ACM
15 years 9 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...
126
Voted
AAAI
1996
15 years 4 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
136
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
109
Voted
SAINT
2003
IEEE
15 years 8 months ago
2003
IEEE
Before Feature Reduction System (FRS) was developed, software engineers were required to use multiple independent web-based information-reporting systems when conducting multiple ...
137
click to vote
JNSM
2000
15 years 3 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...