2303 search results - page 69 / 461 » The Cryptographic Abstract Machine |
134
click to vote
SEC
2003
15 years 4 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
114
Voted
AAAI
1998
15 years 4 months ago
1998
A key problem in text summarization is finding a salience function which determines what information in the source should be included in the summary. This paper describes the use ...
120
Voted
PAA
2006
15 years 2 months ago
2006
Abstract Given the importance of implicit communication in human interactions, it would be valuable to have this capability in robotic systems wherein a robot can detect the motiva...
123
Voted
TSMC
2008
15 years 2 months ago
2008
Abstract--Practical applications call for efficient model selection criteria for multiclass support vector machine (SVM) classification. To solve this problem, this paper develops ...
117
Voted
WISA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Cryptographic algorithms are used in a large variety of different applications to ensure security services. It is, thus, very interesting to investigate various implement...