Sciweavers

3914 search results - page 567 / 783
» Automating SLA modeling
Sort
View
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 4 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
CVPR
1998
IEEE
16 years 8 months ago
Interactive Sensor Planning
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
Ioannis Stamos, Peter K. Allen
ICCV
2007
IEEE
16 years 8 months ago
3D Variational Brain Tumor Segmentation using a High Dimensional Feature Set
Tumor segmentation from MRI data is an important but time consuming task performed manually by medical experts. Automating this process is challenging due to the high diversity in...
Albert Murtha, Dana Cobzas, Mark Schmidt, Martin J...
ICCV
2001
IEEE
16 years 8 months ago
Human Tracking with Mixtures of Trees
Tree-structured probabilistic models admit simple, fast inference. However, they are not well suited to phenomena such as occlusion, where multiple components of an object may dis...
Sergey Ioffe, David A. Forsyth
ICPR
2000
IEEE
16 years 7 months ago
Tracking Humans from a Moving Platform
Research at the Computer Vision Laboratory at the University of Maryland has focussed on developing algorithms and systems that can look at humans and recognize their activities i...
Larry S. Davis, Vasanth Philomin, Ramani Duraiswam...