8838 search results - page 370 / 1768 » Generalizing Domain Theory |
194
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...
184
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
169
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryp...
197
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
130
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
A DCT-based simplified general structure for linear phase paraunitary filter bank (LPPUFB) is developed recently by the pre- and post-processing of the DCT in the time domain. The...