3239 search results - page 326 / 648 » A Logical Process Calculus |
130
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
134
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
252
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
142
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...
158
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...