1078 search results - page 157 / 216 » Modelling and Verifying of e-Commerce Systems |
140
click to vote
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
130
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
152
click to vote
ISPAN
1999
IEEE
15 years 8 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
115
click to vote
ICMCS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...
180
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...