This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia.
With the rapid development of information technologies and the transition to next-generation networks, computer systems and in particular embedded s- tems are becoming more and more mobile and ubiquitous.
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007.
These are the proceedings of the Workshop on Sequences, Subsequences, and Consequences that was held at the University of Southern California (USC), May 31 - June 2, 2007.
Welcome to the proceedings of the 1st International Conference on Network- Based Information Systems (NBiS-2007), in conjunction with the 18th Inter- tional Conference on Database and Expert Systems Applications DEXA-2007, which was held in Regensburg, Germany, September 3-4, 2007.
Since early 1990, multi-agent systems (MAS), data mining, and knowledge d- covery (KDD) have remained areas of high interest in the research and - velopment of intelligent information technologies.
WWIC 2007 was organized by the University of Coimbra, Portugal, and it was the fifth event of a series of International Conferences on Wired/Wireless Internet Communications, addressing research topics such as the design and evaluation of protocols, the dynamics of the integration, the performance trade-offs, the need for new performance metrics, and cross-layer interactions.
Informatics Education - Supporting Computational Thinking contains papers presented at the Third International Conference on Informatics in Secondary Schools - Evolution and Perspective, ISSEP 2008, held in July 2008 in Torun, Poland.
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008.
This two-volume set is assembled following the 2008 International Conference on Computational Science and Its Applications, ICCSA 2008, a premium int- national event held in Perugia, Italy, from June 30 to July 3, 2008.
With the widespread interest in digital entertainment and the advances in the tech- logies of computer graphics, multimedia and virtual reality technologies, a new area-- "e;Edutainment"e;--has been accepted as a union of education and computer entertainment.
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008.
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008.
The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008.
This book presents the proceedings of the Third International Conference on Trust, Privacy and Security in Digital Business (TrustBus 2006), held in Krakow, Poland, September 5-7, 2006.
This book and its sister volumes constitute the Proceedings of the Third International Symposium on Neural Networks (ISNN 2006) held in Chengdu in southwestern China during May 28-31, 2006.