990 search results - page 171 / 198 » A Static Analysis Technique for Graph Transformation Systems |
133
click to vote
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
143
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
SSDBM
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We define a t...
165
click to vote
CONEXT
2009
ACM
15 years 2 months ago
2009
ACM
Building on the popularity of online social networks (OSNs) such as Facebook, social content-sharing applications allow users to form communities around shared interests. Millions...
139
click to vote
PR
2008
15 years 1 months ago
2008
Head pose is an important indicator of a person's focus of attention. Also, head pose estimation can be used as the front-end analysis for multi-view face analysis. For examp...