1090 search results - page 173 / 218 » Case Study: Componentization of an Industrial Control System |
162
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
134
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
153
click to vote
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
While context-awareness has been found to be effective for decision support in complex domains, most of such decision support systems are hard-coded, incurring significant develop...
147
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
Clicking is a key feature any interaction input system needs to provide. In the case of 3D input devices, such a feature is often difficult to provide (e.g. vision-based, or trac...
166
click to vote
TMC
2011
14 years 11 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...