Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Conceptual modeling is about describing the semantics of software applications at a high level of abstraction in terms of structure, behavior, and user interaction. Embley and Thalheim start with a manifesto stating that the dream of developing information systems strictly by conceptual modeling – as expressed in the phrase “the model is the code” – is becoming reality. The subsequent contributions written by leading researchers in the field support the manifesto's assertions, showing not only how to abstractly model complex information systems but also how to formalize abstract specifications in ways that let developers complete programming tasks within the conceptual model itself. They are grouped into sections on programming with conceptual models, structure modeling, process modeling, user interface modeling, and special challenge areas such as conceptual geometric modeling, information integration, and biological conceptual modeling. The Handbook of Conceptual Modeling collects in a single volume many of the best conceptual-modeling ideas, techniques, and practices as well as the challenges that drive research in the field. Thus it is much more than a traditional handbook for advanced professionals, as it also provides both a firm foundation for the field of conceptual modeling, and points researchers and graduate students towards interesting challenges and paths for how to contribute to this fundamental field of computer science.

Information Technology --- Software Engineering --- Computer science. --- Software engineering. --- Engineering & Applied Sciences --- Computer Science --- Computer simulation. --- System analysis. --- System analysis --- Data processing. --- Network theory --- Systems analysis --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Computer Science. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Computer software engineering --- Engineering --- Informatics --- Science --- Network analysis --- Network science --- System theory --- Mathematical optimization --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bordeaux, France in July 2010. The 6 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed and selected during two rounds of revision and improvement. The papers reflect a variety of approaches to semantics in data and knowledge bases.

Semantic Web --- Ontologies (Information retrieval) --- Engineering & Applied Sciences --- Computer Science --- Database management --- Database design --- Computer science --- Mathematics --- Computer science. --- Computer communication systems. --- Mathematical logic. --- Database management. --- Information storage and retrieval. --- Artificial intelligence. --- Computer Science. --- Database Management. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Distributed processing --- Information storage and retrieva. --- Artificial Intelligence. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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. The papers are organized in topical sections such as information extraction and integration; data mining and knowledge discovery; indexing, query processing and optimization; data quality and data cleansing; distributed data platforms, including cloud data systems, key-value stores, and big data systems; and streaming data analysis; web, XML and semi-structured databases.

Computer science. --- Computer system failures. --- Database management. --- Data mining. --- Information storage and retrieval. --- Artificial intelligence. --- Computer Science. --- Database Management. --- Data Mining and Knowledge Discovery. --- Information Storage and Retrieval. --- System Performance and Evaluation. --- Artificial Intelligence (incl. Robotics). --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Informatics --- Science --- Failures --- Computer systems. --- Artificial Intelligence. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Computer system performance. --- Database design

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer Science. --- Software Engineering/Programming and Operating Systems. --- Mathematical Applications in Computer Science. --- Algorithms. --- Computer science. --- Software engineering. --- Informatique --- Génie logiciel --- Algorithmes --- Engineering & Applied Sciences --- Computer Science --- Computer software --- Application software. --- Development. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software engineering --- Development of computer software --- Software development --- Computer science --- Computer mathematics. --- Mathematics. --- Engineering --- Algorism --- Algebra --- Arithmetic --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Informatics --- Science --- Foundations --- Mathematics --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the best papers presented at the 14th East-European Conference on Advances in Databases and Information Systems (ADBIS 2010), held during September 20-24, 2010, in Novi Sad, Serbia. ADBIS 2010 continued the ADBIS series held in St. Petersburg (1997), Poznan (1998), Maribor (1999), Prague (2000), Vilnius (2001), Bratislava (2002), Dresden (2003), Budapest (2004), Tallinn (2005), Thessaloniki (2006), Varna (2007), Pori (2008), and Riga (2009). The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information systems research communities from Central and East European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. ADBIS 2010 spans a wide area of interests, covering all major aspects related to theory and applications of database technology and information systems. Two different submission lines were considered for ADBIS 2010, one within the classic track and another one within a special track organisation. ADBIS comprised five tracks: 1. Conceptual Modeling in Systems Engineering (CMSE) 2. Data Mining and Information Extraction (DMIE) 3. Business Processes in E-Commerce Systems (e-commerce) 4. Personal Identifiable Information: Privacy, Ethics, and Security (PIIPES) 5.

Database management --- Information technology --- Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer communication systems. --- Database management. --- Data mining. --- Information storage and retrieval. --- Management information systems. --- Computer Science. --- Database Management. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Computer Communication Networks. --- Data Mining and Knowledge Discovery. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Communication systems --- Distributed processing --- Information storage and retrieva. --- Information Systems. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software