4426 search results - page 850 / 886 » Concurrent Constraint Programming |
140
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
156
Voted
KBSE
2007
IEEE
15 years 10 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...
131
Voted
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
1 High temperature has become a major problem for system-on-chip testing. In order to reduce the test time while keeping the temperature of the chip under test within a safe range,...
133
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...
124
Voted
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...