close
1.

電子ブック
ＥＢ
1. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
The Next Step Forward / 1.3：
Cooperative Bug Isolation / 1.4：
Instrumentation Framework / 2：
Basic Instrumentation Strategy / 2.1：
Sampling the Bernoulli Way / 2.1.1：
From Blocks to Functions / 2.1.2：
Interprocedural Issues / 2.1.3：
Instrumentation Schemes for Distributed Debugging / 2.2：
Issues in Remote Sampling / 2.2.1：
Counter-Based Instrumentation Schemes / 2.2.2：
Additional Instrumentation Schemes / 2.2.3：
Performance and Optimizations / 2.3：
Static Branch Prediction / 2.3.1：
Weightless Functions / 2.3.2：
Empty and Singleton Regions / 2.3.3：
Local Countdown Caching / 2.3.4：
Random Countdown Generation / 2.3.5：
Path Balancing / 2.3.6：
Statically Selective Sampling / 2.3.7：
Optimization Recap / 2.3.8：
Adaptive Sampling / 2.4：
Nonuniformity Via Multiple Countdowns / 2.4.1：
Nonuniformity Via Non-Unit Site Weights / 2.4.2：
Policy Notes / 2.4.3：
Realistic Sampling Rates / 2.5：
Practical Considerations / 3：
Native Compiler Integration / 3.1：
Static Site Information / 3.1.1：
Libraries and Plugins / 3.2：
Threads / 3.3：
Next-Sample Countdown / 3.3.1：
Predicate Counters / 3.3.2：
Compilation Unit Registry and Report File / 3.3.3：
Time Stamp Clock / 3.3.4：
Performance Evaluation / 3.3.5：
Privacy and Security / 3.4：
User Interaction / 3.5：
Status of the Public Deployment / 3.6：
Resource Requirements / 3.6.1：
Reporting Trends / 3.6.2：
Techniques for Statistical Debugging / 4：
Notation and Terminology / 4.1：
Predicate Elimination / 4.2：
Instrumentation Strategy / 4.2.1：
Elimination Strategies / 4.2.2：
Data Collection and Analysis / 4.2.3：
Refinement over time / 4.2.4：
Performance Impact / 4.2.5：
Limitations and Insights / 4.2.6：
Regularized Logistic Regression / 4.3：
Crash Prediction Using Logistic Regression / 4.3.1：
Moss: A Multiple-Bug Challenge / 4.3.2：
Nonuniform Sampling / 4.4.1：
Analysis Results / 4.4.2：
Iterative Bug Isolation and Elimination / 4.5：
Increase Scores / 4.5.1：
Statistical Interpretation / 4.5.2：
Balancing Specificity and Sensitivity / 4.5.3：
Redundancy Elimination / 4.5.4：
Case Studies / 4.6：
Moss / 4.6.1：
CCRYPT / 4.6.2：
BC / 4.6.3：
EXIF / 4.6.4：
Rhythmbox / 4.6.5：
Related Work / 5：
Static Analysis / 5.1：
Profiling and Tracing / 5.2：
Dynamic Analysis / 5.3：
Conclusion / 6：
References
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
2.

電子ブック
ＥＢ
2. Cooperative Bug Isolation
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
The Next Step Forward / 1.3：
Cooperative Bug Isolation / 1.4：
Instrumentation Framework / 2：
Basic Instrumentation Strategy / 2.1：
Sampling the Bernoulli Way / 2.1.1：
From Blocks to Functions / 2.1.2：
Interprocedural Issues / 2.1.3：
Instrumentation Schemes for Distributed Debugging / 2.2：
Issues in Remote Sampling / 2.2.1：
Counter-Based Instrumentation Schemes / 2.2.2：
Additional Instrumentation Schemes / 2.2.3：
Performance and Optimizations / 2.3：
Static Branch Prediction / 2.3.1：
Weightless Functions / 2.3.2：
Empty and Singleton Regions / 2.3.3：
Local Countdown Caching / 2.3.4：
Random Countdown Generation / 2.3.5：
Path Balancing / 2.3.6：
Statically Selective Sampling / 2.3.7：
Optimization Recap / 2.3.8：
Adaptive Sampling / 2.4：
Nonuniformity Via Multiple Countdowns / 2.4.1：
Nonuniformity Via Non-Unit Site Weights / 2.4.2：
Policy Notes / 2.4.3：
Realistic Sampling Rates / 2.5：
Practical Considerations / 3：
Native Compiler Integration / 3.1：
Static Site Information / 3.1.1：
Libraries and Plugins / 3.2：
Threads / 3.3：
Next-Sample Countdown / 3.3.1：
Predicate Counters / 3.3.2：
Compilation Unit Registry and Report File / 3.3.3：
Time Stamp Clock / 3.3.4：
Performance Evaluation / 3.3.5：
Privacy and Security / 3.4：
User Interaction / 3.5：
Status of the Public Deployment / 3.6：
Resource Requirements / 3.6.1：
Reporting Trends / 3.6.2：
Techniques for Statistical Debugging / 4：
Notation and Terminology / 4.1：
Predicate Elimination / 4.2：
Instrumentation Strategy / 4.2.1：
Elimination Strategies / 4.2.2：
Data Collection and Analysis / 4.2.3：
Refinement over time / 4.2.4：
Performance Impact / 4.2.5：
Limitations and Insights / 4.2.6：
Regularized Logistic Regression / 4.3：
Crash Prediction Using Logistic Regression / 4.3.1：
Moss: A Multiple-Bug Challenge / 4.3.2：
Nonuniform Sampling / 4.4.1：
Analysis Results / 4.4.2：
Iterative Bug Isolation and Elimination / 4.5：
Increase Scores / 4.5.1：
Statistical Interpretation / 4.5.2：
Balancing Specificity and Sensitivity / 4.5.3：
Redundancy Elimination / 4.5.4：
Case Studies / 4.6：
Moss / 4.6.1：
CCRYPT / 4.6.2：
BC / 4.6.3：
EXIF / 4.6.4：
Rhythmbox / 4.6.5：
Related Work / 5：
Static Analysis / 5.1：
Profiling and Tracing / 5.2：
Dynamic Analysis / 5.3：
Conclusion / 6：
References
Introduction / 1：
Perfect, or Close Enough / 1.1：
Automatic Failure Reporting / 1.2：
3.

