Modelling web-service uncertainty: The angel/daemon approach.

Alan Stewart

Joaquim Gabarró Alan Stewart Modelling web-service uncertainty: The angel/daemon approach. 100355 2021 39 Comput. Sci. Rev. https://doi.org/10.1016/j.cosrev.2020.100355 db/journals/csr/csr39.html#GabarroS21

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. 667-688 2015 19 Pers. Ubiquitous Comput. 3-4 https://doi.org/10.1007/s00779-015-0855-y db/journals/puc/puc19.html#BaslymanRAMCGSS15

Jorge Castro Joaquim Gabarró Maria J. Serna Alan Stewart The Robustness of Periodic Orchestrations in Uncertain Evolving Environments. 129-140 2015 ECSQARU https://doi.org/10.1007/978-3-319-20807-7_12 conf/ecsqaru/2015 db/conf/ecsqaru/ecsqaru2015.html#CastroGSS15 Alan Stewart Joaquim Gabarró Anthony Keenan Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. 141-150 2015 ECSQARU https://doi.org/10.1007/978-3-319-20807-7_13 conf/ecsqaru/2015 db/conf/ecsqaru/ecsqaru2015.html#StewartGK15

Joaquim Gabarró Maria J. Serna Alan Stewart Analysing Web-Orchestrations Under Stress Using Uncertainty Profiles. 1591-1615 2014 57 Comput. J. 11 https://doi.org/10.1093/comjnl/bxt063 db/journals/cj/cj57.html#GabarroSS14

Alan Stewart Joaquim Gabarró Anthony Keenan Reasoning about orchestrations of web services using partial correctness. 833-846 2013 25 Formal Aspects Comput. 6 https://doi.org/10.1007/s00165-011-0212-5 db/journals/fac/fac25.html#StewartGK13

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. 6 2012 1 J. Cloud Comput. https://doi.org/10.1186/2192-113X-1-6 https://www.wikidata.org/entity/Q59291494 db/journals/jcloudc/jcloudc1.html#WrightSHKSP12

Yih Leong Sun Terence J. Harmer Alan Stewart Specifying Cloud Application Requirements: An Ontological Approach. 82-91 2012 CloudComp https://doi.org/10.1007/978-3-319-03874-2_9 http://eudl.eu/doi/10.1007/978-3-319-03874-2_9 conf/cloudcomp/2012 db/conf/cloudcomp/cloudcomp2012.html#SunHS12

Alan Stewart A programming model for BSP with partitioned synchronisation. 421-432 2011 23 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-010-0163-2 db/journals/fac/fac23.html#Stewart11

Jonathan Sinclair Benoit Hudzia Maik A. Lindner Alan Stewart Terry Harmer Architecture for Compliance Analysis of Distributed Service based Systems. 286-292 2011 CLOSER conf/closer/2011 db/conf/closer/closer2011.html#SinclairHLSH11 Joaquim Gabarró Maria J. Serna Alan Stewart Web Services and <i>Incerta Spiriti</i>: A Game Theoretic Approach to Uncertainty. 651-662 2011 ECSQARU https://doi.org/10.1007/978-3-642-22152-1_55 conf/ecsqaru/2011 db/conf/ecsqaru/ecsqaru2011.html#GabarroSS11 Yih Leong Sun Terence J. Harmer Alan Stewart Peter Wright Mapping Application Requirements to Cloud Resources. 104-112 2011 Euro-Par Workshops (1) https://doi.org/10.1007/978-3-642-29737-3_12 conf/europar/2011w1 db/conf/europar/europar2011w1.html#SunHSW11 Joaquim Gabarró Maria J. Serna Alan Stewart Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. 197-211 2011 TGC https://doi.org/10.1007/978-3-642-30065-3_12 conf/tgc/2011 db/conf/tgc/tgc2011.html#GabarroSS11 Marco Danelutto Frédéric Desprez Paraskevi Fragopoulou Alan Stewart 2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing. 235-236 2010 Euro-Par Workshops https://doi.org/10.1007/978-3-642-21878-1_29 conf/europar/2010w db/conf/europar/europar2010w.html#DaneluttoDFS10 Joaquim Gabarró Peter Kilpatrick Maria J. Serna Alan Stewart Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung. 189-204 2010 TGC https://doi.org/10.1007/978-3-642-15640-3_13 conf/tgc/2010 db/conf/tgc/tgc2010.html#GabarroKSS10 Alan Stewart Maurice Clint Terry Harmer Peter Kilpatrick Ronald H. Perrott Joaquim Gabarró Assessing the Reliability and Cost of Web and Grid Orchestrations. 428-433 2008 ARES https://doi.org/10.1109/ARES.2008.39 https://doi.ieeecomputersociety.org/10.1109/ARES.2008.39 conf/IEEEares/2008 db/conf/IEEEares/ares2008.html#StewartCHKPG08 Joaquim Gabarró Alina García Maria J. Serna Peter Kilpatrick Alan Stewart Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games. 121-132 2008 CoreGRID Integration Workshop https://doi.org/10.1007/978-0-387-09457-1_11 conf/coregrid/2008iw db/conf/coregrid/coregrid2008iw.html#GabarroGSKS08 Joaquim Gabarró Alina García Maurice Clint Peter Kilpatrick Alan Stewart Bounded Site Failures: An Approach to Unreliable Grid Environments. 175-187 2007 CoreGRID Workshop - Making Grids Work https://doi.org/10.1007/978-0-387-78448-9_14 conf/coregrid/2007mgw db/conf/coregrid/mgw2007.html#GabarroGCKS07 Alan Stewart Joaquim Gabarró Maurice Clint Terence J. Harmer Peter Kilpatrick Ronald H. Perrott Managing Grid Computations: An ORC-Based Approach. 278-291 2006 conf/ispa/2006 ISPA https://doi.org/10.1007/11946441_29 db/conf/ispa/ispa2006.html#StewartGCHKP06

