Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings: 4184 (Lecture Notes in Computer Science) - Tapa blanda

 
9783540388623: Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings: 4184 (Lecture Notes in Computer Science)

Sinopsis

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

"Sobre este título" puede pertenecer a otra edición de este libro.