電子ブック
ＥＢ
3. Automata for Branching and Layered Temporal Structures
Gabriele Puppis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
Words and Languages / 2.1.1：
Periodicity of Words / 2.1.2：
Word Automata / 2.1.3：
Time Granularities / 2.1.4：
The String-Based and Automaton-Based Approaches / 2.2：
The Granspec Formalism / 2.2.1：
From Granspecs to Single-String Automata / 2.2.2：
Counters and Multiple Transitions / 2.2.3：
The Logical Counterpart of RCSSA / 2.2.4：
Compact and Tractable Representations / 2.3：
Nested Repetitions of Words / 2.3.1：
Algorithms on NCSSA / 2.3.2：
Optimizing Representations / 2.3.3：
Reasoning on Sets of Granularities / 2.4：
Languages of Ultimately Periodic Words / 2.4.1：
Ultimately Periodic Automata / 2.4.2：
Algorithms on UPA / 2.4.3：
Applications to Time Granularity / 2.4.4：
Discussion / 2.5：
Tree Automata and Logics / 3：
Graphs and Trees / 3.1：
Tree Automata / 3.1.2：
Monadic Second-Order Logic / 3.1.3：
The Model Checking Problem / 3.1.4：
The Contraction Method for Tree Automata / 3.2：
Features and Types / 3.2.1：
Types and the Acceptance Problem / 3.2.2：
From Trees to Their Retractions / 3.2.3：
An Example / 3.2.4：
Tree Transformations / 3.3：
Tree Recolorings / 3.3.1：
Tree Substitutions / 3.3.2：
Tree Transducers / 3.3.3：
Inverse Substitutions / 3.3.4：
A Summary / 3.3.5：
The Class of Reducible Trees / 3.4：
Compositional Properties of Types / 3.4.1：
Closure Properties / 3.4.2：
Effectiveness of the Contraction Method / 3.5：
Reducible Trees and the Caucal Hierarchy / 3.5.1：
Two-Way Alternating Tree Automata / 3.5.2：
Morphic Trees / 3.5.3：
Layered Temporal Structures / 3.5.4：
Summary / 3.6：
Technical Proofs / A：
Proofs of Theorem 5 and Theorem 6 / A.l：
Proof of Theorem 8 / A.2：
Proof of Proposition 34 / A.3：
References
Notation
Index
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
4.

電子ブック
ＥＢ
4. Automata for Branching and Layered Temporal Structures
Gabriele Puppis, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
Words and Languages / 2.1.1：
Periodicity of Words / 2.1.2：
Word Automata / 2.1.3：
Time Granularities / 2.1.4：
The String-Based and Automaton-Based Approaches / 2.2：
The Granspec Formalism / 2.2.1：
From Granspecs to Single-String Automata / 2.2.2：
Counters and Multiple Transitions / 2.2.3：
The Logical Counterpart of RCSSA / 2.2.4：
Compact and Tractable Representations / 2.3：
Nested Repetitions of Words / 2.3.1：
Algorithms on NCSSA / 2.3.2：
Optimizing Representations / 2.3.3：
Reasoning on Sets of Granularities / 2.4：
Languages of Ultimately Periodic Words / 2.4.1：
Ultimately Periodic Automata / 2.4.2：
Algorithms on UPA / 2.4.3：
Applications to Time Granularity / 2.4.4：
Discussion / 2.5：
Tree Automata and Logics / 3：
Graphs and Trees / 3.1：
Tree Automata / 3.1.2：
Monadic Second-Order Logic / 3.1.3：
The Model Checking Problem / 3.1.4：
The Contraction Method for Tree Automata / 3.2：
Features and Types / 3.2.1：
Types and the Acceptance Problem / 3.2.2：
From Trees to Their Retractions / 3.2.3：
An Example / 3.2.4：
Tree Transformations / 3.3：
Tree Recolorings / 3.3.1：
Tree Substitutions / 3.3.2：
Tree Transducers / 3.3.3：
Inverse Substitutions / 3.3.4：
A Summary / 3.3.5：
The Class of Reducible Trees / 3.4：
Compositional Properties of Types / 3.4.1：
Closure Properties / 3.4.2：
Effectiveness of the Contraction Method / 3.5：
Reducible Trees and the Caucal Hierarchy / 3.5.1：
Two-Way Alternating Tree Automata / 3.5.2：
Morphic Trees / 3.5.3：
Layered Temporal Structures / 3.5.4：
Summary / 3.6：
Technical Proofs / A：
Proofs of Theorem 5 and Theorem 6 / A.l：
Proof of Theorem 8 / A.2：
Proof of Proposition 34 / A.3：
References
Notation
Index
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
5.

