8874 search results - page 1610 / 1775 » A New Implementation of Automath |
144
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
150
Voted
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
162
click to vote
HIPEAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Iterative compilation is an efficient approach to optimize programs on rapidly evolving hardware, but it is still only scarcely used in practice due to a necessity to gat...
165
Voted
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
158
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...