7456 search results - page 1177 / 1492 » Parallelism in Logic Programs |
242
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
179
click to vote
IFIP
2009
Springer
15 years 3 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
188
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
202
click to vote
IFIP
2010
Springer
15 years 26 days ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
127
click to vote
TCAD
2010
15 years 22 days ago
2010
Crosstalk faults have emerged as a significant mechanism for circuit failure. Long signal nets are of particular concern because they tend to have a higher coupling capacitance to...