Web Services / IEEE / Resource Management / Robustness / Formal Proof / Web Service / Use Case / Concurrency Control / Transaction Processing / Boolean Satisfiability / Architectural Style / Web Service / Use Case / Concurrency Control / Transaction Processing / Boolean Satisfiability / Architectural Style
Computer Science / Informatics / Web Services / Flow Control / BPEL / Quality of Service / IEEE / Business Process / Data Exchange / Web Service / Logic Design / Dynamic Environment / Electronic Data Interchange / Distributed Environment / Quality of Service / IEEE / Business Process / Data Exchange / Web Service / Logic Design / Dynamic Environment / Electronic Data Interchange / Distributed Environment
Computer Science / Informatics / Web Services / Flow Control / BPEL / Quality of Service / IEEE / Business Process / Data Exchange / Web Service / Logic Design / Dynamic Environment / Electronic Data Interchange / Distributed Environment / Quality of Service / IEEE / Business Process / Data Exchange / Web Service / Logic Design / Dynamic Environment / Electronic Data Interchange / Distributed Environment