2498 search results - page 274 / 500 » A tool for materials exploration |
191
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
Generating hypermedia presentations requires processing constituent material into coherent, unified presentations. One large challenge is creating a generic process for producing ...
174
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
187
click to vote
MAS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
163
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
170
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
Query optimizers that explore a search space exhaustively using transformation rules usually apply all possible rules on each alternative, and stop when no new information is prod...