電子ブック
ＥＢ
5. Human-Centered Visualization Environments
Andreas Kerren, Achim Ebert, Takeo Kanade, J?rg Meyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of Contributors
Introduction to Human-Centered Visualization Environments / A. Kerren ; A. Ebert ; J. Meyer1：
Fundamental Principles and Methods / Part I：
Human-Centered Aspects / O. Kulyk ; R. Kosara ; J. Urquiza ; I. Wassink2：
Human-Centered Approach / 2.1：
Usability in Human-Centered Design / 2.2：
Defining Usability / 2.2.1：
Evaluating Usability / 2.2.2：
Improving Usability / 2.2.3：
Usability and Information Overload / 2.2.4：
User Aims and Requirements / 2.3：
Characteristics of Good Visualizations and User Interfaces / 2.3.1：
Essential Elements of Successful Visualization / 2.3.2：
Dimensions in Visualization / 2.3.3：
Steps in Visualization Design / 2.3.4：
The Design Cycle / 2.3.5：
User Analysis / 2.3.6：
User Requirements / 2.3.7：
Task Analysis / 2.3.8：
Task Modeling / 2.3.9：
Designing for and with Users / 2.3.10：
Evaluation of Visualization Environments / 2.4：
Human-Centered Evaluation in Visualization Practice / 2.4.1：
Evaluation Methods / 2.4.2：
Designing Experiments / 2.4.3：
Challenges in Evaluation of Collaborative Visualization Environments / 2.4.4：
User Studies and a Science of Visualization / 2.5：
Survey of Information Visualization Studies / 2.5.1：
The Future of User Studies / 2.5.2：
Chapter Notes / 2.6：
Interacting with Visualizations / W. Fikkert ; M. D'Ambros ; T. Bierz ; T.J. Jankun-Kelly3：
Interaction / 3.1：
Describing Interaction / 3.1.1：
Defining Interaction / 3.1.2：
Influences of Display Technologies / 3.2：
Survey of Display Technologies / 3.2.1：
Scales of Interaction / 3.2.2：
Display Interaction Modalities and Media / 3.2.3：
Interfaces and Usability for Novel Displays / 3.2.4：
Display Device Challenges in Visualization / 3.2.5：
Multimodal Interaction / 3.3：
Unimodality Versus Multimodality / 3.3.1：
Issues to Deal with in Multimodal Interaction / 3.3.2：
Myths of Multimodality / 3.3.3：
Survey of Enabling Technologies / 3.3.4：
Overview of Approaches to Multimodal Interaction / 3.3.5：
Enabling Multimodal Interaction / 3.3.6：
Visualizations in Multi-party Environments / 3.4：
Collaborating with Visualizations / 3.4.1：
Models for Distributed Collaborative Visualization / 3.4.2：
Evaluation Criteria / 3.4.3：
Survey of Collaborative Visualization Systems / 3.4.4：
Challenges for Multi-party Visualizations / 3.4.5：
Visual Representations / C. Gorg ; M. Pohl ; E. Qeli ; K. Xu3.5：
Perceptual and Cognitive Issues / 4.1：
The Visualization Process / 4.1.1：
Types of Data / 4.1.2：
Preattentive Processing / 4.1.3：
Information Visualization Criteria and Metaphors / 4.2：
Information Visualization Criteria / 4.2.1：
Metaphors / 4.2.2：
Multivariate Visualization Techniques / 4.3：
Low-Dimensional Data Visualization / 4.3.1：
Multidimensional Data Visualization / 4.3.2：
Usability Issues on Multidimensional Data Visualization / 4.3.3：
Graphs and Trees / 4.4：
Applications / 4.4.1：
Background / 4.4.2：
Aesthetics vs. Graph Readability / 4.4.3：
Layout vs. Graph Readability / 4.4.4：
Large Graphs / 4.4.5：
Integrated Graph Drawing / 4.4.6：
Labeling of Graphs / 4.4.7：
Multiple Views / 4.5：
Classification / 4.5.1：
The Design of Multiple Views / 4.5.2：
Comparison with Integrated Views / 4.5.3：
Challenges and Unsolved Problems / R.S. Laramee4.6：
Classification of Future Challenges and Unsolved Problems in Human-Centered Visualization / 5.1：
Human-Centered Challenges / 5.1.1：
Technical Challenges / 5.1.2：
Financial Challenges / 5.1.3：
Domain-Specific Visualization / 5.2：
Geographic Visualization / M. Nollenburg6：
Goals of Geovisualization / 6.1：
Driving Forces of Geovisualization / 6.2：
Cognitive Aspects / 6.3：
Visual Thinking / 6.3.1：
Graphic Variables / 6.3.2：
Visualization Methods and Techniques / 6.4：
Geospatial Data / 6.4.1：
2D Cartographic Visualization / G.4.2：
3D Cartographic Visualization / 6.4.3：
Visual Data Mining Tools / 6.4.4：
Animation / 6.4.5：
Spatio-Temporal Visualization / 6.4.6：
Interactive User Interfaces / 6.4.7：
Combining Visual and Computational Exploration / 6.4.8：
Geovisualization Tools / 6.5：
Usability of Geovisualization Systems / 6.6：
Involving Users in the Design of Geovisualizations / 6.6.1：
Results from User Studies / 6.6.2：
Geovisualization to Support Group Work / 6.6.3：
Algorithm Animation / A. Moreno6.7：
Overview / 7.1：
Users of Algorithm Animation / 7.2：
Taxonomies for Algorithm Animation Tools / 7.3：
Review of Tools and Their Evaluations / 7.4：
Concept Keyboards for Algorithm Visualization / 7.4.1：
Matrix and MatrixPro / 7.4.2：
Alvis and Alvis Live! / 7.4.3：
Alice / 7.4.4：
Jeliot 3/Jeliot 2000 / 7.4.5：
JHAVE / 7.4.6：
WinHipe / 7.4.7：
User Studies Compilation / 7.4.8：
Biomedical Information Visualization / M. Lungu7.5：
Phylogenetic Tree Visualization / 8.1：
Small Trees - Working in Euclidean Space / 8.1.1：
Large Trees - Using Focus and Context / 8.1.2：
Very Large Trees - Hyperbolic 3D Space / 8.1.3：
Discussion and Further Reading / 8.1.4：
Sequence Alignment / 8.2：
Sequence Logos / 8.2.1：
Editing and Visualizing Sequence Alignment: Jalview / 8.2.2：
Vista: Online Visualization of DNA Alignment / 8.2.3：
Sequence Walkers / 8.2.4：
Dot Plots / 8.2.5：
Arc Diagrams / 8.2.6：
Biochemical Network Analysis / 8.2.7：
Cytoscape / 8.3.1：
Biochemical Pathway Analysis / 8.3.2：
Layout for Large Biochemical Networks: LGL / 8.3.3：
Microarray Data Visualization / 8.3.4：
Tree View / 8.4.1：
Hierarchical Clustering Explorer / 8.4.2：
Evaluation of Microarray Visualization Tools / 8.4.3：
Medical Records Visualization / 8.5：
LifeLines: Visualizing Patient Temporal Data / 8.5.1：
The Cube: Multidimensional Analysis of Medical Records / 8.5.2：
Visualizing Medical Practice Guidelines and Protocols / 8.5.3：
Bibliography / 8.6：
Author Index
Index
Preface
List of Contributors
Introduction to Human-Centered Visualization Environments / A. Kerren ; A. Ebert ; J. Meyer1：
6.

