Publications of Robert Walters

Back to my home page

Papers by Bob Walters (or with him as co-author) include:

Utilising Located Functions to Model and Optimise Distributed Computations [pdf], with Peter Henderson and Stephen Crouch. To be presented at the 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, July 28 - August 1, 2008.

Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One with Rozie Razali, Colin Snook, Mike Poppleton, and Paul Garratt. Presented at 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), Keele, Staffordshire, UK, April 2-3, 2007.
Selecting a distributed agreement algorithm. [pdf], with Stephen Crouch and Peter Henderson. Presented at The 22nd Annual ACM Symposium on Applied Computing, COEX Convention Centre, Seoul, Korea, March 11-15, 2007.
An Improved Approach to Secure Authentication and Signing. [pdf], with David Argles and Alex Pease. Presented at The 2007 International Symposium on Frontiers in Networking with Applications (FINA 2007), in conjunction with The IEEE 21st ACM International Conference on Advanced Information Networking and Applications (AINA 2007), Niagara Falls, Canada, May 21-23, 2007
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. [pdf], with Peter Henderson and Stephen Crouch. Presented at the 31st Annual IEEE International Computer Software and Applications Conference, Beijing, China, July 23-27, 2007.
An Agile Hypertext Design Methodology [pdf] with Gary Wills, Noura Abbas, Rakhi Chandrasekharan, Richard Crowder, Lester Gilbert, Yvonne Howard, David Millard and Sylvia Wong. Presented at 18th ACM Conference on Hypertext and Hypermedia (HT07), Manchester, UK, September 10-12, 2007.

Teaching the Grid: Learning Distributed Computing with the M‑grid Framework. [pdf], with David E. Millard, Philip Bennett, David Argles, Stephen Crouch, Lester Gilbert, Gary Wills. Presented at ED-MEDIA 2006--World Conference on Educational Multimedia, Hypermedia & Telecommunications, Orlando, 26^th-30^th June 2006.

Building Applications able to cope with Problematic Data using a DataWarp Approach. [pdf], with Stephen Crouch and Peter Henderson, Presented at 7^th International Conference on Enterprise Information Systems (ICEIS 2005), Miami, 24^th-28^th May 2005.
M‑grid: Using Ubiquitous Web Technologies to create a Computational Grid. [pdf], with Stephen Crouch, Presented at European Grid Conference 2005, Amsterdam 14^th-16^th February 2005.
M‑grid: Using Ubiquitous Web Technologies to create a Computational Grid. [pdf] (revised), with Stephen Crouch, Lecture Notes in Computer Science, 3470: pp59-67, June 2005, “Advances in Grid Computing - EGC 2005: European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers”
Automating Checking of Models built using a Graphically Based Formal Modelling Language. [pdf] [postscript], Journal of Systems and Software 76(1):pp55-64. (2005)
Effects of Introducing Survival Behaviours into Automated Negotiators. [pdf] with Peter Henderson, Stephen Crouch, Qinglai Ni. Journal of Systems and Software 76(1):pp 65-76. (2005)
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language [pdf][postscript] with Peter Henderson and Stephen Crouch, 28^th Annual IEEE International Computer Software and Applications Conference (COMPSAC2004), Hong Kong, 28^th-30^th September 2004.
Information Invasion in Enterprise Systems. [pdf] [postscript] with Stephen Crouch and Peter Henderson. Sixth International Conference on Enterprise Systems (ICEIS 2004), Porto, Portugal, 14-17 April, 2004.
DataWarp: Building Applications which Make Progress in an Inconsistent World. [pdf] [postscript] with Peter Henderson, Stephen Crouch and Qinglai Ni. 4^th International IFIP Working Conference on Distributed Applications and Interoperable Systems (DAIS ’03), Paris, France. 19-21 November 2003.
Automating Checking of Models built using a Graphically Based Formal Modelling Language. [pdf] [postscript] 27^th Annual IEEE International Computer Software and Applications Conference (COMPSAC2003), Dallas, Texas, USA, 3-6 November, 2003.
Effects of Introducing Survival Behaviours into Automated Negotiators. [pdf] with Peter Henderson, Stephen Crouch, Qinglai Ni. 27^th Annual IEEE International Computer Software and Applications Conference (COMPSAC2003), Dallas, Texas, USA, 3-6 November, 2003.
A Graphically based language for constructing, executing and analysing models of software systems. My PhD. thesis available here as pdf, zipped postscript.
A comparison of some negotiation algorithms [pdf] [postscript] with Peter Henderson, Stephen Crouch and Qinglai Ni, Lecture Notes in Artificial Intelligence (a sub‑series of Lecture Notes in Computer Science), 2592, pp137-150, 2003. (A version of this paper was also presented at 3^rd International Symposium on Multi-Agent Systems, Large Complex Systems and E-Businesses (MALCEB'2002), Erfurt/Thuringia, Germany, 8-10 October 2002.)
A graphically based language for constructing, executing and analysing models of software systems [pdf] [postscript], 26^th Annual IEEE International Computer Software and Applications Conference (COMPSAC2002), Oxford, August 25^th-29^th, 2002.
RICES: Reasoning about Information Consistency across Enterprise Solutions [pdf] [postscript] with Peter Henderson and Stephen Crouch, in Systems Engineering for Business Process Change: New Directions. London: Springer-Verlag London Limited, 2002, pp. 367-371. (A version of this paper was presented at the Software and Organisation Co‑Evolution workshop (SOCE 2000), 12^th&13^th July 2000 at Imperial College, London.)
A tool for evaluation of the Software Development Process [pdf] [postscript] with Peter Henderson and Yvonne Howard, The Journal of Systems and Software, 59/3 pp355-362, December 2001, (A version of this paper was presented to ProSim2000, London, UK, July 12-14, 2000).
Inconsistency Tolerance across Enterprise Solutions [pdf] [postscript] with Peter Henderson and Stephen Crouch, 8^th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS01), Bologna, Italy, October 31 – November 2 2001.
Behavioural Analysis of Component-Based Systems [pdf] [postscript] with Peter Henderson, Information and Software Technology, 43/3 pp 161-169, March 1, 2001.
Component-based Systems as an aid to Design Validation [pdf] [postscript] with Peter Henderson, 14^th IEEE International Conference on Automated Software Engineering (ASE99), Cocoa Beach, Florida, USA, October 12-15, 1999
System Design Validation using Formal Models [pdf] [postscript] with Peter Henderson, 10^th IEEE International Workshop on Rapid System Prototyping (RSP99), June 16-18 1999.
Questions and Answers about Ten Formal Methods [pdf] [postscript] with eight others presented at Fourth International Workshop on Formal Methods for Industrial Critical Systems (FMICS99), July 11-12 1999.
RolEnact - Role Based Enactable Models of Business Processes [pdf] [postscript] with Geetha Abeysinghe, Peter Henderson and Keith Phalp, Information And Software Technology 40/3 1998 pp123-133.
An Audience Centred Approach to Modelling for Business Process ReEngineering [pdf] [postscript] with Geetha Abeysinghe, Peter Henderson and Keith Phalp, ReTIS 97, 5th International Conference on Re-Technologies for Information Systems, Klagenfurt, December 1997.

Back to my home page

page updated 09 May 2008