2958 search results - page 401 / 592 » Extending and Implementing RASP |
110
click to vote
ACISP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A feasible solution to prevent potential misuse of signatures is to put some restrictions on their verification. Therefore S.J.Kim, S.J.Park and D.H.Won introduced the n...
131
click to vote
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
128
Voted
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
104
Voted
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
114
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
Work on agent development frameworks, toolkits and methodologies have recently reached to such a level that ordinary organizations can develop their own multi-agent platforms easi...