Sciweavers

2838 search results - page 33 / 568
» Verifying Controlled Components
Sort
View
JISE
2006
70views more  JISE 2006»
13 years 8 months ago
Control Component Development of Information Appliances on Networks
Po-Cheng Huang, Kuan-Rong Lee, Wei-Tsung Su, Yau-H...
COMPUTER
1998
75views more  COMPUTER 1998»
13 years 8 months ago
Security Control for COTS Components
Qun Zhong, Nigel Edwards
ICINCO
2010
183views Robotics» more  ICINCO 2010»
13 years 6 months ago
Reusable State Machine Components for Embedded Control Systems
Krzysztof Sierszecki, Feng Zhou, Christo Angelov
DAIS
2003
13 years 10 months ago
Jironde: A Flexible Framework for Making Components Transactional
Abstract. It is generally agreed that one of the key services of componentbased systems are transactions. However, an agreement on how components should be involved in transactions...
Marek Prochazka