1078 search results - page 157 / 216 » Modelling and Verifying of e-Commerce Systems |
170
click to vote
SAINT
2003
IEEE
15 years 11 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...
152
click to vote
CHARME
2003
Springer
15 years 11 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...
177
click to vote
ISPAN
1999
IEEE
15 years 10 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...
137
click to vote
ICMCS
1997
IEEE
15 years 10 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 ...
204
click to vote
AGP
2010
IEEE
15 years 10 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...