Sciweavers

2039 search results - page 120 / 408
» Teaching Standards to Engineers
Sort
View
SIGOPSE
2004
ACM
15 years 12 months ago
Secure bootstrap is not enough: shoring up the trusted computing base
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
James Hendricks, Leendert van Doorn
MICAI
2009
Springer
15 years 11 months ago
Planning for Conditional Learning Routes
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
GLVLSI
1999
IEEE
90views VLSI» more  GLVLSI 1999»
15 years 10 months ago
A Memory Design in QCAs using the SQUARES Formalism
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
Daniel Berzon, Terry J. Fountain
COMSIS
2007
166views more  COMSIS 2007»
15 years 6 months ago
Prototype environment for controller programming in the IEC 61131-3 ST language
A prototype compiler of the ST language (Structured Text), its operation and internal structure is presented. The compiler is a principal part of CPDev engineering environment for ...
Dariusz Rzonca, Jan Sadolewski, Bartosz Trybus
SOFTVIS
2003
ACM
15 years 11 months ago
Nice Class Diagrams Admit Good Design?
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
Holger Eichelberger