電子ブック
ＥＢ
6. Human-Centered Visualization Environments
Andreas Kerren, Achim Ebert, Takeo Kanade, Jörg Meyer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of Contributors
Introduction to Human-Centered Visualization Environments / A. Kerren ; A. Ebert ; J. Meyer1：
Fundamental Principles and Methods / Part I：
Human-Centered Aspects / O. Kulyk ; R. Kosara ; J. Urquiza ; I. Wassink2：
Human-Centered Approach / 2.1：
Usability in Human-Centered Design / 2.2：
Defining Usability / 2.2.1：
Evaluating Usability / 2.2.2：
Improving Usability / 2.2.3：
Usability and Information Overload / 2.2.4：
User Aims and Requirements / 2.3：
Characteristics of Good Visualizations and User Interfaces / 2.3.1：
Essential Elements of Successful Visualization / 2.3.2：
Dimensions in Visualization / 2.3.3：
Steps in Visualization Design / 2.3.4：
The Design Cycle / 2.3.5：
User Analysis / 2.3.6：
User Requirements / 2.3.7：
Task Analysis / 2.3.8：
Task Modeling / 2.3.9：
Designing for and with Users / 2.3.10：
Evaluation of Visualization Environments / 2.4：
Human-Centered Evaluation in Visualization Practice / 2.4.1：
Evaluation Methods / 2.4.2：
Designing Experiments / 2.4.3：
Challenges in Evaluation of Collaborative Visualization Environments / 2.4.4：
User Studies and a Science of Visualization / 2.5：
Survey of Information Visualization Studies / 2.5.1：
The Future of User Studies / 2.5.2：
Chapter Notes / 2.6：
Interacting with Visualizations / W. Fikkert ; M. D'Ambros ; T. Bierz ; T.J. Jankun-Kelly3：
Interaction / 3.1：
Describing Interaction / 3.1.1：
Defining Interaction / 3.1.2：
Influences of Display Technologies / 3.2：
Survey of Display Technologies / 3.2.1：
Scales of Interaction / 3.2.2：
Display Interaction Modalities and Media / 3.2.3：
Interfaces and Usability for Novel Displays / 3.2.4：
Display Device Challenges in Visualization / 3.2.5：
Multimodal Interaction / 3.3：
Unimodality Versus Multimodality / 3.3.1：
Issues to Deal with in Multimodal Interaction / 3.3.2：
Myths of Multimodality / 3.3.3：
Survey of Enabling Technologies / 3.3.4：
Overview of Approaches to Multimodal Interaction / 3.3.5：
Enabling Multimodal Interaction / 3.3.6：
Visualizations in Multi-party Environments / 3.4：
Collaborating with Visualizations / 3.4.1：
Models for Distributed Collaborative Visualization / 3.4.2：
Evaluation Criteria / 3.4.3：
Survey of Collaborative Visualization Systems / 3.4.4：
Challenges for Multi-party Visualizations / 3.4.5：
Visual Representations / C. Gorg ; M. Pohl ; E. Qeli ; K. Xu3.5：
Perceptual and Cognitive Issues / 4.1：
The Visualization Process / 4.1.1：
Types of Data / 4.1.2：
Preattentive Processing / 4.1.3：
Information Visualization Criteria and Metaphors / 4.2：
Information Visualization Criteria / 4.2.1：
Metaphors / 4.2.2：
Multivariate Visualization Techniques / 4.3：
Low-Dimensional Data Visualization / 4.3.1：
Multidimensional Data Visualization / 4.3.2：
Usability Issues on Multidimensional Data Visualization / 4.3.3：
Graphs and Trees / 4.4：
Applications / 4.4.1：
Background / 4.4.2：
Aesthetics vs. Graph Readability / 4.4.3：
Layout vs. Graph Readability / 4.4.4：
Large Graphs / 4.4.5：
Integrated Graph Drawing / 4.4.6：
Labeling of Graphs / 4.4.7：
Multiple Views / 4.5：
Classification / 4.5.1：
The Design of Multiple Views / 4.5.2：
Comparison with Integrated Views / 4.5.3：
Challenges and Unsolved Problems / R.S. Laramee4.6：
Classification of Future Challenges and Unsolved Problems in Human-Centered Visualization / 5.1：
Human-Centered Challenges / 5.1.1：
Technical Challenges / 5.1.2：
Financial Challenges / 5.1.3：
Domain-Specific Visualization / 5.2：
Geographic Visualization / M. Nollenburg6：
Goals of Geovisualization / 6.1：
Driving Forces of Geovisualization / 6.2：
Cognitive Aspects / 6.3：
Visual Thinking / 6.3.1：
Graphic Variables / 6.3.2：
Visualization Methods and Techniques / 6.4：
Geospatial Data / 6.4.1：
2D Cartographic Visualization / G.4.2：
3D Cartographic Visualization / 6.4.3：
Visual Data Mining Tools / 6.4.4：
Animation / 6.4.5：
Spatio-Temporal Visualization / 6.4.6：
Interactive User Interfaces / 6.4.7：
Combining Visual and Computational Exploration / 6.4.8：
Geovisualization Tools / 6.5：
Usability of Geovisualization Systems / 6.6：
Involving Users in the Design of Geovisualizations / 6.6.1：
Results from User Studies / 6.6.2：
Geovisualization to Support Group Work / 6.6.3：
Algorithm Animation / A. Moreno6.7：
Overview / 7.1：
Users of Algorithm Animation / 7.2：
Taxonomies for Algorithm Animation Tools / 7.3：
Review of Tools and Their Evaluations / 7.4：
Concept Keyboards for Algorithm Visualization / 7.4.1：
Matrix and MatrixPro / 7.4.2：
Alvis and Alvis Live! / 7.4.3：
Alice / 7.4.4：
Jeliot 3/Jeliot 2000 / 7.4.5：
JHAVE / 7.4.6：
WinHipe / 7.4.7：
User Studies Compilation / 7.4.8：
Biomedical Information Visualization / M. Lungu7.5：
Phylogenetic Tree Visualization / 8.1：
Small Trees - Working in Euclidean Space / 8.1.1：
Large Trees - Using Focus and Context / 8.1.2：
Very Large Trees - Hyperbolic 3D Space / 8.1.3：
Discussion and Further Reading / 8.1.4：
Sequence Alignment / 8.2：
Sequence Logos / 8.2.1：
Editing and Visualizing Sequence Alignment: Jalview / 8.2.2：
Vista: Online Visualization of DNA Alignment / 8.2.3：
Sequence Walkers / 8.2.4：
Dot Plots / 8.2.5：
Arc Diagrams / 8.2.6：
Biochemical Network Analysis / 8.2.7：
Cytoscape / 8.3.1：
Biochemical Pathway Analysis / 8.3.2：
Layout for Large Biochemical Networks: LGL / 8.3.3：
Microarray Data Visualization / 8.3.4：
Tree View / 8.4.1：
Hierarchical Clustering Explorer / 8.4.2：
Evaluation of Microarray Visualization Tools / 8.4.3：
Medical Records Visualization / 8.5：
LifeLines: Visualizing Patient Temporal Data / 8.5.1：
The Cube: Multidimensional Analysis of Medical Records / 8.5.2：
Visualizing Medical Practice Guidelines and Protocols / 8.5.3：
Bibliography / 8.6：
Author Index
Index
Preface
List of Contributors
Introduction to Human-Centered Visualization Environments / A. Kerren ; A. Ebert ; J. Meyer1：
7.

