Journal: J. UCS

Volume 10, Issue 9

1034 -- 0Hermann A. Maurer. Managing Editor s Column
1035 -- 1064Sandra de Amo, Mirian Halfeld Ferrari Alves. Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators
1065 -- 1109Pasquale De Meo, Giorgio Terracina, Domenico Ursino. X-Global: a System for the Almost Automatic and Semantic Integration of XML Sources at Various Flexibility Levels
1110 -- 1122Heinz Dreher, Harald Krottmaier, Hermann A. Maurer. What we Expect from Digital Libraries
1123 -- 1155Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft. Object-Oriented Embedded System Development Based on Synthesis and Reuse of OO-ASIPs
1156 -- 1198Stéphane Lafrance. Symbolic Approach to the Analysis of Security Protocols
1199 -- 1211Rajasvaran Logeswaran. Fast Two-Stage Lempel-Ziv Lossless Numeric Telemetry Data Compression Using a Neural Network Predictor
1239 -- 1249Joerg R. Muehlbacher. Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p
1250 -- 1271Madhu Mutyam, Vaka Jaya Prakash, Kamala Krithivasan. Rewriting Tissue P Systems
1272 -- 1293James F. Power, David Sinclair. A Formal Model of Forth Control Words in the Pi-Calculus
1294 -- 1301Sergiu Rudeanu. On the Decomposition of Boolean Functions via Boolean Equations
1302 -- 1324José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro. ADDS: A Document-Oriented Approach for Application Development
1325 -- 1353Spyros Sioutas, Christos Makris, Nectarios Kitsios, George Lagogiannis, John Tsaknakis, Kostas Tsichlas, Bill Vassiliadis. Geometric Retrieval for Grid Points in the RAM Model