8770 search results - page 1273 / 1754 » Named Service Networking |
192
Voted
ICDCSW
2002
IEEE
16 years 11 days ago
2002
IEEE
In the near future, there will be increasingly powerful computers in smart cards, telephones, and other information appliances. This will create a massive infrastructure composed ...
172
click to vote
COORDINATION
1999
Springer
15 years 11 months ago
1999
Springer
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
182
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes an architecture and runtime system to implement distributed control and data processing applications in a thin-client manner, suitable for implementing a thin...
171
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
193
click to vote
ACISP
1998
Springer
15 years 11 months ago
1998
Springer
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...