電子ブック
ＥＢ
7. Secure Transaction Protocol Analysis
Qingfeng Chen, Takeo Kanade, Chengqi Zhang, Shichao Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
What Is Security Protocol? / 1.1：
Needs of Formal Analysis for Secure Transaction Protocols / 1.2：
Formal Methods and Related Areas / 1.3：
Emerging Issues and Trends / 1.4：
A Brief Discussion on the Chapters / 1.5：
Summary / 1.6：
Overview of Security Protocol Analysis / 2：
The Formalism / 2.1：
Basic Notations and Terminology / 2.1.1：
Inference Rules / 2.1.2：
Security Protocols / 2.2：
SET Protocol / 2.2.1：
Netbill Protocol / 2.2.2：
Security Services / 2.2.3：
Principles of Cryptography / 2.2.4：
Threats in Security Protocols / 2.2.5：
Research into Analysis of Security Protocols / 2.3：
A Discussion of Formal Methods and Security Protocols / 2.3.1：
A Brief Introduction to Protocol Abstraction / 2.3.2：
A Classification of Approaches for Protocol Analysis / 2.3.3：
Attack-Construction Approach / 2.4：
Approaches by Dolev and Yao / 2.4.1：
NRL Protocol Analyser / 2.4.2：
Inference-Construction Approach / 2.5：
BAN Logic / 2.5.1：
Extensions to BAN Logic / 2.5.2：
Proof-Construction Approach / 2.6：
Approaches Using Formal Tools and Specification Languages / 2.7：
Formal Analysis of Secure Transaction Protocols / 2.8：
Research into Verifying Electronic Transaction Protocols / 3.1：
Formalism for Protocol Analysis Using Process Calculi / 3.2.1：
Formal Analysis Using an Observational Transition System / 3.2.2：
Formal Analysis of Card-Based Payment Systems in Mobile Devices / 3.2.3：
A Computational Model / 3.3：
Basic Terms and Statements / 3.4：
Logical Framework and Statement of ENDL / 3.5：
Axiom / 3.5.1：
Inference Format / 3.5.2：
Verification Instances of Security Protocols in ENDL / 3.5.4：
Model Checking in Security Protocol Analysis / 3.6：
An Overview of Model Checking in Analysing E-Commerce Protocols / 4.1：
Model Checking for Failure Analysis of Protocols / 4.1.1：
Automatic Analysis of E-commerce Protocols Using UML / 4.1.2：
An ENDL-Based Verification Model / 4.2：
Components / 4.2.1：
Designing the Model / 4.2.2：
Handling the Knowledge and Facts / 4.2.3：
Recognition / 4.2.4：
Comparison with Theorem Proving / 4.3：
Discussion / 4.4：
Uncertainty Issues in Secure Messages / 4.5：
Estimation of Inconsistency of Secure Messages / 5.1：
Related Work / 5.2.1：
Semantics Description / 5.2.2：
Measuring Inconsistency in Secure Messages / 5.2.3：
Examples of Measuring Inconsistency / 5.2.4：
Experiments / 5.2.5：
Integration of Conflicting Beliefs in Secure Messages / 5.3：
Basic Concepts / 5.3.1：
Handling Inconsistent Beliefs in Secure Messages / 5.3.3：
Applications of Data Mining in Protocol Analysis / 5.3.4：
Association Rule Mining for Inconsistent Secure Messages / 6.1：
The Basics of Association Rule Mining / 6.4.1：
Data Preparation / 6.4.2：
Identifying Association Rules of Interest / 6.4.3：
Algorithms and Experiments / 6.5：
Algorithms / 6.5.1：
Detection Models of Collusion Attacks / 6.5.2：
Identification of Frequent Patterns for Collusion Attack Detection / 7.1：
A Framework to Detect Collusion Attacks / 7.3.1：
Dealing with Knowledge and Facts / 7.3.3：
A Case Study / 7.3.4：
Estimation of the Probability of Collusion Attacks / 7.4：
Motivations / 7.4.1：
Preliminaries / 7.4.2：
Identifying Collusion Attack Using Bayesian Network / 7.4.3：
Conclusion and Future Works / 7.4.4：
Conclusion / 8.1：
Future Work / 8.2：
References
Index
Introduction / 1：
What Is Security Protocol? / 1.1：
Needs of Formal Analysis for Secure Transaction Protocols / 1.2：
8.

