Filter
Programvaruteknik
Filter
The third international workshop on AD-HOC NetwOrks and Wireless was held in the downtown Vancouver facilities of Simon Fraser University. The ?rst ADHOC-NOW was held in 2002 at …
This book constitutes the refereed proceedings of the International Conference on Evolutionary Computation held jointly with the 4th Conference on Parallel Problem Solving from …
The commercial exploitation of distributed computing technologies is slowly starting to become popular under the general area of cloud computing. These solutions allow selling and …
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 …
The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within …
This book constitutes the refereed proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, held in Nancy, France, in June …
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in …
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical …
It is our great pleasure to welcome you to the proceedings of the 10th annual event of the International Conference on Algorithms and Architectures for Parallel Processing …
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. …