this book constitutes the refereed proceedings of the 7thinternationalconference on Software Language Engineering, SLE 2014, held in Väster9;s, Sweden, in September 2014. the 19 revised full papers presente...
详细信息
ISBN:
(数字)9783319112459
ISBN:
(纸本)9783319112442
this book constitutes the refereed proceedings of the 7thinternationalconference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. the 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. the papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functionalprogramming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.
this book presents the proceedings of the 9thinternationalconference of Z Users, ZUM 9;95, held in Limerick, Ireland in September 1995.;the book contains 34 carefully selected papers on Z, using Z, applications o...
详细信息
ISBN:
(数字)9783540447825
ISBN:
(纸本)9783540602712
this book presents the proceedings of the 9thinternationalconference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.;the book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
this book constitutes the thoroughly refereed post-workshop proceedings of the 9thinternational Workshop on Implementation of functional Languages, IFL9;97, held in St. Andrews, Scotland, UK, in September 1997.;th...
详细信息
ISBN:
(数字)9783540685289
ISBN:
(纸本)9783540648499
this book constitutes the thoroughly refereed post-workshop proceedings of the 9thinternational Workshop on Implementation of functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.;the 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. the book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection.
We are very pleased to present this LNCS volume, the proceedings of the 9thinternationalconference on Parallel Problem Solving from Nature (PPSN IX). PPSNisoneofthemostrespectedandhighlyregardedconferenceseriesinevo...
详细信息
ISBN:
(数字)9783540389910
ISBN:
(纸本)9783540389903
We are very pleased to present this LNCS volume, the proceedings of the 9thinternationalconference on Parallel Problem Solving from Nature (PPSN IX). PPSNisoneofthemostrespectedandhighlyregardedconferenceseriesinevo- tionary computation and natural computing / computation. this biennial event was ?rst held in Dortmund in 1990, and then in Brussels (1992), Jerusalem (1994), Berlin (1996), Amsterdam (1998), Paris (2000), Granada (2002), and Birmingham(2004).PPSNcontinuestobetheconferenceofchoicebyresearchers all over the world, who value its high quality. We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the programme committee selected the top 106 papers for inclusion in this volume and, of course, for presentation at the conference. this represents an acceptance rate of 42%. the papers included in this volume cover a wide range of topics, from e- lutionary computation to swarm intelligence and from bio-inspired computing to real-world applications. they represent some of the latest and best research in evolutionary and natural computation. Following the PPSN tradition, all - pers at PPSN IX were presented as posters. there were 7 sessions: each session consisting of around 15 papers. For each session, we covered as wide a range of topics as possible so that participants with di?erent interests could ?nd some relevant papers in every session.
this book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;the 26...
详细信息
ISBN:
(数字)9783031368899
ISBN:
(纸本)9783031368882
this book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.;the 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.;Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8thinternational Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures international Workshop (CASA); 6thinternational Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd international Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd international Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd international Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st international Workshop on Digital Twin Architecture (TwinArch).
this book constitutes the refereed proceedings of the 9thinternationalconference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13–16, 2023.;the 20 full papers included...
详细信息
ISBN:
(数字)9783031456824
ISBN:
(纸本)9783031456817
this book constitutes the refereed proceedings of the 9thinternationalconference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13–16, 2023.;the 20 full papers included in this book were carefully reviewed and selected from 51 submissions. they were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web; Computer vision; and Knowledge-based systems.
the 705 Autocoder is a system of automatic coding for use withthe international Business Machines Corporation (IBM) EDPM type 705. However, before description of the system, the distinction between automatic programm...
详细信息
the 9thinternationalconference on Cryptology and Network Security (CANS 2010) was held in Kuala Lumpur, Malaysia during December 12–14, 2010. the conference was co-organized by the Multimedia University (MMU), Mala...
详细信息
ISBN:
(数字)9783642176197
ISBN:
(纸本)9783642176180
the 9thinternationalconference on Cryptology and Network Security (CANS 2010) was held in Kuala Lumpur, Malaysia during December 12–14, 2010. the conference was co-organized by the Multimedia University (MMU), Malaysia, and Universiti Tunku Abdul Rahman (UTAR), Malaysia. the conference received 64 submissions from 22 countries, out of which 21 were accepted after a careful and thorough review process. these proceedings also contain abstracts for two invited talks. All submissions were reviewed by at least three members of the Program Committee; those authored or co-authored by Program Committee members were reviewed by at least ?ve reviewers. P- gram Committee members were allowed to use external reviewers to assist withtheir reviews, but remained responsible for the contents of the review and r- resenting papers during the discussion and decision making. the review phase was followed by a 10-day discussion phase in which each paper with at least one supporting review was discussed, additional experts were consulted where needed, and ?nal decisions were made. We thank the Program Committee for their hard work in selecting the p- gram. We also thank the external reviewers who assisted with reviewing and the CANS Steering Committee for their help. We thank Shai Halevi for use of his Web-Submission-and-Review software that was used for the electronic s- mission and review of the submitted papers, and we thank the international Association for Cryptologic Research (IACR) for Web hosting of the software.
this book constitutes the revised selected papers of the 9thinternationalconference on Networked Systems, NETYS 2021, held virtually in May *** 15 revised full papers and 2 short papers presented were carefully revi...
详细信息
ISBN:
(数字)9783030910143
ISBN:
(纸本)9783030910136
this book constitutes the revised selected papers of the 9thinternationalconference on Networked Systems, NETYS 2021, held virtually in May *** 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions. the papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.
On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9thinternationalconference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Montepo...
详细信息
ISBN:
(数字)9783540695660
ISBN:
(纸本)9783540695646
On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9thinternationalconference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Monteporzio Catone, Rome, Italy. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. the main theme of PROFES is professional so- ware process improvement (SPI) motivated by product and service quality needs. Focussing on a product to be developed, PROFES 2008 addressed both quality en- neering and management topics including processes, methods, techniques, tools, - ganizations, and enabling SPI. Both solutions found in practice and the relevant research results from academia were presented. Domains such as the automotive and mobile applications industry are growing r- idly, resulting in a strong need for professional development and improvement. Nowadays, the majority of embedded software is developed in collaboration, and distribution of embedded software development continues to increase. thus, PROFES 2008 addressed different development modes, roles in the value chain, stakeholders’ viewpoints, collaborative development, as well as economic and quality aspects. - ile development was included again as one of the themes. Since the beginning of the series of PROFES conferences, the purpose has been to bring to light the most recent findings and novel results in the area of process - provement, and to stimulate discussion among researchers, experienced professionals, and technology providers from around the world.
暂无评论