電子ブック
ＥＢ
8. Secure Transaction Protocol Analysis
Qingfeng Chen, Takeo Kanade, Chengqi Zhang, Shichao Zhang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
What Is Security Protocol? / 1.1：
Needs of Formal Analysis for Secure Transaction Protocols / 1.2：
Formal Methods and Related Areas / 1.3：
Emerging Issues and Trends / 1.4：
A Brief Discussion on the Chapters / 1.5：
Summary / 1.6：
Overview of Security Protocol Analysis / 2：
The Formalism / 2.1：
Basic Notations and Terminology / 2.1.1：
Inference Rules / 2.1.2：
Security Protocols / 2.2：
SET Protocol / 2.2.1：
Netbill Protocol / 2.2.2：
Security Services / 2.2.3：
Principles of Cryptography / 2.2.4：
Threats in Security Protocols / 2.2.5：
Research into Analysis of Security Protocols / 2.3：
A Discussion of Formal Methods and Security Protocols / 2.3.1：
A Brief Introduction to Protocol Abstraction / 2.3.2：
A Classification of Approaches for Protocol Analysis / 2.3.3：
Attack-Construction Approach / 2.4：
Approaches by Dolev and Yao / 2.4.1：
NRL Protocol Analyser / 2.4.2：
Inference-Construction Approach / 2.5：
BAN Logic / 2.5.1：
Extensions to BAN Logic / 2.5.2：
Proof-Construction Approach / 2.6：
Approaches Using Formal Tools and Specification Languages / 2.7：
Formal Analysis of Secure Transaction Protocols / 2.8：
Research into Verifying Electronic Transaction Protocols / 3.1：
Formalism for Protocol Analysis Using Process Calculi / 3.2.1：
Formal Analysis Using an Observational Transition System / 3.2.2：
Formal Analysis of Card-Based Payment Systems in Mobile Devices / 3.2.3：
A Computational Model / 3.3：
Basic Terms and Statements / 3.4：
Logical Framework and Statement of ENDL / 3.5：
Axiom / 3.5.1：
Inference Format / 3.5.2：
Verification Instances of Security Protocols in ENDL / 3.5.4：
Model Checking in Security Protocol Analysis / 3.6：
An Overview of Model Checking in Analysing E-Commerce Protocols / 4.1：
Model Checking for Failure Analysis of Protocols / 4.1.1：
Automatic Analysis of E-commerce Protocols Using UML / 4.1.2：
An ENDL-Based Verification Model / 4.2：
Components / 4.2.1：
Designing the Model / 4.2.2：
Handling the Knowledge and Facts / 4.2.3：
Recognition / 4.2.4：
Comparison with Theorem Proving / 4.3：
Discussion / 4.4：
Uncertainty Issues in Secure Messages / 4.5：
Estimation of Inconsistency of Secure Messages / 5.1：
Related Work / 5.2.1：
Semantics Description / 5.2.2：
Measuring Inconsistency in Secure Messages / 5.2.3：
Examples of Measuring Inconsistency / 5.2.4：
Experiments / 5.2.5：
Integration of Conflicting Beliefs in Secure Messages / 5.3：
Basic Concepts / 5.3.1：
Handling Inconsistent Beliefs in Secure Messages / 5.3.3：
Applications of Data Mining in Protocol Analysis / 5.3.4：
Association Rule Mining for Inconsistent Secure Messages / 6.1：
The Basics of Association Rule Mining / 6.4.1：
Data Preparation / 6.4.2：
Identifying Association Rules of Interest / 6.4.3：
Algorithms and Experiments / 6.5：
Algorithms / 6.5.1：
Detection Models of Collusion Attacks / 6.5.2：
Identification of Frequent Patterns for Collusion Attack Detection / 7.1：
A Framework to Detect Collusion Attacks / 7.3.1：
Dealing with Knowledge and Facts / 7.3.3：
A Case Study / 7.3.4：
Estimation of the Probability of Collusion Attacks / 7.4：
Motivations / 7.4.1：
Preliminaries / 7.4.2：
Identifying Collusion Attack Using Bayesian Network / 7.4.3：
Conclusion and Future Works / 7.4.4：
Conclusion / 8.1：
Future Work / 8.2：
References
Index
Introduction / 1：
What Is Security Protocol? / 1.1：
Needs of Formal Analysis for Secure Transaction Protocols / 1.2：
9.

