Synopsis
The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, 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 18 of the conference’s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the ?eld. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which ?nd that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction re?nement approach.
"synopsis" may belong to another edition of this title.
From the Back Cover
The purpose of the 9th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2010) was held on August 18-20, 2010 in Kaminoyama, Japan is to bring together scientist, engineers, computer users, students to share their experiences and exchange new ideas, and research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them The conference organizers selected the best 18 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rigorous rounds of review.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Computer and Information Science 2010: 317 (Studies...
Stock Image
Computer and Information Science 2010 (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 3 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # a442c91ac91808ca568a728d40477489
Buy New
£ 76.80
£ 4.76 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Computer and Information Science 2010 (Studies in Computational Intelligence, 317)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642154041_new
Buy New
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Computer and Information Science 2010
Published by
Springer Berlin Heidelberg Aug 2010, 2010
ISBN 10: 3642154042
ISBN 13: 9783642154041
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, 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 18 of the conference's most promising papers, and we impatiently await the important contributions that we know these authors will bring to the eld. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which nd that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction re nement approach. 252 pp. Englisch. Seller Inventory # 9783642154041
Seller Image
Computer and Information Science 2010
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642154042
ISBN 13: 9783642154041
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Recent research Computer and Information ScienceEdited outcome of the 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20Written by leading experts in the fieldThe 9th ACIS/IEEE I. Seller Inventory # 5050813
Buy New
£ 82.17
£ 42.36 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Computer and Information Science 2010
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, 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 18 of the conference¿s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the ?eld. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which ?nd that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction re?nement approach. Seller Inventory # 8638735/12
Stock Image
Computer And Information Science 2010
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 236 pages. 9.25x6.25x0.50 inches. In Stock. Seller Inventory # x-3642154042
Buy New
£ 129.53
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Computer and Information Science 2010
Published by
Springer, Springer Aug 2010, 2010
ISBN 10: 3642154042
ISBN 13: 9783642154041
New
Hardcover
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, 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 18 of the conference¿s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the eld. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which nd that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction re nement approach.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch. Seller Inventory # 9783642154041
Seller Image
Computer and Information Science 2010
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642154042
ISBN 13: 9783642154041
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, 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 18 of the conference's most promising papers, and we impatiently await the important contributions that we know these authors will bring to the eld. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which nd that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction re nement approach. Seller Inventory # 9783642154041