To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
Fast and Automatic Verification of Authentication and Key Exchange Protocols |
|
Author |
|
| Citation |
Vol. 11 No. 4 pp. 1-13 |
|
Keywords |
Security Verification Method, Authentication and Key Exchange Protocols, Verification Points, Bellare et al.'s Model |
|
Title |
On the Design of Job Scheduling Strategy Using Agent Replication for Computational Grids |
|
Author |
|
| Citation |
Vol. 11 No. 3 pp. 269-276 |
|
Keywords |
Agents, Mobile agents, Resources scheduling, Response time, Grid load, Speedup |
|
Title |
iOS Applications to Improve Learning and Management System in a University Campus |
|
Author |
Mario Collotta, Giovanni Pau, Valerio Mario Salerno, Gianfranco Scat? |
| Citation |
Vol. 11 No. 3 pp. 262-268 |
|
Keywords |
iOS, iPhone, iPod, iPad, educational |
|
Title |
The Lagrange Interpolation Polynomial for Neural Network Learning |
|
Author |
|
| Citation |
Vol. 11 No. 3 pp. 255-261 |
|
Keywords |
Interpolation polynomial, Lagrange Interpolation, Lagrange neural network, neural learning, Lagrange learning, Denoising, Neural denoising |
