Alan Stewart

38 papers B 1C 5Journal 18Unranked 13
YearRankTypeTitle / Venue / Authors
2021 J jnl
Modelling web-service uncertainty: The angel/daemon approach.
Comput. Sci. Rev.
Joaquim Gabarró, Alan Stewart
2015 J jnl
Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation.
Pers. Ubiquitous Comput.
Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger, Alan Stewart, Samer Sader
2015 C conf
The Robustness of Periodic Orchestrations in Uncertain Evolving Environments.
ECSQARU
Jorge Castro, Joaquim Gabarró, Maria J. Serna, Alan Stewart
2015 C conf
Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance.
ECSQARU
Alan Stewart, Joaquim Gabarró, Anthony Keenan
2014 J jnl
Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles.
Comput. J.
Joaquim Gabarró, Maria J. Serna, Alan Stewart
2013 J jnl
Reasoning about orchestrations of web services using partial correctness.
Formal Aspects Comput.
Alan Stewart, Joaquim Gabarró, Anthony Keenan
2012 J jnl
A constraints-based resource discovery model for multi-provider cloud environments.
J. Cloud Comput.
Peter Wright, Yih Leong Sun, Terence J. Harmer, Anthony Keenan, Alan Stewart, Ronald H. Perrott
2012 — conf
Specifying Cloud Application Requirements: An Ontological Approach.
CloudComp
Yih Leong Sun, Terence J. Harmer, Alan Stewart
2011 J jnl
A programming model for BSP with partitioned synchronisation.
Formal Aspects Comput.
Alan Stewart
2011 C conf
Architecture for Compliance Analysis of Distributed Service based Systems.
CLOSER
Jonathan Sinclair, Benoit Hudzia, Maik A. Lindner, Alan Stewart, Terry Harmer
2011 — conf
Mapping Application Requirements to Cloud Resources.
Euro-Par Workshops (1)
Yih Leong Sun, Terence J. Harmer, Alan Stewart, Peter Wright
2011 — conf
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability.
TGC
Joaquim Gabarró, Maria J. Serna, Alan Stewart
2011 C conf
Web Services and
ECSQARU
Joaquim Gabarró, Maria J. Serna, Alan Stewart
2010 — conf
2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing.
Euro-Par Workshops
Marco Danelutto, Frédéric Desprez, Paraskevi Fragopoulou, Alan Stewart
2010 — conf
Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung.
TGC
Joaquim Gabarró, Peter Kilpatrick, Maria J. Serna, Alan Stewart
2008 — conf
Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games.
CoreGRID Integration Workshop
Joaquim Gabarró, Alina García, Maria J. Serna, Peter Kilpatrick, Alan Stewart
2008 B conf
Assessing the Reliability and Cost of Web and Grid Orchestrations.
ARES
Alan Stewart, Maurice Clint, Terry Harmer, Peter Kilpatrick, Ronald H. Perrott, Joaquim Gabarró
2007 — conf
Bounded Site Failures: An Approach to Unreliable Grid Environments.
CoreGRID Workshop - Making Grids Work
Joaquim Gabarró, Alina García, Maurice Clint, Peter Kilpatrick, Alan Stewart
2006 C conf
Managing Grid Computations: An ORC-Based Approach.
ISPA
Alan Stewart, Joaquim Gabarró, Maurice Clint, Terence J. Harmer, Peter Kilpatrick, Ronald H. Perrott
2004 J jnl
Barrier synchronisation: Axiomatisation and relaxation.
Formal Aspects Comput.
Alan Stewart, Maurice Clint, Joaquim Gabarró
2003 — conf
Computational Models for Web- and Grid-Based Computation.
Euro-Par
Joaquim Gabarró, Alan Stewart, Maurice Clint, Eamonn Boyle, Isabel Vallejo
2002 — conf
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation.
F-WAN@ICALP
Joaquim Gabarró, Alan Stewart, Maurice Clint
2001 J jnl
BSP-style Computation: a Semantic Investigation.
Comput. J.
Alan Stewart, Maurice Clint
2001 — conf
Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications.
Euro-Par
Alan Stewart, Maurice Clint, Joaquim Gabarró, Maria J. Serna
2000 J jnl
Axiomatic Frameworks for Developing Bsp-style Programs*.
Parallel Algorithms Appl.
Alan Stewart, Maurice Clint, Joaquim Gabarró
1997 — conf
An Axiomatic Semantics for Data Parallel Computation.
IWFM
Alan Stewart
1997 — conf
Synchronising Asynchronous Communications.
Euro-Par
Alan Stewart, Maurice Clint
1997 J jnl
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations.
Sci. Comput. Program.
Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle
1994 J jnl
A one-pass thinning algorithm with interference guards.
Pattern Recognit. Lett.
Alan Stewart
1990 J jnl
An Axiomatic Treatment of SIMD Assignment.
BIT
Alan Stewart
1989 J jnl
A parallel thinning algorithm with fine grain subtasking.
Parallel Comput.
Christopher M. Holt, Alan Stewart
1988 J jnl
SIMD Language Design Using Prescriptive Semantics.
BIT
Alan Stewart
1988 J jnl
Towards the construction of an eigenvalue engine.
Parallel Comput.
Maurice Clint, Donal Roantree, Alan Stewart
1987 J jnl
An Improved Parallel Thinning Algorithm.
Commun. ACM
Christopher M. Holt, Alan Stewart, Maurice Clint, Ronald H. Perrott
1986 — conf
A Parallel Processing Algorithm for Thinning Digitised Pictures.
CONPAR
Ronald H. Perrott, Christopher M. Holt, Maurice Clint, Alan Stewart
1986 — —
The formal specification of computational structures.
Alan Stewart
1983 J jnl
The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms.
Softw. Pract. Exp.
Maurice Clint, Ronald H. Perrott, Christopher M. Holt, Alan Stewart
1974 J jnl
A New Type of VF Repeater for Two-Wire Transmission Loops.
IEEE Trans. Commun.
Alan Stewart