This volume constitutes the proceedings of the Second International Conference on Intelligence in Broadband Services and Networks (IS&N '94), held in Aachen, Germany in September 1994. The book addresses the design of telecommunication services in the rapidly changing technological and regulatory environment. The 47 revised papers presented in the volume reflect work done under the CEC RACE project "Intelligence in Services and Networks" as well as individual research done independently. The volume is organized in 11 chapters, all introduced by surveys by the session chairpersons. Among the topics covered are: the context of IS&N, user interfaces, component models and service creation, TMN implementation, service management, and beyond IN.

This volume constitutes the proceedings of the Third International Conference in Broadband Services and Networks, IS&N '95, held in Heraclion, Greece, in October 1995; this book summarizes at the same time the main results of a group of RACE projects sponsored by the European Commission for several years. To meet the new challenges in broadband communication, service engineering has now emerged as a new discipline strongly related to software engineering; particularly the concepts of object-orientation and open distributed processing are being adopted. The book presents 44 full papers and 8 posters selected from 88 submissions. Among the issues addressed are service architecture, usability, communications management, advanced communication services, security, and service creation.

Creation Techniques for Software Development and Deployment, Agent-Based Management, Virtual Home Environment, Integrated and Scalable Solutions for Telecommunications Management. This shows that the issues related to communications management, architectures, and service creation are still of great interest, while the virtual home environment is emerging as a new key topic in IS&N. In summary, this book reflects the state of the art in research on IS&N topics, with the focus mentioned above, not only from European Union co-funded projects (mainly in the ACTS programme), but also from research organisations around the globe. February 2000 Jaime Delgado George D. Stamoulis Alvin Mullery Didoe Prevedourou Keith Start Previous IS&N Conferences and Proceedings The first IS&N conference was organised in 1992 in Paris, France. Since then, the IS&N conferences have been held almost every year, with proceedings published as part of the Lecture Notes in Computer Science (LNCS) series of Springer-Verlag. These are as follows. "Towards a Pan-European Telecommunication Service Infrastructure - IS&N'94", Hans-Jiirgen Kugler, Al Mullery, Norbert Niebert (Eds.), Aachen, Germany, September 1994, LNCS 851, ISBN 3-540-58420-X. "Bringing Telecommunication Services to the People - IS&N'95", Anne Clarke, Mario Campolargo, Nikos Karatzas (Eds.), Heraklion, Greece, October 1995, LNCS 998, ISBN 3-540-60479-0. "Intelligence in Services and Networks: Technology for Cooperative Competition — IS&N'97\ Al Mullery, Michel Besson, Mario Campolargo, Roberta Gobbi, Rick Reed (Eds.), Cernobbio, Italy, May 1997, LNCS 1238, ISBN 3-540-63135-6.

Teleservice is a common concept for distributed application services related to the use of telecommunication equipment, PCs, workstations and mainframes. Teleservices represent a diversity of applications related to various user and vendor cultures such as traditional telecommunications services, E-mail services, cooperative work, applications, multimedia applications, mobile services and intelligent network services. The complexity and diversity of teleservices are increasing, but of greater importance is the change in the way in which teleservices are designed, delivered and maintained. Information Network and Data Communications captures the cultural as well as the technical variety of teleservice.

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

The motivation for this book is to provide, in a concise format, account of the explorations and integration of the lessons learned from experimental decision support system implementation. This book considers the various aspects of developing decision support systems in a way which is accessible to the full range of participants in the process.