Page 3
Page 3
Integrated formal methods ; 5th International conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
Information Sharing on the Semantic Web
The more information is available, the harder it is to locate any particular piece of it. And even when it has been successfully found, it is even harder still to usefully combine it with other information we may already possess. It is commonly understood that this problem of information sharing can only be solved by giving computers better access to the semantics of the information. While it has been recognized that ontologies play a crucial role in solving the open problems, most approaches rely on the existence of well-established data structures. To overcome these shortcomings, Stuckenschmidt and van Harmelen describe ontology-based approaches for resolving semantic heterogeneity in weakly structured environments, in particular the World Wide Web. Addressing problems like missing conceptual models, unclear system boundaries, and heterogeneous representations, they design a framework for ontology-based information sharing in weakly structured environments like the Semantic Web. For researchers and students in areas related to the Semantic Web, the authors provide not only a comprehensive overview of the State of the art, but also present in detail recent research in areas like ontology design for information integration, metadata generation and management, and representation and management of distributed ontologies. For professionals in areas such as e-commerce and knowledge management, the book provides decision support on the use of novel technologies, information about potential problems, and guidelines for the successful application of existing technologies.
Information Management and Big Data ; 7th Annual International Conference, SIMBig 2020, Lima, Peru, October 1–3, 2020, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Information Management and Big Data, SIMBig 2020, held in Lima, Peru, in October 2020.* The 32 revised full papers and 7 revised short papers presented were carefully reviewed and selected from 122 submissions. The papers address topics such as natural language processing and text mining; machine learning; image processing; social networks; data-driven software engineering; graph mining; and Semantic Web, repositories, and visualization.
Implementation and Application of Functional Languages ; Vol. 4015 ; 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, Ireland, September 19–21, 2005. It was organized by the Department of Computer Science at Trinity College, University of Dublin. IFL 2005 was the 17th event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. It provides an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc., related primarily, but not exclusively, to the implementation and application of functional languages. Topics of interest cover a wide range from theoretical aspects over language design and implementation towards applications and tool support.
Implementation and Application of Functional Languages ; 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007.The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.
Implementation and application of functional languages ; 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.
ICCS 2007 ; Proceedings of the 15th International Workshops on Conceptual Structures
The 15th International Conference on Conceptual Structures (ICCS 2007) is the latest in a series of annual conferences that have been held in Europe, Australia, and North America since 1993. Some of the world's best minds in information technology, arts, humanities and social science converged to explore novel ways that information and communications technology (ICT) can augment human intelligence.
Human-computer interaction - HCI Intelligent Multimodal interaction environments ; 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, edited by Julie A. Jacko, contains papers in the thematic area of Human-Computer Interaction, addressing the following major topics: • Multimodality and Conversational Dialogue • Adaptive, Intelligent and Emotional User Interfaces • Gesture and Eye Gaze Recognition • Interactive TV and Media.
HCI and usability for medicine and health care ; 3rd Symposium of the Workgroup Human-computer interaction and usability engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings
The work group Human–Computer Interaction & Usability Engineering (HCI&UE) of the Austrian Computer Society (OCG) serves as a platform for interdisciplinary exchange, research and development. Our 2007 topic was “Human–Computer Interaction for Medicine and Health Care” (HCI4MED), Medical information systems are already extremely sophisticated and technological performance increases exponentially.
Hardware and software : Verification and testing ; 3rd International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic verifcation, for both hardware and software systems. This year’s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. with many more high-quality papers than we had room to accept. Submissions came from 19 di?erent countries, re?ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process.
Graph Transformation ; 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations.
GeoSpatial semantics ; 2nd International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007
This paper reports a simple case study of extracting the two types of such hierarchies from formal texts of traffic code. Problems of concurrent use of both hierarchies for ontology reasoning are dis-cussed, particularly, in context of the different views on geospatial ontologies.
GeoSpatial semantics ; 1st International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on GeoSpatial Semantics, GeoS 2005, held in 2005. The papers are organized in topical sections on theories for the semantics of geospatial information, formal representations for geospatial data, similarity comparison of spatial data sets, and geospatial semantic Web.
Fundamentals of computation theory ; 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The papers address all current topics in computation theory.
Fundamentals of computation theory ; 15th International symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT 2005, held in L]beck, Germany in August 2005. The 46 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on circuits, automata, complexity, approximability, computational and structural complexity, graphs and complexity, computational game theory, visual cryptography and computational geometry, query complexity, distributed systems, automata and formal languages, semantics, approximation algorithms, average case complexity, algorithms, graph algorithms, and pattern matching.
Fundamental approaches to software engineering ; 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
This book cover software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
Fundamental approaches to software engineering ; 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software Engineering, held in Thessaloniki, Greece, in April 2018, the volume contains regular research papers that cover a wide range of topics, such as program and system analysis, model transformations, configuration and synthesis, graph modeling and transformation,software product lines, test selection, as well as learning and inference.
Fundamental approaches to software engineering ; 11th International Conference, FASE 2008, Held as Part of the Joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulationsthereforetoallthe authorswhomadeittothe alprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area،The events that comprise ETAPS address various aspects of the system velopment process,including specifcation, design, implementation, analysis and improvement.
Fundamental approaches to software engineering ; 10th International Conference, FASE 2007 Held as part of the joint European conference on theory and practice of software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software.
