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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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 themThe 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: a442c91ac91808ca568a728d40477489
Cantidad disponible: Más de 20 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9783642154041_new
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Buch. Condición: 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. Nº de ref. del artículo: 9783642154041
Cantidad disponible: 2 disponibles
Librería: moluna, Greven, Alemania
Gebunden. Condición: 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. Nº de ref. del artículo: 5050813
Cantidad disponible: Más de 20 disponibles
Librería: Buchpark, Trebbin, Alemania
Condición: 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. Nº de ref. del artículo: 8638735/12
Cantidad disponible: 1 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Hardcover. Condición: Brand New. 236 pages. 9.25x6.25x0.50 inches. In Stock. Nº de ref. del artículo: x-3642154042
Cantidad disponible: 2 disponibles
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Buch. Condición: 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. Nº de ref. del artículo: 9783642154041
Cantidad disponible: 1 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Buch. Condición: 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. Nº de ref. del artículo: 9783642154041
Cantidad disponible: 1 disponibles