39039 search results - page 20 / 7808 » Implementation of the |
FPL
2000
Springer
13 years 11 months ago
2000
Springer
abstract the dynamic nature of a computation to embedded data memory (which is accessible on-chip). The dynamic nature of a computation corresponds to the dynamic features of its i...
CARDIS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we describe the first implementation on smartcard of the code-based authentication protocol proposed by Stern at Crypto'93 and we give a securization o...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
ACL
2006
13 years 9 months ago
2006
In this paper, we propose an implementable characterization of genre suitable for automatic genre identification of web pages. This characterization is implemented as an inferenti...
ECIS
2004
13 years 9 months ago
2004
The continuing soar in popularity when it comes to standardized information systems sold en masse under the labelling of Enterprise Resource Planning (ERP) Systems is somewhat kep...