2049 search results - page 278 / 410 » Normalization and Partial Evaluation |
153
click to vote
RAID
2010
Springer
15 years 3 months ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
129
Voted
TMI
2010
15 years 3 months ago
2010
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...
142
click to vote
ACSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Worms propagating in online social networking (OSN) websites have become a major security threat to both the websites and their users in recent years. Since these worms exhibit un...
145
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
165
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...