Bernhard Thalheim – författare
Visar alla böcker från författaren Bernhard Thalheim. Handla med fri frakt och snabb leverans.
42 produkter
42 produkter
Del 64 - Philosophische Analyse / Philosophical Analysis
Wissenschaft und Kunst der Modellierung
Inbunden, Tyska, 2015
1 925 kr
Skickas inom 5-8 vardagar
Models
Concepts, Theory, Logic, Reasoning and Semantics: Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday
Häftad, Engelska, 2018
251 kr
Skickas inom 5-8 vardagar
New Trends in Databases and Information Systems
ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings
Häftad, Engelska, 2018
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 22th European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.The 20 full and the 4 short workshop papers as well as the 3 doctoral consortium papers were carefully reviewed and selected from 54 submissions to the workshops and 6 submissions to the doctoral consortium. Furthermore, there are 10 short papers included, which were accepted for the main conference. The papers are organized according to the 6 workshops and the doctoral consortium: ADBIS 2018 short papers; First Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018; First International Workshop on New Frontiers on Meta-data Management and Usage, M2U 2018; First Citizen Science Applications and Citizen Databases Workshop, CSADB 2018; First International Workshop onArticial Intelligence for Question Answering, AI*QA 2018; First International Workshop on BIG Data Storage, Processing and Mining for Personalized MEDicine, BIGPMED 2018; First Workshop on Current Trends in Contemporary Information Systems and Their Architectures, ISTREND 2018; Doctoral Consortium.
Modelling to Program
Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers
Häftad, Engelska, 2021
555 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and conceptual-model programming and their future developments. The topics of the papers include notions of models that can be understood and used as programs, models-at-runtime, advanced conceptual modelling, conceptual-model programming, modelling foundation, transformation of models to programs, model suites/ensembles for programmers, modelling as the first step to programming and its revisions, advanced model-driven programming and software modernisation, modelling in applications.
Data Analytics and Management in Data Intensive Domains
22nd International Conference, DAMDID/RCDL 2020, Voronezh, Russia, October 13–16, 2020, Selected Proceedings
Häftad, Engelska, 2021
555 kr
Skickas inom 10-15 vardagar
This book constitutes the post-conference proceedings of the 22nd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2020, held in Voronezh, Russia, in October 2020*.The 16 revised full papers and two keynotes were carefully reviewed and selected from 60 submissions.
Data Analytics and Management in Data Intensive Domains
23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26–29, 2021, Revised Selected Papers
Häftad, Engelska, 2022
883 kr
Skickas inom 10-15 vardagar
This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*. The 16 revised full papers were carefully reviewed and selected from 61 submissions.
610 kr
Skickas inom 10-15 vardagar
This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development.After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts.The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.
Del 8421 - Lecture Notes in Computer Science
Database Systems for Advanced Applications
19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part I
Häftad, Engelska, 2014
555 kr
Skickas inom 10-15 vardagar
These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.
Del 8422 - Lecture Notes in Computer Science
Database Systems for Advanced Applications
19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II
Häftad, Engelska, 2014
555 kr
Skickas inom 10-15 vardagar
These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.
539 kr
Skickas inom 10-15 vardagar
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.
555 kr
Skickas inom 10-15 vardagar
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.
Del 9809 - Lecture Notes in Computer Science
Advances in Databases and Information Systems
20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings
Häftad, Engelska, 2016
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed proceedings of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016.The 21 full papers presented together with two keynote papers and one keynote abstract were carefully selected and reviewed from 85 submissions. The papers are organized in topical sections such as data quality, mining, analysis and clustering; model-driven engineering, conceptual modeling; data warehouse and multidimensional modeling, recommender systems; spatial and temporal data processing; distributed and parallel data processing; internet of things and sensor networks.
Del 637 - Communications in Computer and Information Science
New Trends in Databases and Information Systems
ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings
Häftad, Engelska, 2016
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium papers of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016.The 11 short papers and one historical paper were carefully selected and reviewed from 85 submissions. The rest of papers was selected from reviewing processes of 2 workshops and Doctoral Consortium. The papers are organized in topical sections on ADBIS Short Papers, Third International Workshop on Big Data Applications and Principles (BigDap 2016), Second International Workshop on Data Centered Smart Applications (DCSA 2016) and ADBIS Doctoral Consortium.
Del 11019 - Lecture Notes in Computer Science
Advances in Databases and Information Systems
22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings
Häftad, Engelska, 2018
555 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 22nd European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.The 17 regular papers presented together with two invited papers were carefully selected and reviewed from numerous submissions.
Semantics in Databases
Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
Häftad, Engelska, 2003
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.
MFDBS 87
1st Symposium on Mathematical Fundamentals of Database Systems, Dresden, GDR, January 19-23, 1987. Proceedings
Häftad, Engelska, 1988
555 kr
Skickas inom 10-15 vardagar
This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two panel discussions is also included. The volume is intended to be a reflection of the current state of knowledge and a guide to further development in database theory. The main topics covered are: theoretical fundaments of the relational data model (dependency theory, design theory, null values, query processing, complexity theory), and of its extensions (graphical representations, NF2-models), conceptual modelling of distributed database management systems and the relationship between logic and databases.
Modelling Database Dynamics
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19–22 October 1992
Häftad, Engelska, 1993
555 kr
Skickas inom 10-15 vardagar
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-orientated. Database literature has traditionally focused on structure-oriented approaches, but it is now widely recognised that problems can be solved more effectively by integrating all three. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. This volume contains selected papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, held in Volkse, Germany, 19-22 October, 1992. This series of international workshops was initiated by the Working Group on Foundations of Information Systems, part of the German Association for Informatics. It provides an international forum for the discussion of current research into database theory and its application to database technology. The theme of this particular workshop was modelling the dynamic behaviour of database systems in formal frameworks.As object-oriented principles are being widely used in current research work, particular emphasis was also given to object dynamics. Among the topics covered in this volume are: specifying the dynamics of complex objects databases; updates in a rule-based language for objects; an order-sorted approach to active objects; non-deterministic aspects of database transformations involving object creation; monitoring temporal permissions using partially evaluated transition graphs; a formalization of logic databases and integrity constraints; and a comparison of approaches for modelling dynamics of databases.
Advances in Databases and Information Systems
7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings
Häftad, Engelska, 2003
555 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th East European Conference on Advances in Databases and Information Systems, ADBIS 2003, held in Dresden, Germany in September 2003.The 29 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on compositional development, advanced query processing, transactions, retrieval from the Web, indexing techniques, active databases and workflows, complex value storage, data mining, formal query semantics, spatial aspects of information systems, XML processing, multimedia data management, information integration, and query containment.
Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Häftad, Engelska, 2004
555 kr
Skickas inom 10-15 vardagar
Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops.Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide.
Web Information Systems -- WISE 2004 Workshops
WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004, Proceedings
Häftad, Engelska, 2004
555 kr
Skickas inom 10-15 vardagar
This book constitutes the joint refereed proceedings of the two workshops held in conjunction with the 5th International Conference on Web Information Systems Engineering, WISE 2004 in Brisbane, Australia in November 2004.The 21 revised full papers and 5 revised short papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on ontologies for networked systems, mobile learning, fragmentation versus integration perspectives of the web information systems discipline, and web services quality.
555 kr
Skickas inom 10-15 vardagar
This volume constitutes the refereed proceedings of two workshops held during the 19th International Conference on Conceptual Modeling, ER 2000, in Salt Lake City, Utah, USA in October 2000. The 15 revised full papers presented were carefully reviewed and selected from 36 submissions. The two workshops focused on Conceptual Modeling Approaches for E-Business, eCOMO 2000, and on The World Wide Web and Conceptual Modeling, WCM 2000. The papers are organized in topical sections on modeling approaches, modeling e-business processes and workflow markets, Web application modeling, and managing and querying Web data and metadata.
MFDBS 89
2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings
Häftad, Engelska, 1989
555 kr
Skickas inom 10-15 vardagar
This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory.
MFDBS 91
3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
Häftad, Engelska, 1991
555 kr
Skickas inom 10-15 vardagar
This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. MFDBS 91 covers new developments in theoretical aspects of database and knowledge base systems and the design of databases and knowledge bases. Topics of the conference are: database and knowledge base models; deductive database and knowledge base systems; logical, algebraic and combinatorial fundamentals of database theory and design of databases; object-oriented databases and object-oriented modeling; fundamentals of query languages, transaction processing, distributed databases, concurrency control, access strategies, recovery, security, privacy, safety; fundamentals for integrity constraints and consistency in databases; models for database machines; models for user interfaces; design and implementation of non-standard databases.
Entity-Relationship Approach - ER '93
12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings
Häftad, Engelska, 1994
555 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 12th International Conference of the Entity-Relationship Approach, held in Arlington, Texas in December 1993; it contains the revised versions of 42 papers selected for presentation at the conference from a total of 87 submissions.The volume presents many of the most important results on the ERA published since the predecessor conference ER '92. It is organized in sections on object-oriented models, query languages, applications of the ER model, knowledge-based modeling, data modeling, schema integration, reuse and reengineering, integrating ER and object-orientation, conceptual clustering, modeling time and data semantics.
Conceptual Modeling - ER '96
15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings.
Häftad, Engelska, 1996
555 kr
Skickas inom 10-15 vardagar
This volume constitutes the refereed proceedings of the 15th International Conference on Conceptual Modeling, ER '96, held in Cottbus, Germany, in October 1996.The volume presents three invited contributions together with 29 revised full papers selected from 110 submissions. The papers cover all current aspects of the entity-relationship approach and conceptual modeling; they are organized in sections on advanced schema design, processes, query languages, representation, integration, principles of database design, transformation, enhanced modelling, capturing design information, and evolution.
555 kr
Skickas inom 10-15 vardagar
This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; object-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e.g. the evolving algebra semantics.
555 kr
Skickas inom 10-15 vardagar
Database technology and entity-relationship (ER) modeling have meanwhile reached the level of an established technology. This book presents the achievements of research in this field in a comprehensive survey. It deals with the entity-relationship model and its extensions with regard to an integrated development and modeling of database applications and, consequently, the specification of structures, behavior and interaction. Apart from research on the ER model and the syntax, semantics, and pragmatics of database modeling the book also presents techniques for the translation of the ER model into classical database models and languages such as relational, hierarchical, and network models and languages, and also into object-oriented models. The book is of interest for all database theoreticians as well as practitioners who are provided with the relevant foundations of database modeling.
555 kr
Skickas inom 10-15 vardagar
This book presents a unique survey of the state of the art in conceptual modeling. The 21 carefully reviewed technical contributions by leading researchers in the area address all current research issues and pay attention to applications in various contexts. An introductory survey puts the papers presented in context and the book is concluded by a visionary paper on the future perspectives of conceptual modeling.
Foundations of Information and Knowledge Systems
First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings
Häftad, Engelska, 2000
555 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the \First International Sym- sium on Foundations of Information and Knowledge Systems" (FoIKS 2000), which was held in Burg, Germany from February 14th to 17th, 2000. FoIKSis intendedto beabiannualeventfocussingontheoreticalfoundations ofinformationandknowledgesystems.Itaims to takeupthe oldtraditionofthe conferenceseries \MathematicalFundamentals ofDatabaseSystems" (MFDBS) which encouraged East-West collaboration in the e ld of database theory. F- mer MFDBS conferences were held in Dresden in 1987 (Springer LNCS 305, edited by Joachim Biskup, J anos Demetrovics, Jan Paredaens, and Bernhard Thalheim), in Visegr ad in 1989 (Springer LNCS 364, edited by J anos Demet- vics and Bernhard Thalheim), and in Rostock in 1991 (Springer LNCS 495, edited by Bernhard Thalheim, Jan os Demetrovics, and Hans-Detlef Gerhard). Another goal of the MFDBS conference series has always been to attract researchers working in mathematical e lds such as discrete mathematics, c- binatorics, logics, and nite model theory who are interested in applying their theories to researchon databaseand knowledgebase theory.To that end, FoIKS takes up the tradition of providing a forum for mathematical foundations in a speci c branch of computer science. A r st attempt to reestablish the MFDBS tradition was made in 1995 with a follow-up workshop \Semantics in Datab- es" to ICDT (Springer LNCS 1358, edited by Bernhard Thalheim and Leonid Libkin).
555 kr
Skickas inom 10-15 vardagar
This volume presents the refereed proceedings of the East-European Conference on Advances in Databases and Information Systems and of the International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, held jointly in Prague, Czech Republic in September 2000. The 27 revised papers presented together with one invited paper and the abstract of an invited talk were carefully reviewed and selected from 115 submissions. The papers present new results on a variety of current issues in database research and design with a certain emphasis on advanced applications in various fields.