44 search results - page 6 / 9 » Using equivalence-checking to verify robustness to denial of... |
DSN
2008
IEEE
14 years 1 months ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes how the curriculum and course format at the Air Force Institute of Technology (AFIT) has evolved based on our experience with the highly-successful Cyber Defe...
ATAL
2003
Springer
14 years 20 days ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The multimedia communication is rapidly converging towards Voice over Internet – commonly known as Voice over Internet Protocol (VoIP). Session Initiation Protocol (SI...
ACL
2010
13 years 5 months ago
2010
Speech recognition affords automobile drivers a hands-free, eyes-free method of replying to Short Message Service (SMS) text messages. Although a voice search approach based on te...