Journal: J. UCS

Volume 4, Issue 9

718 -- 0Hermann A. Maurer. Managing Editor s Column
719 -- 736Giuseppe Attardi, Sergio Di Marco, Davide Salvi. Categorisation by Context
737 -- 747Ezio Berenci, Claudio Carpineto, Vittorio Giannini. Improving the Effectiveness of WEB Search Engines Using Selectable Views of Retrieval Results
748 -- 762Anna Hester, Renato Borges, Roberto Ierusalimschy. Building Flexible and Extensible Web Applications with Lua
763 -- 778Binzhang Liu, Edward A. Fox. Web Traffic Latency: Characteristics and Implications

Volume 4, Issue 8

669 -- 0Hermann A. Maurer. Managing Editor s Column
670 -- 674Lane A. Hemaspaandra, Christopher Nasipak, Keith Parkins. A Note on Linear-Nondeterminism, Linear-Sized, Karp-Lipton Advice for the P-Selective Sets
675 -- 689Ville Leppänen. Balanced PRAM Simulations via Moving Threads and Hashing
690 -- 704Wakaha Ogata, Kaoru Kurosawa. Some Basic Properties of General Nonperfect Secret Sharing Schemes
705 -- 717Daniel Olejar, Martin Stanek. On Cryptographic Properties of Random Boolean Functions

Volume 4, Issue 7

629 -- 0Hermann A. Maurer. Managing Editor s Column
630 -- 651Alberto Faro, Daniela Giordano, Corrado Santoro. Link-based Shaping of Hypermedia Webs Assisted by a Neural Agent
652 -- 668Reinhard Posch. Protecting Devices by Active Coating

Volume 4, Issue 6

560 -- 0Hermann A. Maurer. Managing Editor s Column
561 -- 573Roberto Barrio, Jean-Claude Berges. Perturbation Simulations of Rounding Errors in the Evaluation of Chebyshev Series
589 -- 603Frédéric Messine, Jean-Louis Lagouanelle. Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization
604 -- 628Samuel A. Rebelsky, Fillia Makedon, Panagiotis Takis Metaxas, James Ford, Charles B. Owen, Peter A. Gloor. The Roles of Video in the Design, Use, and Construction of Interactive Electronic Conference Proceedings

Volume 4, Issue 5

484 -- 485Hermann A. Maurer. Managing Editor s Column
486 -- 500Ronald Cools, Bart Maerten. A Hybrid Subdivision Strategy for Adaptive Integration
501 -- 521Erik Duval, Koen Hendrikx, Henk J. Olivié. Building Hypermedia with Objects and Sets
522 -- 533Michael Franz. Open Standards Beyond Java: On the Future of Mobile Code for the Internet
534 -- 546Sabine Volbracht, Gitta Domik, Khatoun Shahrbabaki, Gregor Fels. An Example of Task Oriented Empirical Evaluations of 3D-Display Modes
547 -- 559Ralf Wastl. On the Number of Keys of a Relational Database Schema

Volume 4, Issue 4

326 -- 329Patricia A. Carlson. Assessment Issues for Educational Software
330 -- 348Mary E. Hopper. Assessment in WWW-Based Learning Systems: Opportunities and Challenges
349 -- 381Daniela Giordano. Bridging Qualitative and Quantitative Approaches in Evaluating the Educational Effectiveness of a Shared Design Memory
382 -- 403Emilia Mendes, Wendy Hall, Rachel Harrison. Applying Metrics to the Evaluation of Educational Hypermedia Applications
429 -- 448Peter Brusilovsky, John Eklund. A Study of User Model Based Link Annotation in Educational Hypermedia
461 -- 465Sabine Volbracht, Gitta Domik, Dorothea Backe-Neuwald, Hans-Dieter Rinkens. The City Game: An Example of a Virtual Environment for Teaching Spatial Orientation
466 -- 483Douglas C. Williams, Susan Pedersen, Min Liu. An Evaluation of the Use of Problem-Based Learning Software By Middle School Students

Volume 4, Issue 3

