Filter by
Formalizing Data-Centric Web Services
The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24678-9
- Collation
- XIII, 131 pages
- Series Title
- Web-Scale Workflow and Analytics
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
- Edition
- -
- ISBN/ISSN
- 9783319194585
- Collation
- XVI, 213 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Theory of Control Systems Described by Differential Inclusions
This book provides a brief introduction to the theory of finite dimensional differential inclusions, and deals in depth with control of three kinds of differential inclusion systems. The authors introduce the algebraic decomposition of convex processes, the stabilization of polytopic systems, and observations of Luré systems. They also introduce the elemental theory of finite dimensional diffe…
- Edition
- -
- ISBN/ISSN
- 978-3-662-49245-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Practice of Model Transformations 8th International Conference, I…
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21155-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technol…
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to deb…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26427-1
- Collation
- X, 199
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Open Source Geospatial Tools:Applications in Earth Observation
This book focuses on the use of open source software for geospatial analysis. It demonstrates the effectiveness of the command line interface for handling both vector, raster and 3D geospatial data. Appropriate open-source tools for data processing are clearly explained and discusses how they can be used to solve everyday tasks.A series of fully worked case studies are presented including vecto…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-01823-2
- Collation
- XXVII, 358
- Series Title
- Earth Systems Data and Models
- Call Number
- -
Online Game Pioneers at Work
In this groundbreaking collection of 15 interviews, successful founders of entertainment software companies reflect on their challenges and how they survived. You will learn of the strategies, the sacrifices, the long hours, the commitment, and the dedication to quality that led to their successes but also of the toll that this incredibly competitive market has on even its most brilliant minds.…
- Edition
- 1
- ISBN/ISSN
- 978-1-4302-4186-7
- Collation
- XIV, 412
- Series Title
- -
- Call Number
- -
Object-Oriented Technology
The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter. The approac…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-20441-3
- Collation
- XIV, 209
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography