2935 search results - page 92 / 587 » An Integrated Approach to High Integrity Software Verificati... |
122
click to vote
NOMS
2000
IEEE
15 years 8 months ago
2000
IEEE
ot only high level description of abstract policy, but also enables such policy to be refined and eventually mapped into an appropriate configuration for controlling devices in the...
119
click to vote
ACE
2004
15 years 5 months ago
2004
This paper contributes to the ongoing dialogue about the inclusion of ethics content within computing education. It presents a brief exposition of the challenges facing the teachi...
156
click to vote
CASCON
2006
15 years 5 months ago
2006
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
125
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...
151
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...