The two-volume set CCIS 1959 and 1960 constitutes the refereed post-conference proceedings of the 38th CCF National Conference on computer Applications, CCF NCCA 2023, held in Suzhou, China, during July 16–20, 2023.;...
详细信息
ISBN:
(数字)9789819987610
ISBN:
(纸本)9789819987603
The two-volume set CCIS 1959 and 1960 constitutes the refereed post-conference proceedings of the 38th CCF National Conference on computer Applications, CCF NCCA 2023, held in Suzhou, China, during July 16–20, 2023.;The 39 revised full papers presented in these proceedings were carefully reviewed and selected from 197 submissions. The papers are organized in the following topical sections:;Volume I:;Artificial intelligence and application.;Volume II:;Data science and technology; pattern recognition and machine learning; network communication and security; frontier and comprehensive applications.
This book constitutes the refereed proceedings of the 26th International Conference on Information and Software Technologies, ICIST 2020, held in Kaunas, Lithuania, in October 2020.
ISBN:
(数字)9783030595067
ISBN:
(纸本)9783030595050
This book constitutes the refereed proceedings of the 26th International Conference on Information and Software Technologies, ICIST 2020, held in Kaunas, Lithuania, in October 2020.
This book constitutes the refereed proceedings of the 16th International Conference on Economics of Grids,;Clouds, systems, and Services, GECON 2019, held in Leeds, UK, in September 2019.;The 12 full papers and 10 sho...
详细信息
ISBN:
(数字)9783030360276
ISBN:
(纸本)9783030360269
This book constitutes the refereed proceedings of the 16th International Conference on Economics of Grids,;Clouds, systems, and Services, GECON 2019, held in Leeds, UK, in September 2019.;The 12 full papers and 10 short papers presented in this book were carefully reviewed and selected from 48 submissions. This GECON 2019 proceedings was structured in selected topics, namely: blockchain technology and smart contracts; cost-based computing allocation; resource, service and communication federations; economic assessment, business and pricing models; blockchain and network function virtualization technologies; economic models for cyber-physical systems, industry 4.0 and sustainable systems; resource management; and emerging ideas.
This book constitutes selected and revised papers from the Second International Conference on Digital Health and Medical Analytics, DHA 2020, held in Beijing, China, in July 25, 2020.;The 5 full papers and 7...
详细信息
ISBN:
(数字)9789811636318
ISBN:
(纸本)9789811636301
This book constitutes selected and revised papers from the Second International Conference on Digital Health and Medical Analytics, DHA 2020, held in Beijing, China, in July 25, 2020.;The 5 full papers and 7 short papers presented in this volume were thoroughly reviewed and selected from 75 submissions. The papers present discussion on such topics as social networks, analytics and engagement with health devices, big data, public health surveillance, persuasive technologies, epidemic intelligence, participatory surveillance, emergency medicine, serious games for public health interventions and automated early identification of health threats and responses.
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences i...
详细信息
ISBN:
(数字)9783540446187
ISBN:
(纸本)9783540678977
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.
looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and ...
详细信息
ISBN:
(数字)9781447134350
ISBN:
(纸本)9783540762461
looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.
This book constitutes the refereed proceedings of the 6th International Workshop of Field-Programmable Logic and Applications, FPL '96, held in Darmstadt, Germany, in September 1996.;The 37 revised full papers pre...
详细信息
ISBN:
(数字)9783540706700
ISBN:
(纸本)9783540617303
This book constitutes the refereed proceedings of the 6th International Workshop of Field-Programmable Logic and Applications, FPL '96, held in Darmstadt, Germany, in September 1996.;The 37 revised full papers presented in the book are selected from 82 submissions originating from 27 countries; also included are 13 high-quality poster presentations. The book is divided into topical sections on high-level design, new software and hardware development tools, custom computers, applications, hardware/software co-design, AISC emulators, vendor session, industrial applications and experiences, reconfiguration aspects, CAD user experiences, and miscellaneous.
This book contains a selection of articles on the subject of 'Culture and Production'. They are results of international conferences held in Tokyo, Washington and Bremen between 1991 and 1994. The Internationa...
详细信息
ISBN:
(数字)9781447114925
ISBN:
(纸本)9783540760290
This book contains a selection of articles on the subject of 'Culture and Production'. They are results of international conferences held in Tokyo, Washington and Bremen between 1991 and 1994. The International Research Network on Culture and Production (CAPIRN) carried out a 5-year joint research project examining the impact of different industrial cultures on the development and implementation, and above all on the international transfer of technology. The machine tools sector was selected for this international comparative study, because over the last 15 years this global market has undergone dramatic changes that cannot be adequately explained by traditional economic theories of international competition. The 'industrial culture' research concept permits an analysis and understanding of hitherto unrecognised interrelationships between the dimensions of different industrial cultures and the process of technological innovation in international competition. The special challenge faced by CAPIRN was to develop the theoretical concept of industrial culture further and to apply it within a large-scale international study. A considerable amount of work in this field has been published by CAPIRN members since 1990. This book is the first compilation of research findings in the field of industrial culture. We wish to express our thanks to the national research councils in the participant countries, the FORCE and FAST programmes of the European Union, the Japanese Ministry for Industry, MITI, and the Hans Bockler Foundation, to mention only some of the many bodies that have provided support.
暂无评论