Huaikou Miao - Böcker
Visar alla böcker från författaren Huaikou Miao. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Testbeds and Research Infrastructures for the Development of Networks and Communities
13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings
Häftad, Engelska, 2019
465 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 13th EAI International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communications, TridentCom 2018, held in November 2018 in Shanghai, China.
Del 12028 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Häftad, Engelska, 2020
552 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019.
Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Häftad, Engelska, 2002
1 096 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi?cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di?erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University,Finland,Dr. Mark A. Hale of Inter woven Inc.,USA,Dr. Richard J..ullig of CommerceNet Consortium,USA,Prof. Shaoying Liu of Hosei University,Japan,and Prof.Jim Woodcock of the University of Kent,UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience.
1 625 kr
Skickas inom 10-15 vardagar
The 8th ACIS/IEEE International Conference on Computer and Information S- ence, held in Shanghai, China on June 1-3 is aimed at bringing together resear- ers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. This publication captures just over 20 of the conference's most promising papers, and we impatiently await the important contributions that we know these authors will bring to the field. In chapter 1, Abhijit Mustafi and P. K. Mahanti develop a contrast enhan- ment technique to recover an image within a given area, from a blurred and da- ness specimen, and improve visual quality. The author's results are presented using developed technique on real images, which are hard to be contrasted by other conventional techniques. In chapter 2, Shahid Mumtaz et al. use an ad-hoc behavior in opportunistic - dio, to present how the overall system performance effect in terms of interference and routing.They develop a simulation tool that addresses the goal of analysis and assessment of UMTS TDD opportunistic radio system with ad hoc behavior in coexistence with a UMTS FDD primary cellular network. In chapter 3, Guoqing Zhang et al. propose a novel geocast routing protocol called GRUV for urban VANETs. GRUV adapts to the current network envir- ment by dynamically switching three forwarding approaches which are used to compute forwarding zones. Their simulations show GRUV performance compared with other geocast routing protocols.
Del 208 - Studies in Computational Intelligence
Computer and Information Science 2009
Häftad, Engelska, 2010
1 625 kr
Skickas inom 10-15 vardagar
The 8th ACIS/IEEE International Conference on Computer and Information S- ence, held in Shanghai, China on June 1-3 is aimed at bringing together resear- ers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. This publication captures just over 20 of the conference's most promising papers, and we impatiently await the important contributions that we know these authors will bring to the field. In chapter 1, Abhijit Mustafi and P. K. Mahanti develop a contrast enhan- ment technique to recover an image within a given area, from a blurred and da- ness specimen, and improve visual quality. The author's results are presented using developed technique on real images, which are hard to be contrasted by other conventional techniques. In chapter 2, Shahid Mumtaz et al. use an ad-hoc behavior in opportunistic - dio, to present how the overall system performance effect in terms of interference and routing.They develop a simulation tool that addresses the goal of analysis and assessment of UMTS TDD opportunistic radio system with ad hoc behavior in coexistence with a UMTS FDD primary cellular network. In chapter 3, Guoqing Zhang et al. propose a novel geocast routing protocol called GRUV for urban VANETs. GRUV adapts to the current network envir- ment by dynamically switching three forwarding approaches which are used to compute forwarding zones. Their simulations show GRUV performance compared with other geocast routing protocols.