Sciweavers

907 search results - page 62 / 182
» Monitoring of Real-Time Properties
Sort
View
126
Voted
AIPR
2000
IEEE
15 years 7 months ago
Tomographic Reflection to Merge Ultrasound Images with Direct Vision
Tomographic reflection is a method that may be used to merge the visual outer surface of a patient with a simultaneous ultrasound scan of the patient’s interior. The technique c...
George D. Stetten, Vikram S. Chib, Robert J. Tambu...
HICSS
2009
IEEE
107views Biometrics» more  HICSS 2009»
15 years 10 months ago
EM Enforcing Information Flow Properties using Compensating Events
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
Thoshitha T. Gamage, Bruce M. McMillin
ICVS
2003
Springer
15 years 8 months ago
A Software Architecture for Distributed Visual Tracking in a Global Vision Localization System
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
Sinisa Segvic, Slobodan Ribaric
131
Voted
DSN
2009
IEEE
15 years 10 months ago
System safety as an emergent property in composite systems
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
Jennifer Black, Philip Koopman
EXACT
2008
15 years 5 months ago
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
Theocharis Tsigkritis, George Spanoudakis