1111 search results - page 177 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
152
click to vote
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
115
click to vote
IJISEC
2008
15 years 2 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
115
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Result...
131
click to vote
KDD
2005
ACM
16 years 2 months ago
2005
ACM
We propose a new algorithm for dimensionality reduction and unsupervised text classification. We use mixture models as underlying process of generating corpus and utilize a novel,...
107
click to vote
JLP
2008
15 years 2 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...