10 search results - page 1 / 2 » Open Source Verification under a Cloud |
ECEASST
2010
13 years 1 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
CN
2008
13 years 4 months ago
2008
Abstract-- Routers in the Internet do not perform any verification of the source IP address contained in the packets, leading to the possibility of IP spoofing. The lack of such ve...
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
CLOUD
2010
ACM
13 years 9 months ago
2010
ACM
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
LREC
2010
13 years 6 months ago
2010
The collection and transcription of speech data is typically an expensive and time-consuming task. Voice over IP and cloud computing are poised to greatly reduce this impediment t...