577 search results - page 55 / 116 » Engineering Sufficiently Secure Computing |
174
click to vote
ESSOS
2010
Springer
16 years 2 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...
134
click to vote
DAC
2007
ACM
16 years 7 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...
167
click to vote
CCECE
2006
IEEE
16 years 2 days 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 ...
137
click to vote
ICRA
2002
IEEE
15 years 11 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...
157
click to vote
AOSD
2007
ACM
15 years 10 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 ...