電子ブック
ＥＢ
9. Grid Resource Management
Mumtaz Siddiqui, Thomas Fahringer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Overview / Part I：
Introduction / 1：
Motivation / 1.1：
Collaboration Instead of Isolation / 1.1.1：
Discovery and Selection / 1.1.2：
Lifecycle Management / 1.1.3：
On-Demand Provisioning / 1.1.4：
Role of Planning / 1.1.5：
Service-Level Agreement / 1.1.6：
Optimized Resource Allocation / 1.1.7：
Synthesis and Aggregation / 1.1.8：
Grid Enablement / 1.1.9：
Portability / 1.1.10：
Semantics in the Grid / 1.1.11：
Research Goals / 1.2：
Automatic Resource Brokerage / 1.2.1：
Dynamic Registration and Automatic Deployment / 1.2.2：
Advance Reservation and Co-allocation / 1.2.3：
Capacity Management and Planning / 1.2.4：
Standard Adaptation / 1.2.5：
Organization / 1.3：
Part 1: Overview / 1.3.1：
Part 2: Brokerage / 1.3.2：
Part 3: Planning / 1.3.3：
Part 4: Semantics / 1.3.4：
Part 5: Conclusion / 1.3.5：
Appendices / 1.3.6：
Model / 2：
The Grid / 2.1：
Characteristics / 2.1.1：
Layers / 2.1.2：
Architectures / 2.1.3：
Resources and Applications / 2.2：
Activities / 2.2.1：
Workflows / 2.2.2：
Grid Node / 2.2.3：
Grid Operating Environment / 2.3：
Open Grid Services Architecture / 2.3.1：
WS-Resource Framework / 2.3.2：
Globus Toolkit / 2.3.3：
Askalon: A Grid Runtime Environment / 2.4：
Workflow Composition / 2.4.1：
Resource Management / 2.4.2：
Workflow Scheduling / 2.4.3：
Workflow Enactment / 2.4.4：
Performance Prediction and Analysis / 2.4.5：
Semantic Grid / 2.5：
Ontology / 2.5.1：
Web Ontology Language / 2.5.2：
Ontology Query Language / 2.5.3：
Provisioning / 2.6：
Allocation Negotiation / 2.6.2：
Capacity Planning / 2.6.3：
Manageability Models / 2.6.4：
Summary / 2.7：
Brokerage / Part II：
Grid Resource Management and Brokerage System / 3：
Architectural Overview / 3.1：
Node Management / 3.2.1：
Activity Management / 3.2.3：
Allocation Management / 3.2.4：
System Model / 3.3：
Resource Discoverer / 3.3.1：
Candidate Set Generator / 3.3.2：
Resource Synthesizer / 3.3.3：
Resource Selector / 3.3.4：
A Steady System with Proportional Distribution / 3.3.5：
Implementation / 3.4：
Customization / 3.4.1：
Superpeer / 3.4.2：
Experiments and Evaluation / 3.4.3：
Related Work / 3.6：
Grid Activity Registration, Deployment and Provisioning Framework / 3.7：
On-Demand Provisioning Motivation / 4.1：
An Example Using Bare Grid / 4.2.1：
GLARE-Based Solution / 4.2.2：
Activity Manager / 4.3：
Deployment Manager / 4.3.2：
Activity Type Registry / 4.3.3：
Activity Deployment Registry / 4.3.4：
Automatic Deployment Using Expect / 4.4：
Static and Dynamic Registration / 4.4.2：
Self-Management and Fault Tolerance / 4.4.3：
Planning / 4.5：
Allocation Management with Advance Reservation and Service-Level Agreement / 5：
Agreement / 5.1：
Agreement Lifecycle / 5.2.2：
Negotiation / 5.3：
Attentive Allocation / 5.3.1：
Progressive Allocation / 5.3.2：
Share-Based Allocation / 5.3.3：
Allocator / 5.4：
Co-allocator / 5.4.2：
Agreement Enforcement / 5.4.3：
Priority Provision / 5.4.4：
Standards Adaptation / 5.4.5：
Optimizing Multi-Constrained Allocations with Capacity Planning / 5.5：
Allocation Problem / 6.1：
Multi-Constrained Optimization / 6.2.2：
Negotiation Protocol / 6.3：
Allocation Offer Generation / 6.3.1：
Co-allocation Offer Generation / 6.3.2：
Contention Elimination / 6.3.3：
Cost Model / 6.3.4：
Semantics / 6.4：
Semantics in the Grid: Towards Ontology-Based Resource Provisioning / 7：
Describing Resources with Semantics / 7.1：
Concept Description / 7.2.1：
Architectural Extension / 7.3：
Resource Ontologies / 7.4：
Physical Resource Ontology / 7.4.1：
Resource Ensembles / 7.4.2：
Logical Resource Ontology / 7.4.3：
Discovering Resources with Semantics / 7.5：
Subsumption-Based Resource Matching / 7.6：
Evaluation / 7.7：
Subsumption: An Example / 7.7.1：
Semantics-Based Activity Synthesis: Improving On-Demand Provisioning and Planning / 7.8：
Synthesis Model / 8.1：
Ontology Rules / 8.3.1：
Activity Synthesis Problem / 8.3.2：
Applying Patterns for Activity Synthesis / 8.4：
Sequential Flow Patterns / 8.4.1：
Parallel Flow Patterns / 8.4.2：
Built-Ins and Constraints / 8.5：
Assumptions and Effects / 8.5.2：
Improving Capacity Planning / 8.6：
Discussion and Experiments / 8.7：
Conclusion / 8.8：
Resource Management Model / 9：
Towards Automatic Resource Management / 9.2：
Negotiation for Service-Level Agreement (SLA) / 9.3：
Multi-Constrained Optimization and Capacity Planning / 9.5：
Future Research / 9.6：
A Notations
References
Index
Overview / Part I：
Introduction / 1：
Motivation / 1.1：
10.

