𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Verification of channel passing in choreography with model checking

✍ Scribed by Peng, Liyang; Cai, Chao; Zongyan, Qiu; Pu, Geguang

Book ID: 120643954
Publisher: IEEE
Year: 2009
Weight: 111 KB
Category: Article
ISBN: 1424453003
DOI: 10.1109/SOCA.2009.5410263

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Engineering adaptable service oriented systems: A model driven approach

✍ Kenzi, Adil; Asri, Bouchra El; Nassar, Mahmoud; Kriouile, Abdelaziz 📂 Article 📅 2009 🏛 IEEE ⚖ 280 KB

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - A message meta model for federated authentication in service-oriented architectures

✍ Wolf, Martin; Thomas, Ivonne; Menzel, Michael; Meinel, Christoph 📂 Article 📅 2009 🏛 IEEE ⚖ 184 KB

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - A service-based approach to developing Android Mobile Internet Device (MID) applications

✍ La, Hyun Jung; Kim, Soo Dong 📂 Article 📅 2009 🏛 IEEE ⚖ 366 KB

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - SOABSE: An approach to realizing business-oriented security requirements with Web Service security policies

✍ Phan, Tan; Han, Jun; Mueller, Ingo; Kapuruge, Malinda; Versteeg, Steve 📂 Article 📅 2009 🏛 IEEE ⚖ 515 KB

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Towards dynamic formation of temporal constraints for the service level agreements negotiation

✍ Ismail, Azlan; Yan, Jun; Shen, Jun 📂 Article 📅 2009 🏛 IEEE ⚖ 552 KB

[IEEE 2009 IEEE International Conference

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Extending service model to build an effective service composition framework for cyber-physical systems

✍ Huang, J.; Bastani, F.; Yen, I.-L.; Dong, J.; Zhang, W.; Wang, F.-J.; Hsu, H.-J. 📂 Article 📅 2009 🏛 IEEE ⚖ 160 KB