this book constitutes the revised selected papers of the 14thinternationalconference on Critical Information Infrastructures Security, CRITIS 2019, held in Linköping, Sweden, in September 2019.
ISBN:
(数字)9783030376703
ISBN:
(纸本)9783030376697
this book constitutes the revised selected papers of the 14thinternationalconference on Critical Information Infrastructures Security, CRITIS 2019, held in Linköping, Sweden, in September 2019.
this book constitutes the proceedings of the 7thinternationalconference on Internet of things, ICIOT 2022, held in Honolulu, USA, as part of SCF 2022, during December 10-14, 2022.;the 9 full papers presented in...
详细信息
ISBN:
(数字)9783031235825
ISBN:
(纸本)9783031235818
this book constitutes the proceedings of the 7thinternationalconference on Internet of things, ICIOT 2022, held in Honolulu, USA, as part of SCF 2022, during December 10-14, 2022.;the 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions.;the conference Internet of things (ICIOT 2022) covers state-of-the-art technologies and best practices of Internet of things, as well as emerging standards and research topics which would define the future of Internet of things.
this book constitutes the refereed proceedings of the 14thinternational Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2021, held virtually due to the COVID-19 crisis, in February 2021. ...
详细信息
ISBN:
(数字)9783031206641
ISBN:
(纸本)9783031206634
this book constitutes the refereed proceedings of the 14thinternational Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2021, held virtually due to the COVID-19 crisis, in February 2021. the conference was held virtually due to the COVID-19 crisis.;the 13 full papers included in this book were carefully reviewed and selected from 265 submissions. the papers selected to be included in this book contribute to the understanding of relevant trends of current research on Biomedical Engineering systems and Technologies, including: Pattern Recognition and Machine Learning, Application of Health Informatics in Clinical Cases, Evaluation and Use of Healthcare IT, Medical Signal Acquisition, Analysis and Processing, Data Mining and Data Analysis, Decision Support systems, e-Health, e-Health Applications, Mobile Technologies for Healthcare Applications and Medical Devices design.
this book contains extended and revised versions of the best papers that were presented during the fourteenth edition of the IFIP TC10/WG10.5 internationalconference on Very Large Scale Integration, a global System-o...
详细信息
ISBN:
(数字)9780387749099
ISBN:
(纸本)9780387749082;9781441945174
this book contains extended and revised versions of the best papers that were presented during the fourteenth edition of the IFIP TC10/WG10.5 internationalconference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. the 14thconference was held at the Hotel Boscolo, Nice, France (October 16-18, 2006). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt and Perth. the purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the IEEE Council on Electronic Design Automation (CEDA), is to provide a forum to exchange ideas and show industrial and academic research results in the field of microelectronics design. the current trend toward increasing chip integration and technology process advancements brings about stimulating new challenges both at the physical and system-design levels, as well in the test of these systems. VLSI- SOC conferences aim to address these exciting new issues.
this book constitutes the refereed post-conference proceedings of the 14thinternational Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2008. the 30 paper...
详细信息
ISBN:
(数字)9783540928317
ISBN:
(纸本)9783540928300
this book constitutes the refereed post-conference proceedings of the 14thinternational Workshop on Groupware: Design, Implementation, and Use, held in Omaha, Nebraska, USA, during September 14-18, 2008. the 30 papers presented were carefully reviewed and selected from numerous submission. the topics covered are groupware solutions, co-located groups, groupware for health care, collaborative systems development, collaborative emergency response, groupware approaches, patterns of collaboration, thinklets-based process design, mobile applications, knowledge and learning, groupware technologies, and collaborative modeling.
the two-volume set LNCS 6769 + LNCS 6770 constitutes the proceedings of the First internationalconference on Design, User Experience, and Usability, DUXU 2011, held in Orlando, FL, USA in July 2011 in the framework o...
详细信息
ISBN:
(数字)9783642217081
ISBN:
(纸本)9783642217074
the two-volume set LNCS 6769 + LNCS 6770 constitutes the proceedings of the First internationalconference on Design, User Experience, and Usability, DUXU 2011, held in Orlando, FL, USA in July 2011 in the framework of the 14thinternationalconference on Human-Computer Interaction, HCII 2011, incorporating 12 thematically similar conferences. A total of 4039 contributions was submitted to HCII 2011, of which 1318 papers were accepted for publication.
the total of 154 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in the book. the papers are organized in topical sections on DUXU theory, methods and tools; DUXU guidelines and standards; novel DUXU: devices and their user interfaces; DUXU in industry; DUXU in the mobile and vehicle context; DXU in Web environment; DUXU and ubiquitous interaction/appearance; DUXU in the development and usage lifecycle; DUXU evaluation; and DUXU beyond usability: culture, branding, and emotions.
the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st internationalconference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as...
详细信息
ISBN:
(数字)9783031906435
ISBN:
(纸本)9783031906428
the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st internationalconference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the international Joint conferences on theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.
the 46 papers presented were carefully reviewed and selected from 148 submissions. the proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. the papers were organized in topical sections as follows:
Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;
Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;
Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
this book constitutes the refereed proceedings of the 14thinternationalconference on Passive and Active Measurement, PAM 2013, held in Hong Kong, China, in March 2013. the 24 revised full papers presented were caref...
详细信息
ISBN:
(数字)9783642365164
ISBN:
(纸本)9783642365157
this book constitutes the refereed proceedings of the 14thinternationalconference on Passive and Active Measurement, PAM 2013, held in Hong Kong, China, in March 2013. the 24 revised full papers presented were carefully reviewed and selected from 74 submissions. the papers have been organized in the following topical sections: measurement design, experience and analysis; Internet wireless and mobility; performance measurement; protocol and application behavior; characterization of network usage; and network security and privacy. In addition, 9 poster abstracts have been included.
this book constitutes the refereed proceedings of the 4thinternationalconference on Online Communities and Social Computing, OCSC 2011, held in Orlando, FL, USA in July 2011 in the framework of the 14th Internationa...
详细信息
ISBN:
(数字)9783642217968
ISBN:
(纸本)9783642217951
this book constitutes the refereed proceedings of the 4thinternationalconference on Online Communities and Social Computing, OCSC 2011, held in Orlando, FL, USA in July 2011 in the framework of the 14thinternationalconference on Human-Computer Interaction, HCII 2011 with 10 other thematically similar conferences. the 77 revised papers presented were carefully reviewed and selected from numerous submissions. the papers accepted for presentation thoroughly cover the thematic area of online communities and social computing, addressing the following major topics: on-line communities and intelligent agents in education and research; blogs, Wikis and Twitters; social computing in business and the enterprise; social computing in everyday life; information management in social computing.
this six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14thinternationalconference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27thinternationalconference on...
详细信息
ISBN:
(数字)9783031932274
ISBN:
(纸本)9783031932267
this six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14thinternationalconference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27thinternationalconference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.
the total of
1430 papers and 355 posters
included in the HCII 2025 proceedings was carefully reviewed and selected from
7972
submissions.
the six volumes cover the following topics:
Part I: Information design and visualization; emotional interaction and persuasive design; and interactive systems and user behavior.
Part II: UX design and evaluation methodologies; inclusive design and accessible experiences; and product and industrial design.
Part III: Design and the digital transmission of culture; design for arts and creativity; and designing for health and therapeutic experiences.
Part IV: Consumer experience and service design; design and evaluation of technology-enhanced learning; and UX in automotive and transportation.
Part V: Design education and professional practice; and human-centered design and interactive experiences.
Part VI: AI and the future of UX design; and UX in AI and emerging technologies.
暂无评论