Sciweavers

2935 search results - page 92 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
NOMS
2000
IEEE
15 years 8 months ago
POWER prototype: towards integrated policy-based management
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...
Marco Casassa Mont, Adrian Baldwin, Cheh Goh
ACE
2004
165views Education» more  ACE 2004»
15 years 5 months ago
Integrating Ethical Content Into Computing Curricula
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...
Tony Greening, Judy Kay, Bob Kummerfeld
CASCON
2006
162views Education» more  CASCON 2006»
15 years 5 months ago
Integrating dynamic views using model driven development
Model Driven Development is helping software developers rapidly engineer today's most sophisticated business applications. Tool support, such as the Eclipse Modeling Framewor...
R. Ian Bull
TRUST
2010
Springer
15 years 9 months ago
SBAP: Software-Based Attestation for Peripherals
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...
Yanlin Li, Jonathan M. McCune, Adrian Perrig
ISM
2005
IEEE
120views Multimedia» more  ISM 2005»
15 years 10 months ago
MML: A Language for Modeling Interactive Multimedia Applications
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
Andreas Pleuß