1205 search results - page 73 / 241 » Program Extraction from Large Proof Developments |
132
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
107
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
—Starting from the strict interpolation equations for multivariate polynomials, an upper bound is developed for the number of patterns that can be memorized by a nonlinear feedfo...
125
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
141
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
142
click to vote
IUI
2010
ACM
15 years 8 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...