Menu

Savas Parastatidis

31 published titles

A grid application framework based on web services specifications and practices

(Contributor)

1 edition

  • University of Newcastle Upon Tyne, Computing Science
  • 2004
  • Details

Grid computing using web services

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2005
  • Details

Guaranteeing the soundness of rely/guarantee rules

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2006
  • Details

Determining the specification of a control system : an illustrative example

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2006
  • Details

Detecting architectural mismatches between web services

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2007
  • Details

Deriving specifications for systems that are connected to the physical world

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2007
  • Details

Guided formal development : patterns for modelling and refinement

(Contributor)

1 edition

  • Univ. of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems : a technical diary

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Concurrent management of composite services according to response time SLAs

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

The threat of uncertainty in service-oriented architecture

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Structured occurrence nets : a formalism for aiding system failure prevention and analysis techniques

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

On modelling and analysis of dynamic reconfiguration of dependable real-time systems

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Semantic models for a logic of partial functions

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

An algorithm for direct construction of complete merged processes

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Are formal methods ready for agility? : a reality check

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Colour, usability and security : a case study

(Contributor)

1 edition

  • Computer Science, Newcastle University
  • 2010
  • Details

A collaborative ontology development tool for information security managers

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Dependability metadata acquisition and assessment : a state of the art survey

(Contributor)

1 edition

  • University of Newcastle upon Tyne
  • 2010
  • Details

e-Science central : cloud-based e-science and its application to chemical property modelling

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2010
  • Details

Incremental workflow improvement through analysis of its data provenance

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

SHAPE your CLASS : improving the lecture experience

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

Patterns of representing FMEA in formal specification of control systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

A formal approach to collaborative modelling and co-simulation for embedded systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Dependable workflow reconfiguration in WS-BPEL

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

Scalable and responsive event processing in the cloud

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Regions of petri nets with a/sync connections

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Rigorous development of dependable systems using fault tolerance views

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Cloud computing for chemical activity prediction

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2011
  • Details

Design, modelling and analysis of a workflow reconfiguration

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

Distributed event processing for activity recognition

(Contributor)

1 edition

  • Newcastle University
  • 2011
  • Details

Driving privacy controls with social context

(Contributor)

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2012
  • Details

obnb.uk is a Good Stuff website.