Similar Items

• Automated specification and verification of web systems selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV '06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) : November 19, 2006, Paphos, Cyprus / Maria Alpuente, Santiago Escobar, Moreno Falaschi (eds.).
  Published: (2007)
• Proceedings of ECOWS '06 European Conference on Web Services : 4-6 December 2006, Zurich, Switzerland / [edited by Abraham Bernstein, Thomas Gschwind, and Wolf Zimmermann].
  Published: (2006)
• International Syposium on Applications and the Internet Workshops proceedings : January 23 - 27, 2006, Phoenix, Arizona / co-sponsored by the IEEE Computer Society (IEEE-CS) and the Information Processing Society of Japan (IPSJ) ; in cooperation with Communications Society (CS) and Information and Systems Society (ISS) of the Institute of Electronics, Information and Communication Engineers (IEICE).
  Published: (2006)
• International Symposium on Applications and the Internet Workshops proceedings : January 23-27, 2006, Phoenix, Arizona / co-sponsored by the IEEE Computer Society (IEEE-CS) and the Information Processing Society of Japan (IPSJ) ; in cooperation with Communications Society (CS) and Information and Systems Society (ISS) of the Institute of Electronics, Information and Communication Engineers (IEICE).
  Published: (2006)
• First International Workshop on Advanced Architectures and Algorithms for Intenet Delivery and Applications proceedings : 15 June, 2005, Orlando, Florida / IEEE Computer Society.
  Published: (2006)