3993 search results - page 540 / 799 » Matchmaking for Structured Objects |
129
click to vote
IJNSEC
2008
15 years 4 months ago
2008
The devastating consequence of secret key exposure in digital signature is that any signature can be forged and cannot be trusted. To mitigate the damage of secret key exposure, f...
123
click to vote
JAR
2008
15 years 4 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
121
click to vote
JCP
2008
15 years 4 months ago
2008
The aim of this study is to develop a computational method of discourse analysis based on corpus semantics. The objective is to achieve an accurate understanding of the debate cont...
160
click to vote
JOT
2008
15 years 4 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
140
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Fuzzy cognitive map is an approach to knowledge representation and inference; it emphasizes the connections of concepts as basic units for storing knowledge, and the structure that...