2838 search results - page 180 / 568 » Verifying Controlled Components |
90
Voted
CORR
2010
Springer
15 years 23 days 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...
126
click to vote
IAT
2010
IEEE
14 years 10 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...
111
Voted
ARESEC
2011
14 years 20 days 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) ...
85
Voted
IPPS
2007
IEEE
15 years 7 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...
106
Voted
SIPS
2007
IEEE
15 years 7 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 (...