Alan Stewart Maurice Clint Joaquim Gabarró Barrier synchronisation: Axiomatisation and relaxation. 36-50 2004 16 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-004-0028-7 db/journals/fac/fac16.html#StewartCG04

Joaquim Gabarró Alan Stewart Maurice Clint Eamonn Boyle Isabel Vallejo Computational Models for Web- and Grid-Based Computation. 640-650 https://doi.org/10.1007/978-3-540-45209-6_91 2003 conf/europar/2003 Euro-Par db/conf/europar/europar2003.html#GabarroSCBV03 Joaquim Gabarró Alan Stewart Maurice Clint Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. 2002 conf/icalp/2002fwan F-WAN@ICALP https://doi.org/10.1016/S1571-0661(04)80413-4 db/conf/icalp/fwan2002.html#GabarroSC02 1-21

Alan Stewart Maurice Clint BSP-style Computation: a Semantic Investigation. 174-185 2001 44 Comput. J. 3 https://doi.org/10.1093/comjnl/44.3.174 db/journals/cj/cj44.html#StewartC01

Alan Stewart Maurice Clint Joaquim Gabarró Maria J. Serna Towards Formally Refining BSP Barrier s into Explicit Two-Sided Communications. 549-559 2001 conf/europar/2001 Euro-Par https://doi.org/10.1007/3-540-44681-8_79 db/conf/europar/europar2001.html#StewartCGS01

Alan Stewart Maurice Clint Joaquim Gabarró Axiomatic Frameworks for Developing Bsp-style Programs*. 271-292 2000 14 Parallel Algorithms Appl. 4 https://doi.org/10.1080/10637199808947391 db/journals/paapp/paapp14.html#StewartCG00

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. 1-41 1997 28 Sci. Comput. Program. 1 db/journals/scp/scp28.html#FitzpatrickHSCB97 https://doi.org/10.1016/S0167-6423(96)00015-9

Alan Stewart Maurice Clint Synchronising Asynchronous Communications. 511-520 1997 conf/europar/1997 Euro-Par db/conf/europar/europar97.html#StewartC97 https://doi.org/10.1007/BFb0002777 Alan Stewart An Axiomatic Semantics for Data Parallel Computation. 1997 conf/iwfm/1997 IWFM db/conf/iwfm/iwfm1997.html#Stewart97 http://ewic.bcs.org/content/ConWebDoc/4618

Alan Stewart A one-pass thinning algorithm with interference guards. 825-832 1994 15 Pattern Recognit. Lett. 8 https://doi.org/10.1016/0167-8655(94)90011-6 db/journals/prl/prl15.html#Stewart94

Alan Stewart An Axiomatic Treatment of SIMD Assignment. 70-82 1990 30 BIT 1 db/journals/bit/bit30.html#Stewart90 https://doi.org/10.1007/BF01932133

Christopher M. Holt Alan Stewart A parallel thinning algorithm with fine grain subtasking. 329-334 1989 10 Parallel Comput. 3 db/journals/pc/pc10.html#HoltS89 https://doi.org/10.1016/0167-8191(89)90105-1

Alan Stewart SIMD Language Design Using Prescriptive Semantics. 639-649 1988 28 BIT 3 db/journals/bit/bit28.html#Stewart88 https://doi.org/10.1007/BF01941139

Maurice Clint Donal Roantree Alan Stewart Towards the construction of an eigenvalue engine. 127-132 1988 8 Parallel Comput. 1-3 db/journals/pc/pc8.html#ClintRS88 https://doi.org/10.1016/0167-8191(88)90116-0

Christopher M. Holt Alan Stewart Maurice Clint Ronald H. Perrott An Improved Parallel Thinning Algorithm. 156-160 1987 30 Commun. ACM 2 db/journals/cacm/cacm30.html#HoltSCP87 https://doi.org/10.1145/12527.12531

Alan Stewart The formal specification of computational structures. 1986 Queen's University Belfast, UK https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.317076 British Library, EThOS Ronald H. Perrott Christopher M. Holt Maurice Clint Alan Stewart A Parallel Processing Algorithm for Thinning Digitised Pictures. 183-189 1986 conf/conpar/1986 CONPAR db/conf/conpar/conpar86.html#PerrottHCS86 https://doi.org/10.1007/3-540-16811-7_169

Maurice Clint Ronald H. Perrott Christopher M. Holt Alan Stewart The Influence of Hardware and Software Considerations on the Design of Synchronous Parallel Algorithms. 961-974 1983 13 Softw. Pract. Exp. 10 db/journals/spe/spe13.html#ClintPHS83 https://doi.org/10.1002/spe.4380131007

Alan Stewart A New Type of VF Repeater for Two-Wire Transmission Loops. 242-250 1974 22 IEEE Trans. Commun. 2 https://doi.org/10.1109/TCOM.1974.1092161 db/journals/tcom/tcom22.html#Stewart74

Daniel Amyot Malak Baslyman Eamonn Boyle James M. Boyle Jorge Castro Rana Chreyh Maurice Clint Marco Danelutto Frédéric Desprez Stephen Fitzpatrick Paraskevi Fragopoulou Joaquim Gabarró Alina García Glen Geiger Terence J. HarmerTerry Harmer Christopher M. Holt Benoit Hudzia Anthony Keenan Peter Kilpatrick Maik A. Lindner Alain Mouttham Ronald H. Perrott Raoufeh Rezaee Donal Roantree Samer Sader Maria J. Serna Jonathan Sinclair Yih Leong Sun Isabel Vallejo Peter Wright