george-baryannis documents

Deriving composite service specifications
Investor Relations Deriving composite service specifications
Lifecycle Management of Service-based Applications on Multi-Clouds: A Research Roadmap
Travel Lifecycle Management of Service-based Applications on Multi-Clouds: A Research Roadmap
The Frame Problem in Web Service Specifications
Documents The Frame Problem in Web Service Specifications
WSSL: A Fluent Calculus-based Language for Web Service Specifications
Technology WSSL: A Fluent Calculus-based Language for Web Service Specifications
Fluent Calculus-based Semantic Web Service Composition and Verification using WSSL
Technology Fluent Calculus-based Semantic Web Service Composition and Verification using WSSL
Deriving Specifications for Composite Web Services
Documents Deriving Specifications for Composite Web Services
Towards Realizing Dynamic QoS-aware Web Service Composition
Documents Towards Realizing Dynamic QoS-aware Web Service Composition
A Novel Specification and Composition Language for Services
Presentations & Public Speaking A Novel Specification and Composition Language for Services
Rule-based Real-Time Activity Recognition in a Smart Home Environment
Presentations & Public Speaking Rule-based Real-Time Activity Recognition in a Smart Home Environment