372 search results - page 51 / 75 » From Data to Events: Checking Properties on the Control of a... |
CAV
2000
Springer
14 years 29 days ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
VR
2009
IEEE
14 years 3 months ago
2009
IEEE
Posttraumatic Stress Disorder (PTSD) is reported to be caused by traumatic events that are outside the range of usual human experience including (but not limited to) military comb...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
The Gauss map projects surface normals to a unit sphere, providing a powerful visualization of the geometry of a graphical object. It can be used to predict visual events caused b...
ACNS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...
SIES
2010
IEEE
13 years 6 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...