Sciweavers

1382 search results - page 23 / 277
» Strider: Configuration Modelling and Analysis of Complex Sys...
Sort
View
CVPR
1998
IEEE
15 years 11 months ago
Tracking People with Twists and Exponential Maps
This paper demonstrates a new visual motion estimation technique that is able to recover high degree-of-freedom articulated human body configurations in complex video sequences. W...
Christoph Bregler, Jitendra Malik
DBSEC
2009
124views Database» more  DBSEC 2009»
14 years 10 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn
HYBRID
2000
Springer
15 years 1 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
VAMOS
2010
Springer
14 years 11 months ago
Conflict Resolution Strategies During Product Configuration
During product configuration, users are prone to make errors because of complexity and lack of system knowledge. Such errors cause conflicts (i.e., incompatible choices selected) a...
Alexander Nöhrer, Alexander Egyed
NSDI
2008
15 years 1 days ago
DieCast: Testing Distributed Systems with an Accurate Scale Model
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
Diwaker Gupta, Kashi Venkatesh Vishwanath, Amin Va...