2008 |
22 | EE | Stephen Crouch,
Peter Henderson,
Robert John Walters:
Utilising Located Functions to Model and Optimise Distributed Computations.
COMPSAC 2008: 488-489 |
2007 |
21 | EE | David Argles,
Alex Pease,
Robert John Walters:
An Improved Approach to Secure Authentication and Signing.
AINA Workshops (1) 2007: 119-123 |
20 | EE | Stephen Crouch,
Peter Henderson,
Robert John Walters:
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data.
COMPSAC (1) 2007: 583-590 |
19 | EE | David E. Millard,
Hugh C. Davis,
Yvonne Margaret Howard,
Lester Gilbert,
Robert John Walters,
Noura Abbas,
Gary B. Wills:
The Service Responsibility and Interaction Design Method: Using an Agile Approach for Web Service Design.
ECOWS 2007: 235-244 |
18 | EE | Gary B. Wills,
Noura Abbas,
Rakhi Chandrasekharan,
Richard M. Crowder,
Lester Gilbert,
Yvonne Margaret Howard,
David E. Millard,
Sylvia C. Wong,
Robert John Walters:
An agile hypertext design methodology.
Hypertext 2007: 181-184 |
17 | EE | Robert John Walters,
Peter Henderson,
Stephen Crouch:
Selecting a distributed agreement algorithm.
SAC 2007: 586-587 |
2005 |
16 | EE | Robert John Walters,
Stephen Crouch:
M-Grid: Using Ubiquitous Web Technologies to Create a Computational Grid.
EGC 2005: 59-67 |
15 | | Stephen Crouch,
Peter Henderson,
Robert John Walters:
Building Applications Able to Cope with Problematic Data Using a Datawarp Approach.
ICEIS (1) 2005: 411-414 |
14 | EE | Robert John Walters:
Checking of models built using a graphically based formal modelling language.
Journal of Systems and Software 76(1): 55-64 (2005) |
13 | EE | Peter Henderson,
Stephen Crouch,
Robert John Walters,
Qinglai Ni:
Effects of introducing survival behaviours into automated negotiators specified in an environmental and behavioural framework.
Journal of Systems and Software 76(1): 65-76 (2005) |
2004 |
12 | EE | Peter Henderson,
Robert John Walters,
Stephen Crouch:
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language.
COMPSAC 2004: 92-98 |
11 | | Peter Henderson,
Stephen Crouch,
Robert John Walters:
Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation.
ICEIS (1) 2004: 473-481 |
2003 |
10 | EE | Peter Henderson,
Stephen Crouch,
Robert John Walters,
Qinglai Ni:
Effects of Introducing Survival Behaviours into Automated Negotiators.
COMPSAC 2003: 506-512 |
9 | EE | Robert John Walters:
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language.
COMPSAC 2003: 98-104 |
8 | EE | Peter Henderson,
Robert John Walters,
Stephen Crouch,
Qinglai Ni:
DataWarp: Building Applications Which Make Progress in an Inconsistent World.
DAIS 2003: 167-178 |
2002 |
7 | EE | Peter Henderson,
Stephen Crouch,
Robert John Walters,
Qinglai Ni:
Comparison of Some Negotiation Algorithms Using a Tournament-Based Approach.
Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 137-150 |
6 | EE | Robert John Walters:
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems.
COMPSAC 2002: 363-372 |
2001 |
5 | | Peter Henderson,
Robert John Walters:
Behavioural analysis of component-based systems.
Information & Software Technology 43(3): 161-169 (2001) |
4 | EE | Peter Henderson,
Yvonne Margaret Howard,
Robert John Walters:
A tool for evaluation of the software development process.
Journal of Systems and Software 59(3): 355-362 (2001) |
1999 |
3 | EE | Peter Henderson,
Robert John Walters:
Component-based Systems as an Aid to Design Validation.
ASE 1999: 303-306 |
2 | EE | Peter Henderson,
Robert John Walters:
System Design Validation Using Formal Models.
IEEE International Workshop on Rapid System Prototyping 1999: 10-14 |
1998 |
1 | EE | Keith Phalp,
Peter Henderson,
Robert John Walters,
Geetha Abeysinghe:
RolEnact: role-based enactable models of business processes.
Information & Software Technology 40(3): 123-133 (1998) |