Login / Signup
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations.
Faisal Abouzaid
Published in:
Computer Supported Acitivity Coordination (2006)
Keyphrases
</>
web services
software tools
data intensive
service selection
database
data mining
genetic algorithm
web applications
conceptual model
service discovery
face verification
service architecture