955 search results - page 176 / 191 » Model Checking Operator Procedures |
PRL
2007
13 years 10 months ago
2007
Government agencies are investing a considerable amount of resources into improving security systems as result of recent terrorist events that dangerously exposed flaws and weakn...
IPCAI
2010
13 years 8 months ago
2010
The Camera Augmented Mobile C-arm (CamC) system that augments a regular mobile C-arm by a video camera provides an overlay image of X-ray and video. This technology is expected to ...
TIP
2008
13 years 10 months ago
2008
Image segmentation remains an important, but hard-to-solve, problem since it appears to be application dependent with usually no a priori information available regarding the image ...
WCRE
2003
IEEE
14 years 4 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...