1356 search results - page 132 / 272 » The ideal of verified software |
152
click to vote
CSMR
2007
IEEE
16 years 22 days ago
2007
IEEE
Libraries provide implementation for the concepts of a particular domain. When programmers use a library, they do not work any more with the real-world concepts but with their imp...
173
click to vote
ICON
2007
IEEE
16 years 21 days ago
2007
IEEE
—Communication is not necessarily made secure by the use of encryption alone. The mere existence of communication is often enough to raise suspicion and trigger investigative act...
182
click to vote
CODES
2006
IEEE
16 years 14 days ago
2006
IEEE
The principal objectives of next generation wireless communication are the delivery of higher data rate services including video, audio, data and voice signals with worldwide comp...
134
click to vote
CSMR
2006
IEEE
16 years 14 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
146
click to vote
STORAGESS
2006
ACM
16 years 10 days ago
2006
ACM
This paper has three goals. (1) We try to debunk several held misconceptions about secure deletion: that encryption is an ideal solution for everybody, that existing data-overwrit...