12084 search results - page 2187 / 2417 » Effect Systems with Subtyping |
147
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Wireless sensor networks have been proposed for many location-dependent applications. In such applications, the requirement of low system cost prohibits many range-based methods f...
125
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Kernel rootkits have posed serious security threats due to their stealthy manner. To hide their presence and activities, many rootkits hijack control flows by modifying control d...
145
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...
132
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
141
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
In modern digital ICs, the increasing demand for performance and throughput requires operating frequencies of hundreds of megahertz, and in several cases exceeding the gigahertz r...