6201 search results - page 1097 / 1241 » Implementation of Axiomatic Language |
152
click to vote
IJNSEC
2006
15 years 6 months ago
2006
The main back-bone operation in elliptic curve cryptosystems is scalar point multiplication. The most frequently used method implementing the scalar point multiplication which is ...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we analyse the requirements of performing parallel transaction-oriented simulations within loosely coupled systems like Ad Hoc Grids. We focus especially on the spac...
173
Voted
JCM
2008
15 years 6 months ago
2008
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
125
click to vote
JDCTA
2008
15 years 6 months ago
2008
Tourism industry is one of the important sources of income in many countries. The appropriate and quick submission of primary information such as address of hotels to the tourists...
189
Voted
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...