Searching for authors named "Howard Foster" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Re-format page sizes
- … to Service Models Abstract Howard Foster This paper presents a rigorous approach to specifying, modelling…
- Add To MetaCart
-
Tool Support for Safety Analysis of Service Composition and Deployment Models
- …Tool Support for Safety Analysis of Service Composition and Deployment Models Howard Foster…
- Add To MetaCart
-
A Service Architecture, Behaviour and Deployment Verification Platform
- … Foster Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2BZ, UK. howard.foster…
- Add To MetaCart
-
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
- …Leveraging Integrated Tools for Model-Based Analysis of Service Compositions Howard Foster…
- Add To MetaCart
-
Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions
- …Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions Howard…
- Add To MetaCart
-
Adaptable software architectures and task synthesis for uavs
- …Adaptable Software Architectures and Task Synthesis for UAVs Howard Foster, Jeff Magee, Jeff…
- Cited by 1 (1 self) – Add To MetaCart
-
Compatibility Verification for Web Service Choreography
- …Compatibility Verification for Web Service Choreography Howard Foster, Sebastian Uchitel, Jeff…
- Cited by 19 (0 self) – Add To MetaCart
-
Towards Self-Management in Service-oriented Computing with Modes
- …Towards Self-Management in Service-oriented Computing with Modes Howard Foster, Sebastian Uchitel…
- Cited by 1 (1 self) – Add To MetaCart
-
Leveraging Modes and UML2 for Service Brokering Specifications
- …Leveraging Modes and UML2 for Service Brokering Specifications Howard Foster, Sebastian Uchitel…
- Cited by 1 (1 self) – Add To MetaCart
-
LTSA-WS: a tool for modelbased verification of web service compositions and choreography
- …LTSA-WS: A Tool for Model-Based Verification of Web Service Compositions and Choreography Howard…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
