536 search results - page 30 / 108 » A computer verified, monadic, functional implementation of t... |
174
click to vote
ACSAC
2007
IEEE
16 years 11 days ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
177
click to vote
RTCSA
2006
IEEE
16 years 23 hour ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
173
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
189
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
149
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...