Ada Moving Towards 2000

Author : Jan Katwijk
Publisher : Springer Science & Business Media
Page : 340 pages
File Size : 49,8 Mb
Release : 1992-05-25
Category : Computers
ISBN : 3540555854

Get Book

Ada: Moving Towards 2000 by Jan Katwijk Pdf

Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems.

Author : Jan Van Katwijk
Publisher : Unknown
Page : 336 pages
File Size : 40,6 Mb
Release : 2014-01-15
Category : Electronic
ISBN : 3662196980

Get Book

ADA by Jan Van Katwijk Pdf

Author : Mark Ratcliffe
Publisher : IOS Press
Page : 472 pages
File Size : 40,9 Mb
Release : 1995
Category : Ada (Computer program language)
ISBN : 9051992181

Get Book

ADA Yearbook 1995 by Mark Ratcliffe Pdf

This the fifth issue of the annual publication organized by ADA UK. The intended audience includes managers (needing contact addresses and access to information about ADA products), software and systems engineers using ADA or those intending to use it, requiring detailed technical information about the language. Moreover, those readers new to ADA will be able to gain useful insights about the language and its evolution.

Author : Chris Loftus
Publisher : IOS Press
Page : 506 pages
File Size : 46,6 Mb
Release : 1993
Category : Computers
ISBN : 905199124X

Get Book

ADA Yearbook 1993 by Chris Loftus Pdf

Author : Chris Loftus
Publisher : IOS Press
Page : 466 pages
File Size : 47,8 Mb
Release : 1994
Category : Computers
ISBN : 905199155X

Get Book

ADA Yearbook 1994 by Chris Loftus Pdf

Author : Alfred Strohmeier
Publisher : Springer Science & Business Media
Page : 522 pages
File Size : 48,9 Mb
Release : 1996-05-29
Category : Computers
ISBN : 354061317X

Get Book

Reliable Software Technologies - Ada Europe 96 by Alfred Strohmeier Pdf

Content Description #Includes bibliographical references and index.

Author : Michel Gauthier
Publisher : Springer Science & Business Media
Page : 372 pages
File Size : 40,7 Mb
Release : 1993-06-07
Category : Computers
ISBN : 3540568026

Get Book

Ada-Europe '93 by Michel Gauthier Pdf

This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.

Author : W. J. Taylor
Publisher : IOS Press
Page : 216 pages
File Size : 46,5 Mb
Release : 1992
Category : Computers
ISBN : 9051991134

Get Book

Ada in Transition by W. J. Taylor Pdf

"The book reviews the current practice in Ada applications, innovative developments in Ada technology, how Ada can be applied in more demanding systems in the safety-critical area and reports on the Ada 9X revision effort"--Preface.

Author : R.R. Tewari,Abhay Kumar Rai
Publisher : Allied Publishers
Page : 312 pages
File Size : 53,5 Mb
Release : 2016-07-20
Category : Electronic
ISBN : 9789385926204

Get Book

Advances in Computing, Control and Communication Technology by R.R. Tewari,Abhay Kumar Rai Pdf

This book contains proceedings of the International Conference on Advances in Computing, Control and Communication Technology (IAC3T) organized by Centre for Computer Education, Institute of Professional Studies, University of Allahabad during March 25-27, 2016 at Allahabad. A total of 138 full papers were submitted to the conference, out of which about 40 papers were accepted and finally 35 papers were presented during the conference. This book contains these papers. The conference was a major multidisciplinary conference organized with the objective to expose the participants to the emerging trends in the area of computing, control and communication technology. The conference intended to serve as a major international forum for the exchange of ideas and to provide an interactive platform to the students (budding engineers), engineers, researchers and academicians to exchange their innovative ideas and experiences in the area of advancements in computing, control and communication technology.

Author : Stephen J. Hanson,Werner Remmele,Ronald L. Rivest
Publisher : Springer Science & Business Media
Page : 292 pages
File Size : 51,7 Mb
Release : 1993-03-30
Category : Computers
ISBN : 3540564837

Get Book

Machine Learning: From Theory to Applications by Stephen J. Hanson,Werner Remmele,Ronald L. Rivest Pdf

This volume includes some of the key research papers in the area of machine learning produced at MIT and Siemens during a three-year joint research effort. It includes papers on many different styles of machine learning, organized into three parts. Part I, theory, includes three papers on theoretical aspects of machine learning. The first two use the theory of computational complexity to derive some fundamental limits on what isefficiently learnable. The third provides an efficient algorithm for identifying finite automata. Part II, artificial intelligence and symbolic learning methods, includes five papers giving an overview of the state of the art and future developments in the field of machine learning, a subfield of artificial intelligence dealing with automated knowledge acquisition and knowledge revision. Part III, neural and collective computation, includes five papers sampling the theoretical diversity and trends in the vigorous new research field of neural networks: massively parallel symbolic induction, task decomposition through competition, phoneme discrimination, behavior-based learning, and self-repairing neural networks.

