626 search results - page 54 / 126 » Abstract Modularity |
JOC
2007
13 years 8 months ago
2007
Abstract. We address one of the most fundamental problems concerning the RSA cryptosystem: does the knowledge of the RSA public and secret key-pair (e, d) yield the factorization o...
BC
1999
13 years 8 months ago
1999
Abstract. The size of a pair of cortical ocular dominance columns determines a basic anatomical module of V-1 which Hubel and Wiesel have termed the hypercolumn. Does this correspo...
IANDC
2010
13 years 7 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
FDL
2006
IEEE
14 years 14 days ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...