2392 search results - page 395 / 479 » informs 2000 |
ADBIS
2000
Springer
14 years 1 months ago
2000
Springer
Research in spatio-temporal databases has largely focused on extensions of access methods for the proper handling of time changing spatial information. In this paper, we present th...
CARDIS
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
ER
2000
Springer
14 years 1 months ago
2000
Springer
The need for descriptive information, i.e., metadata, about Web resources has been recognized in several application contexts (e.g., digital libraries, portals). The Resource Descr...
ER
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The popularity and press surrounding the release of XML has created widespread interest in standards within particular communities that focus on representing content. The...