Sciweavers

2392 search results - page 217 / 479
» informs 2000
Sort
View
CCS
2000
ACM
15 years 9 months ago
XML document security based on provisional authorization
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encodi...
Michiharu Kudo, Satoshi Hada
CL
2000
Springer
15 years 9 months ago
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
Francisco Javier López-Fraguas, Jaime S&aac...
136
Voted
CRYPTO
2000
Springer
108views Cryptology» more  CRYPTO 2000»
15 years 9 months ago
Maximum Correlation Analysis of Nonlinear S-boxes in Stream Ciphers
Abstract. This paper investigates the design of S-boxes used for combining linear feedback shift register (LFSR) sequences in combination generators. Such combination generators ha...
Muxiang Zhang, Agnes Hui Chan
DIGITALCITIES
2000
Springer
15 years 9 months ago
Understanding Digital Cities
As a platform for community networks, information spaces using the city metaphor are being developed in worldwide. This paper comparesthe trials of digital cities. Four digital cit...
Toru Ishida
MM
1999
ACM
108views Multimedia» more  MM 1999»
15 years 9 months ago
Visual digests for news video libraries
The Informedia Digital Video Library contains over 2000 hours of video, growing at a rate of 15 hours per week. A good query engine is not sufficient for information retrieval bec...
Michael G. Christel