2838 search results - page 164 / 568 » Verifying Controlled Components |
ICETET
2009
IEEE
13 years 8 months ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
MLMI
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present a meeting state recognizer based on a combination of multi-modal sensor data in a smart room. Our approach is based on the training of a statistical model ...
AICT
2006
IEEE
14 years 4 months ago
2006
IEEE
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...