Author : Jim Woodcock,James C.P. Woodcock,Peter G. Larsen
Publisher : Springer Science & Business Media
Page : 712 pages
File Size : 55,7 Mb
Release : 1993
Category : Business & Economics
ISBN : 3540566627

Get Book

FME '93: Industrial-Strength Formal Methods by Jim Woodcock,James C.P. Woodcock,Peter G. Larsen Pdf

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME'93. The symposium focuses on the application of industrial-strength formal methods. Authors address the difficulties of scaling their techniques up to industrial-sized problems, and their suitability in the workplace, and discuss techniques that are formal (that is, they have a mathematical basis) and that are industrially applicable. The volume has four parts: - Invited lectures, containing a lecture by Cliff B. Jones and a lecture by Antonio Cau and Willem-Paul de Roever; - Industrial usage reports, containing 6 reports; - Papers, containing 32 selected and refereedpapers; - Tool descriptions, containing 11 descriptions.

Author : Günther Pernul,A Min Tjoa
Publisher : Springer Science & Business Media
Page : 460 pages
File Size : 49,5 Mb
Release : 1992-10-05
Category : Computers
ISBN : 3540560238

Get Book

Entity-Relationship Approach - ER '92 by Günther Pernul,A Min Tjoa Pdf

This volume comprises the proceedings of the Eleventh International Conference on the Entity-Relationship Approach held in Karlsruhe, Germany, October 7-9, 1992. It contains the full versions of all the 22 accepted papers selected from in total 64 submissions; in addition, the two invited talks by Scheer and by Tsichritzis and others are represented asfull papers and the two other invited speakers contribute extended abstracts. All the contributions describe original research related to theoretical or practical aspects of the Entity-Relationship Approach,reflecting the trend of recent years in a wide range of database research activities. In particular, the topics database design aspects, object-orientation, integrity constraints, query languages, knowledge-based techniques, and development of new applications are addressed.

Author : Patrice Enjalbert,Alain Finkel
Publisher : Springer Science & Business Media
Page : 744 pages
File Size : 44,9 Mb
Release : 1993-02-19
Category : Computers
ISBN : 3540565035

Get Book

STACS 93 by Patrice Enjalbert,Alain Finkel Pdf

This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.

Author : Franz Schmalhofer,Gerhard Strube
Publisher : Springer Science & Business Media
Page : 280 pages
File Size : 53,8 Mb
Release : 1992-08-12
Category : Computers
ISBN : 3540557113

Get Book

Contemporary Knowledge Engineering and Cognition by Franz Schmalhofer,Gerhard Strube Pdf

This book has its source in the question of whether any knowledge engineering tools can be applied or analyzed in cognition research and what insights and methods of cognitive science might be relevant for knowledge engineers. It presents the proceedings of a workshop organized by the Special Interest Groups Cognition and Knowledge Engineering of the German Society for Informatics, held in February 1992 in Kaiserslautern. The book is structured into three parts. The first part contrasts work in knowledge engineering with approaches from the side of the "soft sciences". The second part deals with case-based approaches in expert systems. Cognition research and the cognitive adequacy of expert systems are discussed in the third part. Contributions from Canada, England, France, Switzerland, and the USA demonstrate how knowledge engineering and cognitive science are woven together internationally.

Author : Dietmar Franzen
Publisher : Springer Science & Business Media
Page : 646 pages
File Size : 55,8 Mb
Release : 2000-10-04
Category : Business & Economics
ISBN : 3540679340

Get Book

Design of Master Agreements for OTC Derivatives by Dietmar Franzen Pdf

I first came across the issue of derivatives documentation when writing my diploma thesis on measuring the credit risk ofOTC derivatives while I was an economics student at the University of Bonn. Despite the fact that security design has been an area of research in economics for many years and despite the widespread use of derivatives documentation in financial practice, the task of designing contracts for derivatives transactions has not been dealt with in financial theory. The one thing that aroused my curiosity was that two parties with usually opposing interests, namely banking supervisors and the banking industry's lobby, unanimously endorse the use ofcertain provisions in standardized contracts called master agreements. Do these provisions increase the ex ante efficiency of contracts for all parties involved? I actually began my research expecting to find support for the widely held beliefs about the efficiency or inefficiency of certain provisions and was sur prised to obtain results that contradicted the conventional wisdom. I would strongly advise against using these results in any political debate on deriva tives documentation. They were obtained within a highly stylized model with some restrictive assumptions. This work should rather be seen as an attempt to formalize the discussion on derivatives documentation and to challenge the notion that certain provisions are generally ex ante efficient. It is also an invitation to all those advocating the use of certain provisions in master agreements to formalize their arguments and to explain the economic ratio nale behind these provisions.