3400 search results - page 502 / 680 » tools 2008 |
277
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
135
click to vote
INFOCOM
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— Spelling errors when typing a URL can be exploited by website-squatters: users are led to phony sites in a phenomenon we call parasitic URL naming. These phony sites im...
163
click to vote
SOSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Various security and privacy issues have emerged from the SOA healthcare platform. Large amounts of personal data are transmitted daily through the SOA healthcare platform. For se...
143
click to vote
IEEEARES
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we propose an FDB based intra-Domain Traceback System (FDB-DTS), which is a hybrid traceback system composed of packet digesting boxes and an iterative query engine...
177
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
: The Software Engineering community has been trying to get fast and accurate software estimations for many years. Most of the proposed methods require historical information and/o...