1992 search results - page 314 / 399 » On the (limited) power of non-equivocation |
114
click to vote
CF
2006
ACM
15 years 5 months ago
2006
ACM
The slowing pace of commodity microprocessor performance improvements combined with ever-increasing chip power demands has become of utmost concern to computational scientists. As...
108
click to vote
FASE
2006
Springer
15 years 5 months ago
2006
Springer
Statistical debugging is a powerful technique for identifying bugs that do not violate programming rules or program invariants. Previously known statistical debugging techniques ar...
118
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
Code injections attacks are one of the most powerful and important classes of attacks on software. In such attacks, the attacker sends malicious input to a software application, w...
134
click to vote
MOBISYS
2008
ACM
15 years 4 months ago
2008
ACM
Mobile phones have evolved into complex systems as they have more and more new applications built-in. As a result, they are less reliable and less secure than before. Virtual Mach...
112
click to vote
ALGOSENSORS
2008
Springer
15 years 3 months ago
2008
Springer
With the current progress in robot technology and related areas, sophisticated moving and sensing capabilities are at hand to design robots capable of solving seemingly complex tas...