624 search results - page 95 / 125 » Application of Lightweight Formal Methods to Software Securi... |
IUI
2005
ACM
15 years 5 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
115
click to vote
INTERACTION
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
102
click to vote
WISTP
2010
Springer
14 years 9 months ago
2010
Springer
Although many countermeasures have been developed for desktop and server environments, buffer overflows still pose a big threat. The same approach can be used to target mobile devi...
KDD
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we describe the development of a fielded application for detecting malicious executables in the wild. We gathered 1971 benign and 1651 malicious executables and enc...
120
click to vote
ISSA
2004
15 years 1 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...