4013 search results - page 346 / 803 » computer 2002 |
180
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Prolonged secure communication requires trust relationships that extend throughout a connection’s life cycle. Current tools to establish secure connections such as SSL/TLS and S...
150
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
The execution of distributed applications involving mobile terminals and fixed servers connected by wireless links raises the need for handling network disconnections, both invol...
151
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
157
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
Realism of rendered human skin can be strongly enhanced by taking into account skin wrinkles. However, modeling wrinkles is a difficult task, and considerable time and effort are ...
178
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
Java is the predominant language for mobile agent systems, both for implementing mobile agent execution environments and for writing mobile agent applications. This is due to inhe...