799 search results - page 2 / 160 » Refinement and Separation Contexts |
SIGSOFT
2003
ACM
13 years 10 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
ENTCS
2008
13 years 5 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
SIAMCOMP
2000
13 years 5 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
IJCAI
2001
13 years 6 months ago
2001
We present a machine learning algorithm for refining the structure of a stochastic context
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...