73 search results - page 9 / 15 » Unified Property Specification for Hardware Software Co-Veri... |
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
IOLTS
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
EUROMICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
ICECCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
JSW
2008
14 years 11 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...