16430 search results - page 821 / 3286 » On Computable Tree Functions |
191
click to vote
ISSAC
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
210
click to vote
MMMACNS
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes a novel approach for preventative protection from both known and previously unknown malicious software. It does not rely on screening the code for signatures ...
218
click to vote
SG
2004
Springer
16 years 27 days ago
2004
Springer
This paper describes in details the implementation of the ActiveCube system. ActiveCube allows users to construct and interact with 3D environments by using physical cubes as bi-di...
192
click to vote
EUROCRYPT
2010
Springer
16 years 11 days ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
214
click to vote
FPL
2009
Springer
16 years 5 days ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...