Publications

The School of Computing Science was originally founded in 1957 as the Computing Laboratory and has published thousands of publications. At that time Newcastle University was part of Durham University and known as King's College. In 1963 King's College became the University of Newcastle upon Tyne, and in 1992 the Computing Laboratory became the Department of Computing Science.

Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1961 1960 1958

Best E, Koutny M. A Refined View of the Box Algebra. In: 16th International Conference on Application and Theory of Petri Nets (APN). 1995, Turin, Italy: Springer.
Boxma OJ, Koole GM, Mitrani I. A Two-Queue Polling Model with Threshold Service Policy. In: 3rd International Workshop on Modeling, Analysis, and Simulation (MASCOTS). 1995, Durham, North Carolina, USA: IEEE Computer Society Press.
Anderson T, Redmill F, ed. Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK. London, UK: Springer-Verlag, 1995.
Qureshi MA, Sanders WH, van Moorsel APA, German R. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. In: Sixth International Workshop on Petri Nets and Performance Modeling. 1995, Durham, North Carolina, USA: IEEE.
Cho G, Marshall LF. An Efficient Location and Routing Scheme for Mobile Computing Environments. IEEE Journal on Selected Areas in Communications 1995, 13(5), 868-879.
Cho G, Marshall LF. An Efficient Location and Routing Scheme for Mobile Computing Environments. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 508.
Anderson T, de Lemos R, Saeed A. Analysis of Safety Requirements for Process Control Systems. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Berlin; New York: Springer-Verlag, 1995, pp.27-40.
de Lemos R, Saeed A, Anderson T. Analyzing Safety Requirements for Process-Control Systems. IEEE Software 1995, 12(3), 42-53.
Caughey SJ, Shrivastava SK. Architectural Support for Mobile Objects in Large Scale Distributed Systems. In: 4th IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS '95). 1995, Lund, Sweden: IEEE Computer Society Press.
Brasileiro FV, Ezhilchelvan PD. Atomic Broadcast Using Time-Outs instead of Synchronised Time. In: VI Simposio de Computadores Tolerantes a Falhas (Sixth Symposium on Fault Tolerant Computers). 1995, Canela, Brazil.
Brasileiro FV, Ezhilchelvan PD, Speirs NA. Authenticated Agreement Protocols without Explicit Clock Synchronisation. In: European Research Seminar on Advances in Distributed Systems (ERSADS) Workshop. 1995, l'Alpe d'Huez, France.
Romanovsky A, Strigini L. Backward Error Recovery via Conversations in Ada. IEE Software Engineering Journal 1995, 10(6), 219-232.
Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits. In: IFIP TC10 WG10.5 International Conference on Hardware Description Languages and Their Applications (CHDL). 1995, Makuhari, Chiba, Japan: IEEE Press.
Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Eficient Verification of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 501.
Romanovsky A. Conversations of Objects. Computer Languages 1995, 21(3-4), 147-163.
Wu Z, Moody K, Bacon J, Stroud RJ. Data Consistency in a Distributed Persistent Object System. In: 28th Hawaii International Conference on System Sciences (HICSS). 1995, Kihei, Maui, Hawaii: IEEE Computer Society Press.
Wu Z, Stroud RJ, Moody K, Bacon J. Data Consistency in a Distributed Persistent Object System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 518.
Yakovlev A, Varshavsky V, Marakhovsky V, Semenov A. Designing An Asynchronous Pipeline Token Ring Interface. In: 2nd IEEE Working Conference on Asynchronous Design Methdologies (ASYNC). 1995, London, UK: IEEE Computer Society Press.
Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an Asynchronous Processor Using Petri-Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 539.
Yakovlev A. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 522.
Fitzgerald JS, Larsen PG, Brookes T, Green M. Developing a Security-critical System using Formal and Conventional Methods. In: Hinchey, MG and Bowen, JP, ed. Applications of Formal Methods. London: Prentice Hall, 1995, pp.333-356.
Collette P, Jones CB. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Manchester: Manchester University, 1995. UMCS-95-10-3.
Duke DJ, Harrison MD. Event Model of Human-System Interaction. Software Engineering Journal 1995, 10(1), 3-12.
Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 542.
Randell B. Fault Tolerance and Security. In: 4th IFIP WG10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA). 1995, San Diego, CA, USA: Springer-Verlag.
Xu J, Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z. Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 507.
Xu J, Randell B, Romanovsky A, Rubira CMF, Stroud RJ, Zhixue W. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE.
Smith JA, Shrivastava SK. Fault-Tolerant Execution of Computationally and Storage Intensive Programs Over a Network of Workstations: A Case Study. ESPRIT Basic Research Project 6360, 1995. 103.
Jones CB. Fixing the semantics of some concurrent object-oriented concepts. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
Macedo RA, Ezhilchelvan PD, Shrivastava SK. Flow Control Schemes for a Fault-Tolerant Multicast Protocol. In: 1995 Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS '95). 1995, Newport Beach, California, USA: IEEE Computer Society Press.
Tao S, Ezhilchelvan PD, Shrivastava SK. Focused Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Voltan TMR Nodes. IEE Distributed Systems Engineering (Special Issue on Cabernet) 1995, 2(1), 39-49.
Coombes A, Barroca L, Fitzgerald JS, McDermid JA, Spencer L, Saeed A. Formal Specification of an Aerospace System: the Attitude Monitor. In: Hinchey MG and Bowen, JP, ed. Applications of Formal Methods. London: Prentice Hall, 1995, pp.307-332.
de Lemos R, Saeed A, Anderson T. Formal Techniques for Requirements Analysis for Safety-Critical Systems. In: IMA Conference on the Mathematics of Dependable Systems. 1995, London, UK: Clarendon Press.
de Lemos R, Saeed A, Anderson T. Formal Techniques for Requirements Analysys for Safety-Critical Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 503.
Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z, Xu J. From Recovery Blocks to Concurrent Atomic Actions. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995, pp.87-101.
Jones CB. Granularity and the development of concurrent programs. In: 11th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XI). 1995, Tulane University, New Orleans, LA, USA: Elsevier.
Wang Y-M, Merritt MJ, Romanovsky A. Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation. In: Pacific Rim International Symposium on Fault-Tolerant Systems (PRFTS). 1995, Newport Beach, California, USA: IEEE.
Yakovlev A, Koelmans AM, Lavagno L. High Level Modelling and Design of Asynchronous Interface Logic. IEEE Design and Test of Computers (Special Issue on Asynchronous Logic Design) 1995, 12(1), 32-40.
Steggles LJ. Higher-Order Algebra with Transfinite Types. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 541.
Romanovsky A. How to Make a Recoverable Server by Synchronization Code Inheriting. OOPS Messenger 1995, 6(1), 7-13.
Fabre J-C, Nicomette V, Perennou T, Stroud RJ, Wu Z. Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE Computer Society Press.
Fabre J-C, Nicomette V, Perenou T, Stroud RJ, Wu Z. Implementing Fault Tolerant Applications Using Reflective Object-Oriented Programming. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 517.
Randell B. Le projet COLOSSUS et la seconde guerre mondiale. In: Quatrième colloque: "Histoire de l'informatique", Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA). 1995, Campus de Beaulieu, Rennes, France: IRISA, France.
Jones CB. Lessons from the development of a concurrent program: formality as a guide to intuition. In: 1995 Conference on Formal Specification: Foundations, Methods, Tools and Applications (FMTA '95). 1995, Warsaw, Poland.
Shrivastava SK. Lessons Learned from Building and Using the Arjuna Distributed Programming System. In: International Workshop on Theory and Practice in Distributed Systems (Dagstuhl Seminar no. 9436: Unifying Theory and Practice in Distributed Systems). 1995, Dagstuhl Castle, Germany: Springer-Verlag.
Duke DJ, Harrison MD. Mapping User Requirements to Implementations. Software Engineering Journal 1995, 10(1), 13-20.
Nakata K, Lee MH, Ormsby ART, Olivier PL. Modelling Electromechanical Systems from Multiple Perspectives. In: Tenth International Conference on Applications of Artificial Intelligence in Engineering. 1995, Udine, Italy: Computational Mechanics.
Yakovlev A, Koelmans AM, Semenov A, Kinniment DJ. Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 514.
Ezhilchelvan PD, Macêdo RA, Shrivastava SK. Newtop: A Fault-Tolerant Group Communication Protocol. In: 15th IEEE International Conference on Distributed Computing Systems (ICDCS '95). 1995, Vancouver, BC, Canada: IEEE Computer Society Press.
Pietkiewicz-Koutny M, Yakovlev A. Non-Pure Nets and Their Transition Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 528.
Rubira CMF, Randell B. Object-Oriented Environmental Fault Tolerance. In: 6° Sympósio de Computadores Tolerantes a Falhas, XV Congresso da Sociedade Brasileira de Computação. 1995, Brazil: Instituto de Informática, Universidade Federal do Rio Grande do Sul.
Olivier P, Ormsby ART, Nakata K. Occupancy Array-Based Kinematic Reasoning. In: 9th International Workshop on Qualitative Reasoning. 1995, Amsterdam, The Netherlands.
Anisimov N, Koutny M. On Compositionality and Petri Nets in Protocol Engineering. In: 15th IFIP TC 6 WG 6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV). 1995, Warsaw, Poland: Chapman & Hall.
Kondratyev A, Kishinevsky M, Yakovlev A. On Hazard-Free Implementation of Speed-Independent Circuits. In: Asia and South Pacific Design Automation Conference (ASP-DAC). 1995, Makahuri, Chiba, Japan: IEEE Press.
Saeed A, de Lemos R, Anderson T. On the Safety Analysis of Requirements Specifications for Safety-Critical Software. ISA Transactions 1995, 34(4), 283-295.
Koutny M, Pietkiewicz-Koutny M. On the Sleep Sets Method for Partial Order Verification of Concurrent Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 495.
Kaya D, Wright K. Parallel Algorithms for Linear Algebra on a Shared Memory Multiprocessor. In: 3rd International Colloquium on Numerical Analysis. 1995, Plovdiv, Bulgaria: VSP, Utrecht.
Jones CB. Partial Functions and Logics: A Warning. Information Processing Letters 1995, 54(2), 65-67.
Koelmans AM, Yakovlev A, Kinniment DJ, Xu Y. PNIF: An Interchange Format for System Specification with Coloured Petri Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 538.
Boxma OJ, Koole GM, Mitrani I. Polling Models with Threshold Switching. In: Baccelli, F., Jean-Marie, A., Mitrani, I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995, pp.129-140.
Randell B, Laprie J-C, Kopetz H, Littlewood B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995.
Tully A, Surridge M, Gordon P, Rogers E. Progress on the Development of Generic Tools for Real-Time Simulation and Control of Complex Systems. In: 3rd IFAC/IFIP Workshop on Algorithms and Architectures for Real-Time Control. 1995, Ostend, Belgium: Pergamon Press.
Missier P, Rusinkiewicz M, Silberschatz A. Providing Multidatabase Access - an Association Approach. In: Proceedings of the 6th International Hong Kong Computer Society Database Workshop on Database Reengineering and Interoperability. 1995, Hong Kong.
Baccelli F, Jean-Marie A, Mitrani I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995.
Wright K. Recent Developments in Collocation Methods for Ordinary Differential Equations. In: 5th International Colloquium on Differential Equations. 1995, Plovdiv, Bulgaria: VSP, Utrecht.
Xu J, Randell B. Responsive Roll-Forward Recovery in Embedded Real-Time Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 515.
Randell B. Review of ‘“The Reservisor Automated Airline Reservation System: combining communications and computing” by J. Eklund (Review no. 0263). Computing Reviews 1995, 35(6), 220.
Thomas N, Mitrani I. Routing Among Different Nodes Where Servers Break Down Without Losing Jobs. In: 1st IEEE International Computer Performance and Dependability Symposium (IPDS). 1995, Erlangen, Germany: IEEE Computer Society Press.
Thomas N, Mitrani I. Routing Among Servers with Breakdowns and Retained Queues. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 527.
Saeed A, de Lemos R, Anderson T. Safety Analysis for Requirements Specifications: Methods and Techniques. In: SAFECOMP95. The14th International Conference on Computer Safety, Reliability and Security. 1995, Belgirate, Italy: Springer-Verlag.
Janicki R, Koutny M. Semantics of Inhibitor Nets. Information and Computation 1995, 123(1), 1-16.
Randell B. Software Dependability: A Personal View. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE Computer Society Press.
Romanovsky A. Software Diversity as a Way to Well-Structured Concurrent Software. Operating Systems Review 1995, 29(3), 85-90.
Best E, Koutny M. Solving Recursive Net Equations. In: 22nd International Colloquium on Automata, Languages and Programming (ICALP). 1995, Szeged, Hungary: Springer-Verlag.
Semenov A, Yakovlev A, Anisimov N. Specification and Verification of a Self-Timed Token Ring Protocol. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 516.
Mitrani I, Chakka R. Spectral Expansion Solution for a Class of Markov Models: Application and Comparison with the Matrix-Geometric Method. Performance Evaluation 1995, 23(3), 241-260.
Barroca LM, Fitzgerald JS, Spencer L. The Architectural Specification of an Avionic Subsystem. In: Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95). 1995, Boca Raton, Florida: IEEE Computer Society Press.
Watson P, Catlow GW. The Architecture of the ICL Goldrush MegaServer. Ingenuity: the ICL Technical Journal 1995, 10(2), 191-205.
Watson P, Catlow GW. The Architecture of the ICL GOLDRUSH MegaSERVER. In: 13th British National Conference on Databases: Advances in Databases (BNCOD). 1995, Manchester, UK: Springer.
Wu Z, Stroud RJ, Moody K, Bacon J. The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types. IEE Distributed Systems Engineering (Special Issue on Cabernet) 1995, 2(1), 50-64.
Wu Z, Stroud RJ, Moody K, Bacon J. The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 519.
Wheater SM, Little MC. The Design and Implementation of a Framework for Extensible Software. BROADCAST ESPRIT Basic Research Project 6360, 1995. 6360.
Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. Computing Systems 1995, 8(3), 255-308.
Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 509.
Watson P, Robinson EH. The Hardware Architecture of the ICL GOLDRUSH MegaSERVER. Ingenuity: the ICL Technical Journal 1995, 10(2), 206-219.
de Macêdo RJ, Shrivastava SK. The Implementation and Performance Analysis of a Total Delivery Protocol for Group Communication. In: Latin-American Computer Science Conference (PANEL '95), Canela, Brazil. 1995.
Mitrani I. The Spectral Expansion Solution Method for Markov Processes on Lattice Strips. In: Dshalalow, J.H, ed. Advances in Queueing Theory, Methods, and Open Problems. London: CRC Press, 1995, pp.528.
Mitrani I, Ost A, Rettelbach M. TIPP and the Spectral Expansion Method. In: Baccelli, F., Jean-Marie, A., Mitrani, I, ed. Quantitative Methods in Parallel Systems. Berlin; New York: Springer-Verlag, 1995, pp.298.
Brasileiro FV, Ezhilchelvan PD, Speirs NA. TMR Processing without Explicit Clock Synchronisation. In: 14th Symposium on Reliable Distributed Systems. 1995, Bad Neuenahr, Germany: IEEE Computer Society.
Low KS, Yakovlev A. Token Ring Arbiters: An Excercise in Asynchronous Logic Design with Petri-Nets. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 537.
Bryans J, Davies J, Schneider S. Towards a denotational semantics for ET-LOTOS. In: 6th International Conference on Concurrency Theory (CONCUR). 1995, Pittsburgh, Pennsylvania, USA: Springer-Verlag.
Burnett R, Anderson T. Trade-Off Between Cost and Reliability During the Design Phase. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 534.
Deavours DD, Obal WD, Qureshi MA, Sanders WH, van Moorsel A. UltraSAN Version 3.0 Overview. In: Sixth International Workshop on Petri Nets and Performance Modeling. 1995, Durham, North Carolina, USA: IEEE.
Starodoubstev NA, Yakovlev A, Petrov SY. Use of VHDL Enviroment for Interactive Synthesis of Asynchronous Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 540.
Blandford AE, Barnard PJ, Harrison MD. Using Interaction Framework to guide the design of interactive systems. International Journal of Human-Computer Studies 1995, 43(1), 101-130.
Stroud RJ, Wu Z. Using Meta-Object Protocols to Implement Atomic Data Types. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 512.
Stroud RJ, Wu Z. Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 513.
Stroud RJ, Wu Z. Using Metaobject Protocols to Implement Atomic Data Types. In: 9th European Conference on Object-Oriented Programming (ECOOP). 1995, Aarhus, Denmark: Springer-Verlag.
Stroud RJ, Wu Z. Using Metaobject Protocols to Satisfy Non-Functional Requirements. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 533.
Wu Z, Stroud RJ. Using Metaobject Protocols to Structure Operating Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 535.
Olivier P, Ormsby ART, Nakata K. Using Occupancy Arrays for Kinematic Reasoning. In: International Joint Conference on Artificial Intelligence (IJCAI-95). 1995, Montreal, Canada.
Haverkort BR, van Moorsel A. Using the Probabilistic Evaluation Tool for the Analytical Solution of Large Markov Models. In: Sixth International Workshop on Petri Nets and Performance Modeling, 3-6 October 1995. 1995, Durham, North Carolina, USA: IEEE.
Lee P, Phillips C. Visualising parallel numerical software performance on a shared memory multiprocessor. In: Computing Systems in Engineering. 1995, Oporto, Portugal: International Meeting on Vector and Parallel Processing.
Lee PA, Phillips C. Visualising Parallel Numerical Software Performance on a Shared Memory Multiprocessor. In: 1st International Meeting on Vector and Parallel Processing (VECPAR '93). 1995, Porto, Portugal: Elsevier Science (Pergamon Press).
Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Bringing Object-Oriented Technology to the Web. In: 4th International World Wide Web Conference. 1995, Boston, Massachusetts, USA: O'Reilly & Associates.