搜索结果: 1-5 共查到“reachability”相关记录5条 . 查询时间(0.049 秒)
SecReach: Secure Reachability Computation on Encrypted Location Check-in Data
reachability location privacy homomorphic encryption
2017/8/2
Reachability, which answers whether one person is reachable from another through a sequence of contacts within a period of time, is of great importance in many domains such as social behavior analysis...
The Set Constraint/CFL Reachability Connection in Practice
Set constraints context-free language reachability flow analysis type qualifiers
2016/5/24
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new reduction from Dyck-CFL r...
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
Backward reachability of Colored Petri Nets for systems diagnosis
Colored Petri Nets (CPN) Backward reachability Structural analysis Dependability Embedded systems Diagnosis
2012/4/22
Embedded systems development creates a need of new design, verification and validation technics. Formal methods appear as a very interesting approach for embedded systems analysis, especially for depe...
A stochastic reachability approach to portfolio construction in finance industry
stochastic reachability finance industry
2010/11/1
In nance industry portfolio construction deals with how to divide the investors wealth across an asset-classes' menu in order to maximize the investors' gain. Main approaches in use at the present ar...