Gender-from-iris or gender-from-mascara?

A Kuehlkamp, B Becker… - 2017 IEEE winter …, 2017 - ieeexplore.ieee.org
Predicting a person's gender based on the iris texture has been explored by several
researchers. This paper considers several dimensions of experimental work on this problem …

An approach to check choreography with channel passing in WS-CDL

C Chao, Q Zongyan - 2008 IEEE International Conference on …, 2008 - ieeexplore.ieee.org
Channel passing mechanisms enable dynamically determining destinations of message
transferring. WS-CDL, a language developed by W3C for the specification of Web services …

Premonition of storage response class using skyline ranked ensemble method

K Dheenadayalan, VN Muralidhara… - … Conference on High …, 2014 - ieeexplore.ieee.org
Tertiary storage areas are integral parts of compute environment and are primarily used to
store vast amount of data that is generated from any scientific/industry workload. Modelling …

A logical formal model for verification of Web Service Choreography

Z Madani, N Nematbakhsh - 2009 12th International …, 2009 - ieeexplore.ieee.org
Several methods and languages have been developed to describe computer system
specifications and some of them have been deployed to validate and verify the functionality …

A formal model for service choreography with exception handling and finalization

Y Zhao, Z Wang, G Pu, H Zhu - 2010 4th IEEE International …, 2010 - ieeexplore.ieee.org
The service choreography gives a global view on the collaboration among a collection of
services involving multiple different organizations or independent processes. In this paper, a …

Algorithms for checking channel passing in web service choreography

H Yang, C Cai, L Peng, X Zhao, Z Qiu, S Qin - Frontiers of Computer …, 2013 - Springer
Web service choreography describes global models of service interactions among a set of
participants. For an interaction to be executed, the participants must know the required …

'Correction of unrealizable service choreographies'

M Mancioppi - 2015 - research.tilburguniversity.edu
This thesis is devoted to the detection and correction of design flaws affecting service
choreographies. Service choreographies are models that specify how software services are …

[PDF][PDF] Reliability Engineering for Service Oriented Architectures.

M Pilling - 2013 - dst.defence.gov.au
This paper reviews the state of the art in Software Reliability Engineering (SRE), and adapts
these methods for use in Service Oriented Architecture (SOA). While some prior work has …

A logical representation and verification of web service choreography

Z Madani, N Nematbakhsh, K Zamanifar… - 2009 Third …, 2009 - ieeexplore.ieee.org
Web services choreography describes global model of services interactions among a set of
participants. The correct description of choreography is very important, so before …

[PDF][PDF] An Approach to Checking Choreography with Channel Passing in WS-CDL

C Chao, Q Zongyan - researchgate.net
WS-CDL is a language to describe Web services choreographies, which can be projected
into individual services or orchestration skeletons. This language adopts a channel passing …