1855 search results - page 4 / 371 » System Consequence |
SAFECOMP
2001
Springer
15 years 2 months ago
2001
Springer
The paper reports on the experiences with implementation of IEC 61508 in recent projects with European, North American and Japanese system vendors. The paper describes problems id...
81
Voted
SCL
2008
14 years 9 months ago
2008
We give a simple proof of the Maximum Principle for smooth hybrid control systems by reducing the hybrid problem to an optimal control problem of Pontryagin type and then by using...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
92
Voted
DIS
2007
Springer
15 years 3 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
This research-in-progress paper describes the development of a research model exploring the antecedents and consequents of CIO role effectiveness. Specifically, we argue that CIO ...