Alan Stewart

ORCID

Publication Activity (10 Years)

Years Active: 1974-2021
Publications (10 Years): 1

Top Venues

ECSQARU

CloudComp

J. Cloud Comput.

Formal Aspects Comput.

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

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

Alan Stewart.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alan Stewart