4761 search results - page 756 / 953 » Performance of Protocols |
118
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a new efficient and secure micro-payment scheme, named e-coupons, which can provide the users the facility of delegating their spending capability to oth...
139
Voted
ACSD
2007
IEEE
15 years 5 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
117
Voted
DOA
2000
15 years 5 months ago
2000
The Mobile Agent (MA) paradigm proposes several attractive solutions to deal with the problems of networkcentric programming. Despite the availability of several MA platforms, the...
120
Voted
CONCURRENCY
2000
15 years 3 months ago
2000
The Virtual Interface (VI) architecture has become the industry standard for user-level network interfaces. This paper presents the implementation and evaluation of Javia, a Java ...
129
Voted
IJCIS
1998
15 years 3 months ago
1998
Abstracting from basic communication mechanisms such as transactionally secure remote procedure calls and remote database access mechanisms, this includes service trading and bro...