624 search results - page 81 / 125 » Application of Lightweight Formal Methods to Software Securi... |
WWW
2008
ACM
16 years 15 days ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...
100
click to vote
WWW
2005
ACM
16 years 15 days ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
100
click to vote
RAID
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
130
click to vote
FIW
1998
15 years 1 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...