210 -- 215Patricia A. Carlson. Advanced Educational Technologies - Promise and Puzzlement
216 -- 247Esma Aïmeur. Application and Assessment of Cognitive-dissonance Theory in the Learning Process
248 -- 258Kathy Buckner, Mark Gillham. A Comparative Evaluation of Print and Electronic Reviews of Multimedia Information Products
259 -- 272Vassilis Makrakis, Symeon Retalis, Anastasios Koutoumanos, Nikolaos Papaspyrou, Manolis Skordalakis. Evaluating the Effectiveness of an ODL Hypermedia System and Courseware at the National Technical University of Athens: A Case Study
273 -- 291Steve McGee, Bruce Howard. Evaluating Educational Multimedia in the Context of Use
292 -- 307Heli Ruokamo, Seppo Pohjolainen. Pedagogical Principles for Evaluation of Hypermedia-Based Learning Environments in Mathematics
308 -- 325Christine W. Thackaberry, Roy Rada. Estimation Metrics for Courseware Maintenance Effort

Volume 4, Issue 2

89 -- 0Jean-Michel Muller. Foreword to the special issue
90 -- 98R. Aïd, L. Testard, Gilles Villard. Global Error Visualization
99 -- 109Hesham A. Al-Twaijry, Stuart F. Oberman, Steve T. Fu, Michael J. Flynn. The SNAP Project: Building Validated Floating Point
110 -- 113Roumen Anguelov. Spline-Fourier Approximations of Discontinuous Waves
114 -- 124Zbigniew Galias. Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
125 -- 146Laurent Granvilliers. A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems
147 -- 163Walter Krämer. Constructive Error Analysis
164 -- 170Frantisek Mráz, Martin Kursch, Daniel Panuska. Pascal Subroutines for Solving Some problems in Interval LP
171 -- 177Yusuke Nakaya, Shin ichi Oishi. Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy
178 -- 192Markus Neher. Enclosing Solutions of an Inverse Sturm-Liouville Problem for an Impedance
193 -- 201Shin ichi Oishi. Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems
202 -- 209Robert Rihm. Implicit Methods for Enclosing Solutions of ODEs

Volume 4, Issue 11

824 -- 0Hermann A. Maurer. Managing Editor s Column
825 -- 838Maria da Graça Campos Pimentel, João Benedito dos Santos Jr., Renata Pontin de Mattos Fortes. Supporting Structured Teaching Material in the WWW
839 -- 855Yin Leng Theng, Harold W. Thimbleby. Addressing Design and Usability Issues in Hypertext and on the World Wide Web by Re-Examining the Lost in Hyperspace Problem
856 -- 864Bernhard Zwantschko, Dieter Freismuth, Klaus Schmaranz. Telematic Platform for Patient Oriented Services
865 -- 0Hermann A. Maurer. Managing Editor s Column
866 -- 882Lutz Prechelt, Christian Krämer. Functionality versus Practicality: Employing Existing Tools for Recovering Structural Design Patterns
883 -- 897Ralf Wastl. Linear Derivations for Keys of a Database Relation Schema

Volume 4, Issue 10

779 -- 0Hermann A. Maurer. Managing Editor s Column
780 -- 791Christian Langenbach, Freimut Bodendorf. An Education Broker Toolset for Web Course Customization
792 -- 806Philip M. Marden Jr., Ethan V. Munson. PSL: An Alternate Approach to Style Sheet Languages for the World Wide Web
807 -- 823Kåre Synnes, Serge Lachapelle, Peter Parnes, Dick Schefström. Distributed Education Using the mStar Environment

Volume 4, Issue 1

1 -- 0Jean-Michel Muller. Foreword to the special issue
2 -- 10Jean Marie Chesneaux, Fabienne Jézéquel. Dynamical Control of Computations Using the Trapezoidal and Simpson s Rules
11 -- 15Jürgen Wolff von Gudenberg. Java for Scientific Computing, Pros and Cons
16 -- 24Bruno Lang. Verified Quadrature in Determining Newton s Constant of Gravitation
25 -- 33Wolfram Luther, Werner Otten. Reliable Computation of Elliptic Functions
34 -- 47Svetoslav Markov. On the Algebra of Intervals and Convex Bodies
48 -- 67Evgenija D. Popova. Algebraic Solutions to a Class of Interval Equations
68 -- 81G. Rex. Componentwise Distance to Singularity
82 -- 88Fabiana Zamora Wilke, Beatriz Regina Tavares Franciosi, Paulo Werlang Oliveira, Dalcidio Moraes Claudio. Modelling the Measurement Uncertainty by Intervals