電子ブック
ＥＢ
10. Grid Resource Management
Mumtaz Siddiqui, Thomas Fahringer, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Overview / Part I：
Introduction / 1：
Motivation / 1.1：
Collaboration Instead of Isolation / 1.1.1：
Discovery and Selection / 1.1.2：
Lifecycle Management / 1.1.3：
On-Demand Provisioning / 1.1.4：
Role of Planning / 1.1.5：
Service-Level Agreement / 1.1.6：
Optimized Resource Allocation / 1.1.7：
Synthesis and Aggregation / 1.1.8：
Grid Enablement / 1.1.9：
Portability / 1.1.10：
Semantics in the Grid / 1.1.11：
Research Goals / 1.2：
Automatic Resource Brokerage / 1.2.1：
Dynamic Registration and Automatic Deployment / 1.2.2：
Advance Reservation and Co-allocation / 1.2.3：
Capacity Management and Planning / 1.2.4：
Standard Adaptation / 1.2.5：
Organization / 1.3：
Part 1: Overview / 1.3.1：
Part 2: Brokerage / 1.3.2：
Part 3: Planning / 1.3.3：
Part 4: Semantics / 1.3.4：
Part 5: Conclusion / 1.3.5：
Appendices / 1.3.6：
Model / 2：
The Grid / 2.1：
Characteristics / 2.1.1：
Layers / 2.1.2：
Architectures / 2.1.3：
Resources and Applications / 2.2：
Activities / 2.2.1：
Workflows / 2.2.2：
Grid Node / 2.2.3：
Grid Operating Environment / 2.3：
Open Grid Services Architecture / 2.3.1：
WS-Resource Framework / 2.3.2：
Globus Toolkit / 2.3.3：
Askalon: A Grid Runtime Environment / 2.4：
Workflow Composition / 2.4.1：
Resource Management / 2.4.2：
Workflow Scheduling / 2.4.3：
Workflow Enactment / 2.4.4：
Performance Prediction and Analysis / 2.4.5：
Semantic Grid / 2.5：
Ontology / 2.5.1：
Web Ontology Language / 2.5.2：
Ontology Query Language / 2.5.3：
Provisioning / 2.6：
Allocation Negotiation / 2.6.2：
Capacity Planning / 2.6.3：
Manageability Models / 2.6.4：
Summary / 2.7：
Brokerage / Part II：
Grid Resource Management and Brokerage System / 3：
Architectural Overview / 3.1：
Node Management / 3.2.1：
Activity Management / 3.2.3：
Allocation Management / 3.2.4：
System Model / 3.3：
Resource Discoverer / 3.3.1：
Candidate Set Generator / 3.3.2：
Resource Synthesizer / 3.3.3：
Resource Selector / 3.3.4：
A Steady System with Proportional Distribution / 3.3.5：
Implementation / 3.4：
Customization / 3.4.1：
Superpeer / 3.4.2：
Experiments and Evaluation / 3.4.3：
Related Work / 3.6：
Grid Activity Registration, Deployment and Provisioning Framework / 3.7：
On-Demand Provisioning Motivation / 4.1：
An Example Using Bare Grid / 4.2.1：
GLARE-Based Solution / 4.2.2：
Activity Manager / 4.3：
Deployment Manager / 4.3.2：
Activity Type Registry / 4.3.3：
Activity Deployment Registry / 4.3.4：
Automatic Deployment Using Expect / 4.4：
Static and Dynamic Registration / 4.4.2：
Self-Management and Fault Tolerance / 4.4.3：
Planning / 4.5：
Allocation Management with Advance Reservation and Service-Level Agreement / 5：
Agreement / 5.1：
Agreement Lifecycle / 5.2.2：
Negotiation / 5.3：
Attentive Allocation / 5.3.1：
Progressive Allocation / 5.3.2：
Share-Based Allocation / 5.3.3：
Allocator / 5.4：
Co-allocator / 5.4.2：
Agreement Enforcement / 5.4.3：
Priority Provision / 5.4.4：
Standards Adaptation / 5.4.5：
Optimizing Multi-Constrained Allocations with Capacity Planning / 5.5：
Allocation Problem / 6.1：
Multi-Constrained Optimization / 6.2.2：
Negotiation Protocol / 6.3：
Allocation Offer Generation / 6.3.1：
Co-allocation Offer Generation / 6.3.2：
Contention Elimination / 6.3.3：
Cost Model / 6.3.4：
Semantics / 6.4：
Semantics in the Grid: Towards Ontology-Based Resource Provisioning / 7：
Describing Resources with Semantics / 7.1：
Concept Description / 7.2.1：
Architectural Extension / 7.3：
Resource Ontologies / 7.4：
Physical Resource Ontology / 7.4.1：
Resource Ensembles / 7.4.2：
Logical Resource Ontology / 7.4.3：
Discovering Resources with Semantics / 7.5：
Subsumption-Based Resource Matching / 7.6：
Evaluation / 7.7：
Subsumption: An Example / 7.7.1：
Semantics-Based Activity Synthesis: Improving On-Demand Provisioning and Planning / 7.8：
Synthesis Model / 8.1：
Ontology Rules / 8.3.1：
Activity Synthesis Problem / 8.3.2：
Applying Patterns for Activity Synthesis / 8.4：
Sequential Flow Patterns / 8.4.1：
Parallel Flow Patterns / 8.4.2：
Built-Ins and Constraints / 8.5：
Assumptions and Effects / 8.5.2：
Improving Capacity Planning / 8.6：
Discussion and Experiments / 8.7：
Conclusion / 8.8：
Resource Management Model / 9：
Towards Automatic Resource Management / 9.2：
Negotiation for Service-Level Agreement (SLA) / 9.3：
Multi-Constrained Optimization and Capacity Planning / 9.5：
Future Research / 9.6：
A Notations
References
Index
Overview / Part I：
Introduction / 1：
Motivation / 1.1：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