Cargando…

Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and sele...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Bravetti, Mario (Editor ), Bultan, Tevfik (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:	1st ed. 2011.
Colección:	Programming and Software Engineering, 6551
Temas:	Application software. Software engineering. Electronic data processing-Management. Information storage and retrieval systems. User interfaces (Computer systems). Human-computer interaction. Computer and Information Systems Applications. Software Engineering. IT Operations. Information Storage and Retrieval. User Interfaces and Human Computer Interaction.
Acceso en línea:	Texto Completo

Ejemplares similares

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
Publicado: (2012)

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /
Publicado: (2010)

The Personal Web A Research Agenda /
Publicado: (2013)

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III /
Publicado: (2016)

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /
Publicado: (2005)

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II /
Publicado: (2016)

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I /
Publicado: (2016)

Advances in Production Management Systems: New Challenges, New Approaches International IFIP WG 5.7 Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers /
Publicado: (2010)

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006, Revised Papers /
Publicado: (2007)

Pervasive Computing 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings /
Publicado: (2011)

Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010, Proceedings /
Publicado: (2010)

Advances in Multimedia Information Processing -- PCM 2010, Part II 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010 Proceedings /
Publicado: (2010)

Web Mining and Social Networking Techniques and Applications /
por: Xu, Guandong, et al.
Publicado: (2011)

Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers /
Publicado: (2005)

Weaving Services and People on the World Wide Web
Publicado: (2009)

Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010, Revised Selected Papers /
Publicado: (2010)

Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010,Chennai, India, July 23-25, 2010. Proceedings /
Publicado: (2010)

Mobile Computing, Applications, and Services Second International ICST Conference, MOBICASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers /
Publicado: (2012)

Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /
Publicado: (2015)

Human Interface and the Management of Information Information and Interaction Design, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
Publicado: (2013)

Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings /
Publicado: (2016)

Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers /
Publicado: (2016)

Advances in New Technologies, Interactive Interfaces, and Communicability First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers /
Publicado: (2011)

U- and E-Service, Science and Technology International Conference UNESST 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings /
Publicado: (2010)

Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /
Publicado: (2010)

Algorithms for Computational Biology Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings /
Publicado: (2015)

Visualization for Information Retrieval
por: Zhang, Jin
Publicado: (2008)

Social Computing and Social Media 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings /
Publicado: (2014)

Dynamic Taxonomies and Faceted Search Theory, Practice, and Experience /
Publicado: (2009)

Search Engines for Children Search User Interfaces and Information-Seeking Behaviour /
por: Gossen, Tatiana
Publicado: (2015)

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /
Publicado: (2005)

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013, Proceedings /
Publicado: (2013)

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012, Proceedings /
Publicado: (2012)

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings /
Publicado: (2014)

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments /
Publicado: (2007)

Engineering the Web in the Big Data Era 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings /
Publicado: (2015)

Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011, Proceedings /
Publicado: (2011)

Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers /
Publicado: (2013)

Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers /
Publicado: (2010)

Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011, Proceedings /
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_cus6apm3ln49soo4frr19t68b9