3516 search results - page 548 / 704 » Integrating Security Modeling into Embedded System Design |
185
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
145
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
182
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...
153
click to vote
WSC
2000
15 years 7 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
152
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
The integration of distributed, data dependent components requires a data synchronisation model. We consider a class of systems where data-dependent components produce data in dis...