Advances in computers. Volume ninety three /

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal ar...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Memon, Atif (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: San Diego : Academic Press, 2014.
Edición:First edition.
Colección:Advances in computers, volume ninety three
Temas:
Electronic data processing.
Computers.
Computers
Ordinateurs.
computers.
Electronic data processing
Acceso en línea:Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 SCIDIR_ocn878137947
003 OCoLC
005 20231120111553.0
006 m o d
007 cr cn|||||||||
008 140314s2014 caua ob 001 0 eng d
040 |a E7B  |b eng  |e rda  |e pn  |c E7B  |d UIU  |d OCLCF  |d YDXCP  |d OCLCQ  |d COO  |d DEBBG  |d OTZ  |d VT2  |d HS0  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9780128003268  |q (e-book) 
020 |a 012800326X  |q (e-book) 
020 |a 0128001623 
020 |a 9780128001622 
020 |z 9780128001622 
035 |a (OCoLC)878137947 
050 4 |a QA76  |b .A38 2014eb 
082 0 4 |a 005.12  |2 23 
245 0 0 |a Advances in computers.  |n Volume ninety three /  |c edited by Atif Memon, University of Maryland, 4115 A.V. Williams Building, College Park, MD 20742, USA. 
250 |a First edition. 
264 1 |a San Diego :  |b Academic Press,  |c 2014. 
300 |a 1 online resource (331 pages) :  |b illustrations 
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 ninety three 
504 |a Includes bibliographical references and index. 
588 0 |a Online resource; title from PDF title page (ebrary, viewed April 4, 2014). 
505 0 |a Half Title; Title Page; Copyright; Contents; Contributors; Preface; 1 Recent Advances in Web Testing; 1 Introduction; 1.1 Running Example; 1.2 Key Problems in Web Testing; 1.3 Structure of the Chapter; 2 Model Construction; 2.1 UML Models; 2.2 FSM Models; 2.3 Identification of Logical Web Pages; 3 Input Generation; 3.1 Manual Techniques; 3.2 (Semi- )automatic Techniques; 3.2.1 Hidden Web Crawlers; 3.2.2 Automating Equivalence Partitioning and Boundary Value Analysis; 3.2.3 Fuzz Testing; 3.2.4 User-Session-Based Techniques; 3.2.5 Symbolic Execution and Constraint Solving Techniques; 4 Metrics 
505 8 |a 4.1 Adequacy Metrics4.2 Crawlability Metrics; 5 Rich Client; 5.1 Dynamic Analysis; 5.2 Model Mining; 5.3 RIA Testing; 6 Conclusion; References; About the Authors; 2 Exploiting Hardware Monitoring in Software Engineering; 1 Introduction; 2 Reducing the Overhead of Program Monitoring; 3 Foundations in Hardware Monitoring; 3.1 Hardware Monitoring on Commodity Devices; 3.2 Debugging and Advanced Hardware Mechanisms; 3.2.1 Last Branch Record (LBR); 3.2.2 Branch Trace Store (BTS); 3.2.3 Precise Event Based Sampling (PEBS); 3.3 Tools for Exploiting HPMs; 3.3.1 User-Level HPM Access 
505 8 |a 3.3.2 Sampling Challenges4 Hardware Monitoring in Software Engineering; 4.1 Path Profiling and Trace Selection; 4.2 Dynamic Optimization; 4.3 Software Testing; 4.3.1 Branch Coverage via Hardware Monitoring; 4.3.1.1 Enabling Fall-Through Visibility; 4.3.1.2 User-level Branch Vector Access; 4.3.1.3 Improving Branch Coverage; 4.3.1.4 Empirical Evaluation; 4.3.2 Statement Coverage via Hardware Monitoring; 4.3.3 THeME for Smartphones and Tablets; 5 Discussion and Future Directions; 5.1 Software Engineering Applications; 5.2 Future Challenges in Software Engineering; 6 Conclusions; References 
505 8 |a About the Author3 Advances in Model-Driven Security; 1 Introduction; 2 Model-Driven Engineering; 2.1 Models, Metamodels, and Model Transformations; 2.2 Model-Driven Engineering Approaches; 2.2.1 Model-Driven Architecture; 2.2.2 Domain Specific Modeling; 2.2.3 Multi-Paradigm Modeling; 2.2.4 Aspect-Oriented Modeling; 3 Model-Driven Security; 3.1 A Brief History of Mds; 3.2 Evaluation Taxonomy; 4 Evaluation of Current Model-Driven Security Approaches; 4.1 UMLsec; 4.2 SecureUML; 4.3 Sectet; 4.4 ModelSec; 4.5 SecureMDD; 5 Discussion; 5.1 Evaluation Synthesis; 5.2 Threats to the Validity of Mds 
505 8 |a 5.3 Relevant Open Issues5.3.1 Choice of Modeling Paradigms; 5.3.2 Security Concerns and Corresponding Metamodel; 5.3.3 Choice of Modeling Languages; 6 Related Work; 7 Conclusion; List of Acronyms; References; About the Authors; 4 Adapting Multi-Criteria Decision Analysis for Assessing the Quality of Software Products. Current Approaches and Future Perspectives; 1 Introduction; 1.1 Motivation; 1.2 Research Objectives and Scope; 1.3 Structure of the Chapter; 2 Background; 2.1 Software Quality Modeling and Assessment; 2.2 Decision Making and Multi-Criteria Decision Analysis 
520 |a Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technologyWell-known authors and researchers in the field> 
650 0 |a Electronic data processing. 
650 0 |a Computers. 
650 2 |a Computers  |0 (DNLM)D003201 
650 6 |a Ordinateurs.  |0 (CaQQLa)201-0003527 
650 7 |a computers.  |2 aat  |0 (CStmoGRI)aat300024521 
650 7 |a Computers  |2 fast  |0 (OCoLC)fst00872776 
650 7 |a Electronic data processing  |2 fast  |0 (OCoLC)fst00906956 
700 1 |a Memon, Atif,  |e editor. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780128001622  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/00652458/93  |z Texto completo 

Ejemplares similares