224 search results - page 31 / 45 » An Information Flow Verifier for Small Embedded Systems |
CSREASAM
2009
13 years 8 months ago
2009
Virtually all modern organizations have embedded information systems and networking technologies into their core business processes as a means to increase operational efficiency, i...
MMS
2008
13 years 7 months ago
2008
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...
KES
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In Japan, a Group Home which offers home-based care service for elderly persons who suffer from dementia have been increased. Even though the small community of the home ...
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
WORDS
2003
IEEE
14 years 24 days ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...