2838 search results - page 180 / 568 » Verifying Controlled Components |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
It has been asserted previously by the author that optimal control theory can be a valuable framework for theoretical studies about the shape that a wind instrument should have in...
IAT
2010
IEEE
13 years 8 months ago
2010
IEEE
It is crucial for embedded systems to adapt to the dynamics of open environments. This adaptation process becomes especially challenging in the context of multiagent systems. In t...
ARESEC
2011
12 years 10 months ago
2011
—The concept of risk-based adaptive access control (RAdAC, pronounced Raid-ack) has been recently introduced in the literature. It seeks to automatically (or semi-automatically) ...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
SIPS
2007
IEEE
14 years 5 months ago
2007
IEEE
System-on-Chip (SoC) designs become more complex nowadays. The communication between each processing element often suffers challenges due to the wiring problem. Networks-on-Chip (...