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