577 search results - page 55 / 116 » Engineering Sufficiently Secure Computing |
130
click to vote
ESSOS
2010
Springer
15 years 12 months ago
2010
Springer
Malware is every malicious code that has the potential to harm any computer or network. The amount of malware is increasing faster every year and poses a serious security threat. H...
106
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...
129
click to vote
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
100
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
Design, control, and performance of a ball-throwing robot are examined in this paper. The objective of this project is to provide an interactive ball-throwing robotic arm for illu...
125
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...