الصفحة 2
الصفحة 2
Graph structures for knowledge representation and reasoning ; 6th International Workshop, GKR 2020, virtual event, September 5, 2020, revised selected papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.
Frontiers in Algorithmics ; 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. The papers detail graph theory, scheduling and algorithm and complexity.
Formal techniques for networked and distributed systems - FORTE 2005 ; 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2–5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC.
Formal techniques for distributed objects, components, and systems ; 40th IFIP WG 6.1 International conference, FORTE 2020, Held as Part of the 15th International Federated Conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
Financial cryptography and data security ; FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, in Kota Kinabalu, Malaysia, in February 2020. The 39 full papers and 3 short papers presented in this book were carefully reviewed and selected from 73 submissions. The papers feature four Workshops: The 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020.
Euro-Par 2020 : Parallel Processing ; 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings
This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, held in Warsaw, Poland, in August 2020. The conference was held virtually due to the coronavirus pandemic. The 39 full papers presented in this volume were carefully reviewed and selected from 158 submissions. They deal with parallel and distributed computing in general, focusing on support tools and environments; performance and power modeling, prediction and evaluation; scheduling and load balancing; high performance architectures and compilers; data management, analytics and machine learning; cluster, cloud and edge computing; theory and algorithms for parallel and distributed processing; parallel and distributed programming, interfaces, and languages; multicore and manycore parallelism; parallel numerical methods and applications; and accelerator computing.
Euro-Par 2019 : Parallel Processing Workshops ; Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers
Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects.
Emerging Technologies in Computing ; 3rd EAI International Conference, iCETiC 2020, London, UK, August 19–20, 2020, Proceedings
This book constitutes the refereed conference proceedings of the Third International Conference on Emerging Technologies in Computing, iCEtiC 2020, held in London, UK, in August 2020. Due to VOVID-19 pandemic the conference was helt virtually.The 25 revised full papers were reviewed and selected from 65 submissions and are organized in topical sections covering blockchain and cloud computing; security, wireless sensor networks and IoT; AI, big data and data analytics; emerging technologies in engineering, education and sustainable development.
Embedded Computer Systems : Architectures, Modeling, and Simulation; 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2020, held in Samos, Greece, in July 2020.* The 16 regular papers presented were carefully reviewed and selected from 35 submissions. In addition, 9 papers from two special sessions were included, which were organized on topics of current interest: innovative architectures for security and European projects on embedded and high performance computing for health applications.
Embedded and Ubiquitous Computing ; International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings
Embedded and ubiquitous computing is an exciting new paradigm that p- vides computing and communication services all the time, everywhere. Now we can attach computing and communication devices to human bodies to mo- tor our health, embed computing chips into brains to cure memory losses, or make smart fabrics so they can change colors or generate heat.
Embedded and Ubiquitous Computing ; IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings
This book provides a forum for engineers and scientists in academia, industry, and governmentto address challenges and to present and discuss their ideas, results, work in progress and experience.
Embedded and Ubiquitous Computing - EUC 2005 ; International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings
Welcome to the proceedings of the 2005 IFIP International Conference on - bedded and Ubiquitous Computing (EUC 2005), which was held in Nagasaki, Japan, December 6–9, 2005. Embedded and ubiquitous computing is emerging rapidly as an exciting new paradigm to provide computing and communication services all the time, - erywhere. Its systems are now pervading every aspect of life to the point that they are hidden inside various appliances or can be worn unobtrusively as part of clothing and jewelry. This emergence is a natural outcome of research and technological advances in embedded systems, pervasive computing and c- munications, wireless networks, mobile computing, distributed computing and agent technologies, etc. Its tremendous impact on academics, industry, gove- ment, and daily life can be compared to that of electric motors over the past century, in fact it but promises to revolutionize life much more profoundly than elevators, electric motors or even personal computers. The EUC 2005 conference provided a forum for engineers and scientists in academia, industry, and government to address profound issues including te- nical challenges, safety, and social, legal, political, and economic issues, and to present and discuss their ideas, results, work in progress, and experience on all aspects of embedded and ubiquitous computing.
Electronic Governance and Open Society : Challenges in Eurasia; 6th International Conference, EGOSE 2019, St. Petersburg, Russia, November 13–14, 2019, Proceedings
This book constitutes the refereed proceedings of the 6th Conference on Electronic Governance and Open Society: Challenges in Eurasia, EGOSE 2019, held in St. Petersburg, Russia, in November 2019. The 32 revised full papers were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on smart city;digital government, society and economy; digital intelligence, data science and cybercrime; social networking and media.
e-Learning, e-Education, and Online Training ; 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part II
Constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online Training, eLEOT 2020, held in Changsha, China, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 68 full papers presented were carefully reviewed and selected from 141 submissions. They focus on most recent and innovative trends and new technologies in for educational modernization, such as artificial intelligence and big data. The theme of eLEOT 2020 was “Education with New Generation Information Technology”.
e-Learning, e-Education, and Online Training ; 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I
Constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online Training, eLEOT 2020, held in Changsha, China, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 68 full papers presented were carefully reviewed and selected from 141 submissions. They focus on most recent and innovative trends and new technologies in for educational modernization, such as artificial intelligence and big data. The theme of eLEOT 2020 was “Education with New Generation Information Technology”.
E-Democracy – Safeguarding Democracy and Human Rights in the Digital Age ; 8th International Conference, e-Democracy 2019, Athens, Greece, December 12-13, 2019, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on E-Democracy, E-Democracy 2019, held in Athens, Greece, in December 2019. The 15 revised full papers presented were carefully selected from 27 submissions. The papers are organized in topical sections on rrivacy and data protection; e-government; e-voting and forensics; online social networks and "fake news".
Distributed computing and internet technology ; 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021. The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks, distributed algorithms, concurrency and parallelism, graph algorithms and security, social networks and machine learning, and short papers.
Digital human modeling and applications in health, safety, ergonomics and risk management : Posture, motion and health ; 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I
This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.
Digital human modeling and applications in health, safety, ergonomics and risk management : Human communication, organization and work ; 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II
This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.
Developments in Telecommunications : With a Focus on SS7 Network Reliability
This book summarizes important developments in telecommunications, including SS7 over IP, with a focus on SS7 network reliability.
