Abstract GridNexus: A Grid Services Scientific Workflow System (2009)
Jeffrey L. Brown, Clayton S. Ferner, Thomas C. Hudson, Ann E. Stapleton, Tristan Carl, ...
We introduce GridNexus, a graphical system for creating and executing scientific workflows in a grid environment 1.. GridNexus allows the user to assemble complex processes involving data retrieval,...
Abstract WLFM 2005 Preliminary Version A taxonomy of web services using CSP (2008)
Lee Momtahan, Andrew Martin, A. W. Roscoe
Terms such as conversational and stateless are widely used in the taxonomy of web services. We give formal definitions of these terms using the CSP process algebra. Within this framework we also...
Toolglass [Bier et al. 1993] demonstrated a two-handed command selection technique that combined command selection and direct manipulation. While empirical evaluations showed a speed advantage for...
Andrew Martin, Andrew Martin, Ray Nickson, Ray Nickson, Mark Utting, Mark Utting
reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via
An early version of the Z Standard included the deductive system W for reasoning about Z specifications. Later versions contain a different deductive system. In this paper we sketch a proof that W is...
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, David Currie
Abstract. This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new...
A monadic interpretation of tactics (2007)
Abstract. Many proof tools use ‘tactic languages ’ as programs to direct their proofs. We present a simplified idealised tactic language, and describe its denotational semantics. The language has...
Cesg Cheltenham, Dra Malvern, Jonathan Hammond, Peter Lupton, Andrew Martin, John Nicholls, ...
This is a major revision of the Z Standard, replacing all previous versions. It is an updated version of the document presented at the 29th Meeting of the Z
Programme in Economic Policy (2007)
Andrew Martin, Badia Fiesolana, Robert Schuman, Centre Advanced Studies
Policy provides a framework for the presentation and development of ideas and research that can constitute the basis for informed policy-making in any area to which economic reasoning can make a...
Trust and Security in Virtual Communities (2007)
This discussion paper sets out a collection of scenarios, driven either by existing real application requirements, or distilled from the common interests of a number of imagined, but not far-fetched,...
Hervold, Kieran, Martin, Andrew, Kirkpatrick, Roger A., Mc Kenna, Paul F., Ramirez-Weber, F. A.
The Hedgehog Signaling Pathway Database is a curated repository of information pertaining to the Hedgehog developmental pathway. It was designed to provide centralized access to a wide range of...
Agents in bioinformatics, computational and systems biology (2007)
Merelli, Emanuela, Armano, Giuliano, Cannata, Nicola, Corradini, Flavio, D'Inverno, Mark, Doms, Andreas, ...
The adoption of agent technologies and multi-agent systems constitutes an emerging area in bioinformatics. In this article, we report on the activity of the Working Group on Agents in Bioinformatics...
What is the nature of self-esteem? : undimensional and multidimensional perspectives (2006)
Marsh, Herbert W. (Herbert Warren), Craven, Rhonda, Martin, Andrew
2006
An Evaluation of the Language Skills in Scottish Hotels (2006)
This paper discusses the results of research that sought to assess the quality of service encounter when front-desk staff in Scottish hotels handled telephone enquiries by callers using a language...
Shibgrid: Shibboleth access for the uk national grid service, e-science 0: 75 (2006)
David Spence, Neil Geddes, Jens Jensen, Andrew Richards, Matthew Viljoen, Andrew Martin, ...
This paper presents work undertaken to integrate the future UK national Shibboleth infrastructure with the UK’s National Grid Service (NGS). Our work, ShibGrid, provides both transparent...
A MultiAgent System for Classifying Bioinformatics Publications (2006)
Andrew Martin, Huaglory Tianfield, Rainer Unland, A. Addis, A. Manconi, M. Saba, ...
WS21 Workshop
the Hh research community (2006)
Kieran Hervold, Andrew Martin, Roger A. Kirkpatrick
current annotation efforts and resources for
the Hh research community (2006)
Kieran Hervold, Andrew Martin, Roger A. Kirkpatrick
current annotation efforts and resources for
L' espresso per Blackpool (2006)
L' espresso per Blackpool, Andrew Martin, traduzione di Seba Pezzani. . - Vicenza. NALUAF000854. , Neri Pozza. NAEDAF003780, 2006.
Hervold, Kieran, Martin, Andrew, Kirkpatrick, Roger A., Mc Kenna, Paul F., Ramirez-Weber, F. A.
The Hedgehog Signaling Pathway Database is a curated repository of information pertaining to the Hedgehog developmental pathway. It was designed to provide centralized access to a wide range of...
Instabilities leading to vortex lattice formation in rotating bose-einstein condensates (2006)
MARTIN, ANDREW, VAN BIJNEN, RICK, DOW, ANITA JANE, PARKER, NICHOLAS
Hervold, Kieran, Martin, Andrew, Kirkpatrick, Roger A., Mc Kenna, Paul F., Ramirez-Weber, F. A.
The Hedgehog Signaling Pathway Database is a curated repository of information pertaining to the Hedgehog developmental pathway. It was designed to provide centralized access to a wide range of...
Instabilities leading to vortex lattice formation in rotating bose-einstein condensates (2006)
MARTIN, ANDREW, VAN BIJNEN, RICK, DOW, ANITA JANE, PARKER, NICHOLAS
The EMU Stability and Growth Pact: Is it dead? If so, does it matter? (2005)
Verdun, Amy, Jabko, Nicolas, Enderlein, Hendrik, Martin, Andrew.
IN DECEMBER 2004, the new Barroso Commission brought the saga of the French and German infringements of the Stability and Growth Pact to a close by lifting the "excessive deficit" procedure launched...
On two kinds of public-resource distributed computing (2005)
Andrew Martin, Tolu Aina, Carl Christensen, Jamie Kettleborough, David Stainforth
‘Public Resource Distributed Computing ’ has succeeded in grabbing the popular imagination — even to the point of becoming synonymous with
Benefits of Merging Command Selection and Direct Manipulation (2005)
Francois Guimbretiere, Andrew Martin, Terry Winograd
Toolglass [Bier et al. 1993] demonstrated a two-handed command selection technique that combined command selection and direct manipulation. While empirical evaluations showed the speed advantage of...
This paper will be a chapter in Euros and Europeans: Monetary Integration and the European Social Model, Andrew Martin and George Ross, eds., Cambridge University Press, 2004. Over time, the impact...
Based on invited talks by (2004)
Emanuela Merelli, Michael Luck, Giuliano Armano, Andrea Doms, Nicola Cannata, Flavio Corradini, ...
The first Technical Forum Group (TFG) on Agents in Bioinformatics (BIOAGENTS) was held on the 2nd of July, 2004, in Rome, Italy. The scope of the TFG was to inspire collaboration between the agent...
Howard Chivers, Andrew Martin, Organising Sadie, Creese Qineqiq, Andrew Martin, ...
One of the functions of the UK e-science security task force is to identify and promulgate good security practice in grid and related systems. Many Grid-based projects have developed distinctive...
Grids and Private Networks are Antithetical (2004)
The contents of this work reflect the views of the authors who are responsible for the facts and accuracy of the data presented. Responsibility for the application of the material to specific cases,...
Security principles for public-resource modeling research (2004)
David Stainforth, Andrew Martin, Andrew Simpson, Carl Christensen, Jamie Kettleborough, Tolu Aina, ...
Large-scale distributed computing projects have many security concerns due to their public and often “open ” nature. Climateprediction.net (CPDN) is taking the concept of public-resource,...
D.: ZML: XML Support for Standard Z (2003)
Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, ...
Abstract. This paper proposes an XML format for standard Z.We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new...
On the supervision and assessment of part-time postgraduate software engineering projects (2003)
Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve Mckeever
This paper describes existing practices in the supervision and assessment of projects undertaken by part-time, postgraduate students in Software Engineering. It considers this aspect of the learning...
D.: ZML: XML Support for Standard Z (2003)
Nicholas Daley, Nicholas Daley, Mark Utting, Mark Utting, Mark Utting, Ian Toyn, ...
Abstract. This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new...
ZML:XML support for standard Z. (2002)
Utting, Mark, Toyn, Ian, Sun, Jing, Martin, Andrew, Dong, Jin Song, Daley, Nicholas, ...
This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is...
ZML:XML support for standard Z. (2002)
Utting, Mark, Toyn, Ian, Sun, Jing, Martin, Andrew, Dong, Jin Song, Daley, Nicholas, ...
This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is...
Climateprediction.net: Design principles for public-resource modeling research (2002)
David Stainforth, Jamie Kettleborough, Andrew Martin, Andrew Simpson, Richard Gillis, Ali Akkas, ...
Climateprediction.net aims to harness the spare CPU cycles of a million individual users ’ PCs to run a massive ensemble of climate simulations using an up-to-date, full resolution, three...
The design and evolution of a simulation/game for teaching information systems development
Andrew Martin, Andrew Martin, Colin Fidge, Colin Fidge
s and compressed postscript files are available via http://svrc.it.uq.edu.au Lifting in Z Andrew Martin a and Colin Fidge b a Oxford University Software Engineering Centre, Wolfson Building, Parks...
Sensor-driven Computing (1999)
Andrew Ward, Andrew Martin, Robert Ward
A context-aware computing system is one that can deduce the state of its surroundings using input from sensors and can change its behaviour accordingly. Context-aware devices might personalise...
Questions and Answers about Ten Formal Methods (1999)
Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel, Andrew Martin, ...
An abstract model of a distributed data base application has been studied using process based, state based, and queueing theory based methods. The methods supported by graphical notations and/or...
A revised deductive system for Z (1998)
Andrew Martin Software, Andrew Martin, Andrew Martin
s and compressed postscript files are available via http://svrc.it.uq.edu.au A revised deductive system for Z Andrew Martin # Software Verification Research Centre The University of Queensland...
Approaches to proof in Z - or - Why effective proof tool support for Z is hard (1997)
s and compressed postscript files are available via http://svrc.it.uq.edu.au Approaches to proof in Z -- or -- Why effective proof tool support for Z is hard Andrew Martin Abstract Various attempts...
A Tactic Language for Ergo (1997)
Andrew Martin, Andrew Martin, Ray Nickson, Ray Nickson, Mark Utting, Mark Utting
A new version of the Ergo theorem prover is under development. It uses a single tactic language, based on Angel, for tactic programming, user interface, and proof representation. This paper describes...
Machine-assisted theorem-proving for software engineering / (1996)
Abstract: "The thesis describes the production of a large prototype proof system for Z, and a tactic language in which the proof tactics used in a wide range of systems (including the system...
Multi-periodic variability in low mass x-ray binaries. (1995)
Thesis (Ph. D.)--University of Oxford, 1995.
Machine-Assisted Theorem-Proving for Software Engineering (1994)
The thesis describes the production of a large prototype proof system for Z, and a tactic language in which the proof tactics used in a wide range of systems (including the system described here) can...
Tempo and mode of mitochondrial DNA evolution in sharks and rays (1992)
Thesis (Ph. D.)--University of Hawaii at Manoa, 1992.
Measurement of heat strain in firefighters (1990)
Presented to the School of Physics, Queensland University of Technology. Includes bibliographical references (leaves 43-48)
Machine-assisted theorem-proving for software engineering /
BLDSC reference no.: 188945.