1257 search results - page 173 / 252 » Open Source Requirements Engineering |
162
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
120
click to vote
EDBTW
2010
Springer
15 years 8 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...
133
click to vote
ACSW
2006
15 years 4 months ago
2006
Current IEEE 802.11 wireless networks are vulnerable to session hijacking attacks as the existing standards fail to address the lack of authentication of management frames and net...
144
click to vote
IM
2007
15 years 2 months ago
2007
This paper describes Armil, a meta-search engine that groups the web snippets returned by auxiliary search engines into disjoint labeled clusters. The cluster labels generated by A...
153
click to vote
ESEM
2010
ACM
15 years 1 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...