Cargando…
Advances in computers. Volume 97 /
This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chap...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Waltham, MA :
Academic Press,
2015.
|
| Colección: | Advances in Computers,
Volume 97 |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn904549072 | ||
| 003 | OCoLC | ||
| 005 | 20231120111945.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 150309s2015 mau ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d E7B |d N$T |d YDXCP |d COO |d OCLCF |d STF |d B24X7 |d OPELS |d CDX |d D6H |d UKMGB |d VT2 |d S4S |d RDF |d BRF |d EYM |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 015 | |a GBB519027 |2 bnb | ||
| 016 | 7 | |a 017050423 |2 Uk | |
| 019 | |a 905919282 |a 910551539 |a 915508496 |a 1060193937 |a 1179730623 |a 1194771964 | ||
| 020 | |a 9780128023396 |q (electronic bk.) | ||
| 020 | |a 0128023392 |q (electronic bk.) | ||
| 020 | |z 9780128023419 | ||
| 020 | |z 0128023414 | ||
| 020 | |z 0128021330 | ||
| 020 | |z 9780128021330 | ||
| 020 | |z 0128023392 | ||
| 035 | |a (OCoLC)904549072 |z (OCoLC)905919282 |z (OCoLC)910551539 |z (OCoLC)915508496 |z (OCoLC)1060193937 |z (OCoLC)1179730623 |z (OCoLC)1194771964 | ||
| 050 | 4 | |a QA76 | |
| 072 | 7 | |a COM |x 051230 |2 bisacsh | |
| 082 | 0 | 4 | |a 004 |2 23 |
| 245 | 0 | 0 | |a Advances in computers. |n Volume 97 / |c edited by Atif M. Memon. |
| 264 | 1 | |a Waltham, MA : |b Academic Press, |c 2015. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in Computers, |x 0065-2458 ; |v Volume 97 | |
| 500 | |a Includes index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (ScienceDirect, viewed March 9, 2015). | |
| 504 | |a Includes bibliographical references at the end of each chapters and indexes. | ||
| 520 | |a This 97th volume is eclectic in nature. In chapter one, Dr. Varnell-Sarjeant and Prof. Andrews analyze and compare reuse success and failures in embedded versus nonembedded systems. In chapter two, Prof. Roubtsova provides a survey of existing approaches to discrete events behavior modeling. In chapter three, Prof. Ristevski describes biological backgrounds of regulatory relationships in living cells, high-throughput experimental technologies and application of computational approaches in reverse engineering of microRNA-mediated and gene regulatory networks. In chapter four, Prof. Gasarch discusses various ways to prove that a given program terminates. In chapter five, Prof. Mesbah discusses recent advances in testing JavaScript, which is a flexible and expressive prototype-based scripting language used by developers to create interactive web applications. -- |c Edited summary from book. | ||
| 505 | 0 | |a Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter 1: Comparing Reuse Strategies in Different Development Environments; 1. Introduction; 2. Development Approaches for Embedded and Nonembedded Systems with Reuse; 2.1. Development Approaches; 2.2. Embedded versus Nonembedded Systems; 2.3. Types of Empirical Studies; 3. Review Process and Inclusion Criteria; 4. Reuse and Development Approaches for Embedded versus Nonembedded Systems; 4.1. Software Reuse in Embedded Systems; 4.2. Software Reuse in Nonembedded Systems; 4.3. Software Reuse in Embedded and Nonembedded Systems | |
| 505 | 8 | |a 4.4. Comparing Study Types5. Metrics Reported; 6. Analysis of Outcomes; 7. Threats to Validity; 8. Conclusion and Future Work; Acknowledgments; Appendix A: Years of Publication; References; Chapter 2: Advances in Behavior Modeling; 1. Introduction; 2. Properties of the Modeling Semantics Needed for System Life Cycle Support; 3. Events, States, Transitions, and Communication-Composition; 3.1. Events; 3.1.1. Abstract Events Versus Structured Messages; 3.1.2. Events as Inputs Versus Inputs and Outputs; 3.2. States; 3.2.1. Abstract States Versus States with Variables | |
| 505 | 8 | |a 3.2.2. State Localized Versus Distributed3.3. Transitions; 3.3.1. Transitions with Can, Must, Motivate Semantics; 3.3.2. Transitions That Update States Versus Transition That Update States and Variables; 3.4. Communication of LTSs and Composition; 3.4.1. CCS Composition; 3.4.2. CSP Composition; 3.4.3. Combined Composition Semantics; 3.5. Choice of a Behavior Modeling Semantics; 4. Behavior Semantics in UML; 4.1. Use Cases; 4.2. Sequence Diagrams; 4.3. Activity Diagrams; 4.4. State Machines (UML); 4.4.1. UML Behavior State Machines; 4.4.2. UML Protocol State Machines; 5. Outside UML | |
| 505 | 8 | |a 5.1. Classical Petri Nets5.1.1. Classical Petri Nets Semantics; 5.1.2. A Petri Net of a Web Service; 5.1.3. Model Changes; 5.2. Colored Petri Nets; 5.2.1. Colored Petri Nets Semantics; 5.2.2. Colored Petri Net of a Mobile Phone with Phone Book; 5.2.3. Model Changes; 5.3. Protocol Modeling; 5.3.1. Protocol Modeling Semantics; 5.3.2. Protocol Model of a Mobile Phone with Phone Book; 5.3.3. Model Changes; 5.3.4. Can and Must Semantics; 5.3.5. Motivation Semantics; 5.3.6. Combining the CCS and CSP Parallel Composition in Protocol Models | |
| 505 | 8 | |a 6. Summary of Semantic Elements of Behavior Modeling Approaches and Their PropertiesAcknowledgments; References; Chapter 3: Overview of Computational Approaches for Inference of MicroRNA-Mediated and Gene Regulatory Networks; 1. Introduction; 2. Biological Backgrounds of Cell Regulatory Mechanisms and Experimental Technologies; 3. Computational Backgrounds of the Inference of MiRNA-Mediated and GRNs; 4. Models for GRNs Inference; 4.1. Boolean Networks; 4.2. Bayesian Networks; 4.3. Dynamic Bayesian Networks; 4.4. Association Networks; 4.5. Differential and Difference Equations Models | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 2 | |a Electronic Data Processing |0 (DNLM)D001330 | |
| 650 | 6 | |a Informatique. |0 (CaQQLa)201-0063036 | |
| 650 | 6 | |a G�enie logiciel. |0 (CaQQLa)201-0121595 | |
| 650 | 7 | |a COMPUTERS |x Software Development & Engineering |x General. |2 bisacsh | |
| 650 | 7 | |a Computer science |2 fast |0 (OCoLC)fst00872451 | |
| 650 | 7 | |a Software engineering |2 fast |0 (OCoLC)fst01124185 | |
| 700 | 1 | |a Memon, Atif M., |e editor. | |
| 776 | 0 | 8 | |i Print version: |t Advances in computers. Volume 97. |d Amsterdam, [Netherlands] : Academic Press, �2015 |h x, 265 pages |k Advances in Computers ; Volume 97 |x 0065-2458 |z 9780128021330 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780128021330 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/00652458/97 |z Texto completo |