Zhenjiang hu (25 Ergebnisse)

Zustand: New. pp. x + 358 Illus.

Hardcover. Zustand: Fine.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Paperback. Zustand: Brand New. 2012 edition. 295 pages. 9.00x6.00x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 358 pages. 9.00x6.00x0.50 inches. In Stock.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms.- Program Transformation and Analysis.- On the Correctness of the Factoring Transformation.- Lambda-Lifting in Quadratic Time.- Semantics.- The Well-Founded Semantics in Normal Logic Programs with Uncertainty.- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.- Coinductive Interpreters for Process Calculi.- Rewriting.- Descendants and Head Normalization of Higher-Order Rewrite Systems.- Narrowing Failure in Functional Logic Programming.- Compilation Techniques.- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.- Dynamic-Cut with Definitional Trees.- Programming Methodology.- The Head Condition and Polymorphic Recursion.- Structural Abstraction and Application in Logic Programming.- VM : A Functional Calculus for Scientific Discovery.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.…

Zustand: New. This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009. The 21 papers presented in this volume together with 3 invited talks were carefully reviewed .

Taschenbuch. Zustand: Neu. Programming Languages and Systems | 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings | Zhenjiang Hu | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642106712 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 358 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 308 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.…

hardcover. Zustand: Fine.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book discusses the problems and challenges in the interdisciplinary research field of self-adaptive software systems. Modern society is increasingly filled with software-intensive systems, which are required to operate in more and more dynamic and uncertain environments. These systems must monitor and control their environment while adapting to meet the requirements at runtime. This book provides promising approaches and research methods in software engineering, system engineering, and related fields to address the challenges in engineering the next-generation adaptive software systems.The contents of the book range from design and engineering principles (Chap. 1) to control-theoretic solutions (Chap. 2) and bidirectional transformations (Chap. 3), which can be seen as promising ways to implement the functional requirements of self-adaptive systems. Important quality requirements are also dealt with by these approaches: parallel adaptation for performance (Chap. 4),self-adaptive authorization infrastructure for security (Chap. 5), and self-adaptive risk assessment for self-protection (Chap. 6). Finally, Chap. 7 provides a concrete self-adaptive robotics operating system as a testbed for self-adaptive systems.The book grew out of a series of the Shonan Meetings on this ambitious topic held in 2012, 2013, and 2015. The authors were active participants in the meetings and have brought in interesting points of view. After several years of reflection, they now have been able to crystalize the ideas contained herein and collaboratively pave the way for solving some aspects of the research problems. As a result, the book stands as a milestone to initiate further progress in this promising interdisciplinary research field.…

Hardcover. Zustand: Brand New. 169 pages. 9.25x6.10x0.55 inches. In Stock.

Zustand: As New. Unread book in perfect condition.

Hardcover. Zustand: Brand New. 125 pages. 9.25x6.10x9.46 inches. In Stock.

Zustand: New.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book summarizes the results of solving the two issues from a 5-year national project in Japan, called Bidirectional Information Systems for Collaborative, Updatable, Interoperable, and Trusted Sharing (BISCUITS) since 2017, with researchers from the National Institute of Informatics, Osaka University, Kyoto University, Nanzan University, Hosei University, Tohoku University, and University of Tokyo. It provides a big picture of the research results, insights, and the new perspectives achieved during the project, paving the way for future further investigation.Along with the continuous evolution of data management systems for the new market requirements, we are moving from centralized systems, which had often led to vast and monolithic databases, toward decentralized systems, where data are maintained in different sites with autonomous storage and computation capabilities. A common practice is the collaboration or acquisition of companies: there is a large demand for different systems to be connected to provide valuable services to users, yet each company has its own goal and often builds its own applications and database systems independently without federating with others. As a result, we need to construct a decentralized system by integrating the independently built databases through schema matching, data transformation, and update propagation from one database to another.There are two fundamental issues with such decentralized systems, local privacy and global consistency. By local privacy, the owner of the data stored on a site may wish to control and share data by deciding what information should be exposed and how its information should be used and updated by other systems. By global consistency, the systems may wish to have a globally consistent view of all data, integrate data from different sites, perform analysis through queries, and update the integrated data.…

Hardcover. Zustand: gut. 2019. Engineering Adaptive Software Systems In deutscher Sprache. pages.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book summarizes the results of solving the two issues from a 5-year national project in Japan, called Bidirectional Information Systems for Collaborative, Updatable, Interoperable, and Trusted Sharing (BISCUITS) since 2017, with researchers from the National Institute of Informatics, Osaka University, Kyoto University, Nanzan University, Hosei University, Tohoku University, and University of Tokyo. It provides a big picture of the research results, insights, and the new perspectives achieved during the project, paving the way for future further investigation.Along with the continuous evolution of data management systems for the new market requirements, we are moving from centralized systems, which had often led to vast and monolithic databases, toward decentralized systems, where data are maintained in different sites with autonomous storage and computation capabilities. A common practice is the collaboration or acquisition of companies: there is a large demand for different systems to be connected to provide valuable services to users, yet each company has its own goal and often builds its own applications and database systems independently without federating with others. As a result, we need to construct a decentralized system by integrating the independently built databases through schema matching, data transformation, and update propagation from one database to another.There are two fundamental issues with such decentralized systems, local privacy and global consistency. By local privacy, the owner of the data stored on a site may wish to control and share data by deciding what information should be exposed and how its information should be used and updated by other systems. By global consistency, the systems may wish to have a globally consistent view of all data, integrate data from different sites, perform analysis through queries, and update the integrated data. …