6554 search results - page 1260 / 1311 » Constraint Logic Programming |
150
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
127
click to vote
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
132
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
117
click to vote
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
158
click to vote
IWCMC
2006
ACM
15 years 9 months ago
2006
ACM
Due to the growing interest in mobile wireless Ad-Hoc networks’ (MANETs) applications, researchers have proposed many routing protocols that differ in their objective. Energy ef...