3516 search results - page 421 / 704 » Integrating Security Modeling into Embedded System Design |
140
click to vote
TCAD
2002
15 years 4 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
149
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
148
click to vote
JCS
2008
15 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
123
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
People strive to obtain self-knowledge. A class of systems called personal informatics is appearing that help people collect and reflect on personal information. However, there is...
123
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
Ubiquitous communication will be one of the paradigms for the next decades. The use of the Internet in such applications demands for a highly reliable and secure system, especiall...