This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suiteThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suiteHere the authors take the "big picture" perspective, offering a thorough understanding of the concepts behind Web service ...
Lire la suiteAPWeb is an international conference series on WWW technologies and is the primary forum for researchers and practitioners ...
Lire la suiteThe Internet has now become an integral part of everyday life for hundreds of millions of people around the world. However, ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Symposium on Web and Wireless Geographical Information ...
Lire la suitehis book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...
Lire la suiteWorkshop is to provide an up-to-date review of advances on recent development of Web and wireless geographical information ...
Lire la suiteThe aim of the series of annual W2GIS workshops is to provide an up-to-date review of advances on recent devel- ment and ...
Lire la suiteThese proceedings contain the papers selected for presentation at the sixth edition of the International Symposium on Web ...
Lire la suiteThis book includs but not limited to Conceptual and logical models, Data management and retrieval, Geographical search engines, ...
Lire la suiteIt is not just a theoretical exploration of smart cities. It goes beyond that by providing an in-depth look at the key technologies ...
Lire la suiteWiki - Web Collaboration Wikis are Web-based applications that allow all users not only to view pages but also to change ...
Lire la suiteWikis are Web-based applications that allow all users not only to view pages but also to change them. The success of the ...
Lire la suiteCovers the stuff that real systems programmers absolutely must know. Recommended."-Chris Sells, Microsoft Corporation"This ...
Lire la suiteWelcome to the 3rd International Conference on Wired/Wireless Internet C- munications (WWIC). This year we received 117 submissions, ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Wired/Wireless Internet Communications, ...
Lire la suiteThis volume contains the proceedings of the proceedings of the 4th International Conference on Wired/ Wireless Internet Communications ...
Lire la suiteThis book is organized in topical sessions on performance analysis of wireless systems, resource and QoS management, implementation ...
Lire la suiteThe papers in this volume were presented at the First Annual InternationalConference on Wireless Algorithms, Systems, and ...
Lire la suite