Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.

WithgreatpleasurewewelcomedtheattendeestoEWSN2004, the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin. Wireless sensor networks are a key technology for new ways of interaction betweencomputersandthephysicalenvironmentwhichsurroundsus.Compared to traditional networking technologies, wireless sensor networks are faced with a rather unique mix of challenges: scalability, energy e?ciency, self-con?guration, constrainedcomputationandmemoryresourcesinindividualnodes, data-cent- city, and interaction with the physical environment, to name but a few. The goal of this workshop is to create a forum for presenting new results in the ?ourishing ?eld of wireless sensor networks. By bringing together academia and industry we hope to stimulate new opportunities for collaborations. In compiling the scienti?c program we have been quite selective. Thanks to the e?orts of 90 reviewers who delivered 252 reviews for the 76 papers originally submitted from all over the world, a strong selection of the 24 best contributions was made possible. The Technical Program Committee created an outstanding program covering the broad scope of this highly interdisciplinary ?eld: from distributed signal processing through networking and middleware issues to - plication experience. Running such a workshop requires dedication and much work from many people. We want to thank in particular Petra Hutt, Irene Ostertag and Heike Klemz for their valuable and esteemed help in the local organization of this workshop. We hope that you enjoy this volume, and if you were lucky enough to - tend we hope that you enjoyed the discussions with colleagues working in this fascinating are

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29 October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume."

Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.