SPE/ANTEC 1999 Proceedings

SPE/ANTEC 1999 Proceedings

Author: Spe

Publisher: CRC Press

Published: 1999-04-29

Total Pages: 1430

ISBN-13: 9781566768047

DOWNLOAD EBOOK

Volume 2 of the conference proceedings of the SPE/Antac on 'Plastics Bridging the Millennia- subtopic of 'Materials', held on the 2-6 May 1999 in New York City, USA.


Advances in Neural Information Processing Systems 12

Advances in Neural Information Processing Systems 12

Author: Sara A. Solla

Publisher: MIT Press

Published: 2000

Total Pages: 1124

ISBN-13: 9780262194501

DOWNLOAD EBOOK

The annual conference on Neural Information Processing Systems (NIPS) is the flagship conference on neural computation. It draws preeminent academic researchers from around the world and is widely considered to be a showcase conference for new developments in network algorithms and architectures. The broad range of interdisciplinary research areas represented includes computer science, neuroscience, statistics, physics, cognitive science, and many branches of engineering, including signal processing and control theory. Only about 30 percent of the papers submitted are accepted for presentation at NIPS, so the quality is exceptionally high. These proceedings contain all of the papers that were presented.


Secure Internet Programming

Secure Internet Programming

Author: Jan Vitek

Publisher: Springer

Published: 2007-10-23

Total Pages: 500

ISBN-13: 3540487492

DOWNLOAD EBOOK

Large-scale open distributed systems provide an infrastructure for assembling global applications on the basis of software and hardware components originating from multiple sources. Open systems rely on publicly available standards to permit heterogeneous components to interact. The Internet is the archetype of a large-scale open distributed system; standards such as HTTP, HTML, and XML, together with the widespread adoption of the Java language, are the cornerstones of many distributed systems. This book surveys security in large-scale open distributed systems by presenting several classic papers and a variety of carefully reviewed contributions giving the results of new research and development. Part I provides background requirements and deals with fundamental issues in trust, programming, and mobile computations in large-scale open distributed systems. Part II contains descriptions of general concepts, and Part III presents papers detailing implementations of security concepts.


UML'99 - The Unified Modeling Language: Beyond the Standard

UML'99 - The Unified Modeling Language: Beyond the Standard

Author: Robert B. France

Publisher: Springer

Published: 2003-07-31

Total Pages: 739

ISBN-13: 3540468528

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA in September 1999. The 44 revised full papers presented together with two invited contributions and three panel summaries were carefully reviewed and selected from a total of 166 submissions. The papers are organized in topical sections on software architecture, UML and other notations, formalizing interactions, meta modeling, tools, components, UML extension mechanisms, process modeling, real-time systems, constraint languages, analyzing UML models, precise behavioral modeling, applying UML sequence design, and coding.


Reliable Software Technologies - Ada-Europe '99

Reliable Software Technologies - Ada-Europe '99

Author: Michael Gonzalez Harbour

Publisher: Springer

Published: 2003-07-31

Total Pages: 464

ISBN-13: 3540487530

DOWNLOAD EBOOK

The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.