-----Original Message----- From: owner-ifip_tcchairs@ifip.or.at [mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden Sent: terça-feira, 14 de Maio de 2002 08:29 To: MS&ED Subject: [IFIP] New TC6 books
Dear Member Societies and Editors,
You may be interested in this note concerning new IFIP TC6 publications.
Best regards, Dorothy ************************************************************
SMART NETWORKS edited by Olli Martikainen , Lappeenranta University of Technology, Finland Kimmo Raatikainen, University of Helsinki, Finland Jenni Hyvärinen, Lappeenranta University of Technology, Finland
Smart Networks comprises the proceedings of Smartnet'2002, the seventh conference on Intelligence in Networks, which was sponsored by the International Federation for Information Processing (IFIP) and organized by Working Group 6.7. It was held in Saariselkä, Finland, in April 2002.
The conference series closely reflects the developments in networking. Currently we are facing two conflicting trends: the increasing popularity of the Internet and the growth of mobile communications. The traditional Internet approach is to regard a network as a dummy pipe of bits and place all the intelligence in the end-devices. The traditional telecom approach is to regard the end-devices as dummy senders or receivers of bits and to put all the intelligence in the network. For fixed-line access to the Internet using a powerful PC, the Internet approach is plausible. However, for a nomadic user, who sometimes accesses services through a fixed-line Internet connection and, at other times, through a wireless connection using a restricted-capability access device, the situation becomes intolerable. Intelligence needs to be distributed and partially replicated in end-user devices, access networks, and the core network.
The presentations in this volume consider these new trends and cover three major topics: platform software, services, and protocols. The sessions on platform software address various aspects of software infrastructure in networks including object-orientation, components, agents, and plug-and-play. The session on services includes interactive TV, group communication, and location awareness. The session on protocols discusses bandwidth brokers, authentication, and protocol testing.
For a complete Table of Contents and Contributors listing, please go to Kluwer's web page for the book at http://www.wkap.nl/book.htm/0-4020-7008-X. Hardbound, ISBN 1-4020-7008-X March 2002 , 316 pp. EUR 165.00 / USD 150.00 / GBP 105.00
******************************************************
TESTING OF COMMUNICATING SYSTEMS XIV
Applications to Internet Technologies and Services edited by Ina Schieferdecker, Fraunhofer Research Institute for Open Communication Systems, Berlin, Germany Hartmut König, Brandenburg University of Technology, Cottbus, Germany Adam Wolisz, Telecommunication Networks Technical University of Berlin, Germany
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.
The topics covered in this volume include: Testing TCP/IP; Testing Internet systems; Interoperability testing; Test automation; Test generation and selection; Testing distributed systems; FSM-based testing; Applications of TTCN-3; and Industrial sessions.
This volume contains the papers presented at the 14th International Conference on Testing of Communicating Systems (TestCom 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Berlin, Germany, in March 2002. The conference program presents the state of the art in research concerning the testing of communicating systems. This is an important research area in the development of computer networks and distributed applications where much activity is currently in progress. The TestCom series of conferences is one of the main international forums where these important findings are reported. Testing of Communicating Systems XIV is essential reading for engineers, designers, managers of IT products and services, and all researchers interested in advancing the technology of engineering Internet frameworks, systems, services, and applications for reliability and quality.
For a complete Table of Contents and Contributors listing, please go to Kluwer's web page for the book at http://www.wkap.nl/book.htm/0-7923-7695-1. Hardbound, ISBN 0-7923-7695-1 March 2002 , 462 pp. EUR 213.00 / USD 195.00 / GBP 135.00
****************************************************
FORMAL METHODS FOR OPEN OBJECT-BASED SYSTEMS V edited by Bart Jacobs, University of Nijmegen, The Netherlands Arend Rensink, University of Twente, Enschede, The Netherlands
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology.
Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
For a complete Table of Contents and Contributors listing, please go to Kluwer's web page for the book at http://www.wkap.nl/book.htm/0-7923-7683-8. Hardbound, ISBN 0-7923-7683-8 February 2002 , 296 pp. EUR 175.00 / USD 160.00 / GBP 111.00
****************************************************
------------------------- IFIP Secretariat Hofstrasse 3 A-2361 Laxenburg, Austria Tel: +43 2236 73616 Fax: +43 2236 736169 www: http://www.ifip.or.at/