2838 search results - page 151 / 568 » Verifying Controlled Components |
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Fast sensory-motor processing is challenging when using traditional frame-based cameras and computers. Here we show how a hybrid neuromorphic-procedural system consisting of an ...
TRUSTBUS
2004
Springer
14 years 3 months ago
2004
Springer
The functioning of modern IT-systems with autonomously acting components requires an elaborate access control system in which each participant can maintain her own trust structure....
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
Inter-organizational controls are mechanisms used to ensure and monitor that networked enterprises do not commit a fraud and behave as agreed. Many of such controls have, apart fro...
IWSAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...