3116 search results - page 482 / 624 » Positively dependent types |
182
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
184
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
200
click to vote
DIAGRAMS
2008
Springer
2008
Springer
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants
15 years 8 months ago
In linguistics, it is quite common to use tree diagrams for immediate constituent analysis of sentences. Traditionally, these trees are binary and twodimensional. However, phenomen...
167
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
169
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents SPA (Simple Power Analysis) attacks against public-key cryptosystems implemented on an FPGA platform. The SPA attack investigates a power waveform generated by...