9182 search results - page 1636 / 1837 » Requirements for Requirements Management Tools |
210
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
180
click to vote
MOBISEC
2009
Springer
16 years 1 months ago
2009
Springer
Spam is a dominant problem on email systems today. One of the reasons is the lack of infrastructure for security and trust. As Voice over IP (VoIP) communication becomes increasing...
169
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
148
click to vote
IMC
2009
ACM
16 years 1 months ago
2009
ACM
Reachability is thought of as the most basic service provided by today’s Internet. Unfortunately, this does not imply that the community has a deep understanding of it. Research...
177
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...