3516 search results - page 256 / 704 » Integrating Security Modeling into Embedded System Design |
103
click to vote
TACAS
1995
Springer
15 years 7 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
146
click to vote
ASE
2008
15 years 3 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
155
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
140
click to vote
VRST
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiol...
127
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Some emerging applications require programs to maintain sensitive state on untrusted hosts. This paper presents the architecture and implementation of a trusted database system, T...