close
1.

電子ブック
ＥＢ
1. 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：
2.

電子ブック
ＥＢ
2. 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：
3.

電子ブック
ＥＢ
3. Dependency Structures and Lexicalized Grammars
Marco Kuhlmann, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Motivation / 1.1：
Dependency Structures / 1.1.1：
Generative Capacity and Non-projectivity / 1.1.2：
Lexicalized Grammars Induce Dependency Trees / 1.2：
Overview of the Book / 1.3：
Dependency Languages / 1.3.1：
Contributions / 1.3.3：
Preliminaries / 2：
Projective Dependency Structures / 3：
Projectivity / 3.1：
Projectivity in the Sense of Harper and Hays / 3.1.1：
Projectivity in the Sense of Lecerf and Ihm / 3.1.2：
Projectivity in the Sense of Fitialov / 3.1.3：
Related Work / 3.1.4：
Algebraic Framework / 3.2：
Tree Traversal Strategies / 3.2.1：
Traversal of Treelet-Ordered Trees / 3.2.2：
Order Annotations / 3.2.3：
Dependency Algebras / 3.2.4：
Algorithmic Problems / 3.3：
Encoding and Decoding / 3.3.1：
Testing whether a Dependency Structure Is Projective / 3.3.2：
Empirical Evaluation / 3.3.3：
The Projectivity Hypothesis / 3.4.1：
Experimental Setup / 3.4.2：
Results and Discussion / 3.4.3：
Dependency Structures of Bounded Degree / 3.4.4：
The Block-Degree Measure / 4.1：
Blocks and Block-Degree / 4.1.1：
A Hierarchy of Non-projective Dependency Structures / 4.1.2：
Traversal of Block-Ordered Trees / 4.1.3：
Segmented Dependency Structures / 4.2.2：
Dependency Structure Algebras / 4.2.3：
Encoding / 4.3：
Computing the Block-Degree of a Dependency Structure / 4.3.2：
Dependency Structures without Crossings / 4.4：
Weakly Non-projective Dependency Structures / 5.1：
Definition of Weak Non-projectivity / 5.1.1：
Relation to the Block-Degree Measure / 5.1.2：
Algebraic Opaqueness / 5.1.3：
Well-Nested Dependency Structures / 5.1.4：
Definition of Well-Nestedness / 5.2.1：
Non-crossing Partitions / 5.2.2：
Algebraic Characterization / 5.2.3：
Testing whether a Dependency Structure Is Well-Nested / 5.2.4：
Structures and Grammars / 5.2.5：
Context-Free Grammars / 6.1：
Definition / 6.1.1：
String Semantics / 6.1.2：
Linearization Semantics / 6.1.3：
Dependency Semantics / 6.1.4：
Linear Context-Free Rewriting Systems / 6.2：
Non-essential Concatenation Functions / 6.2.1：
Coupled Context-Free Grammars / 6.2.4：
Tree Adjoining Grammar / 6.3.1：
Regular Dependency Languages / 6.4.1：
Regular Sets of Dependency Structures / 7.1：
Algebraic Recognizability / 7.1.1：
Elementary Properties / 7.1.2：
Regular Term Grammars / 7.1.3：
Regular Dependency Grammars / 7.1.4：
Dependency Languages and Lexicalized Grammars / 7.1.5：
Pumping Lemmata / 7.2：
The Pumping Lemma for Regular Term Languages / 7.2.1：
Ogden's Lemma for Regular Term Languages / 7.2.2：
Constant Growth / 7.3：
Constant Growth and Semilinearity / 7.3.1：
Regular Term Languages are Semilinear / 7.3.2：
Generative Capacity and Parsing Complexity / 7.3.3：
Projection of String Languages / 8.1：
Labelled Dependency Structures / 8.1.1：
String-Generating Regular Dependency Grammars / 8.1.2：
String-Generative Capacity / 8.1.3：
String Languages and Structural Properties / 8.2：
Masked Strings / 8.2.1：
Enforcing a Given Block-Degree / 8.2.2：
Enforcing Ill-Nestedness / 8.2.3：
Hierarchies of String Languages / 8.2.4：
Parsing Complexity / 8.2.5：
Membership Problems / 8.3.1：
The Standard Membership Problem / 8.3.2：
The Uniform Membership Problem / 8.3.3：
Recognition of Well-Nested Languages / 8.3.4：
Conclusion / 8.3.5：
Main Contributions / 9.1：
Future Directions / 9.2：
Development of the Formalism / 9.2.1：
Linguistic Relevance / 9.2.2：
Applications to Parsing / 9.2.3：
An Algebraic Perspective on Grammar Formalisms / 9.2.4：
References
Index
Introduction / 1：
Motivation / 1.1：
Dependency Structures / 1.1.1：
4.

電子ブック
ＥＢ
4. Semantic Techniques for the Web
François Bry, Takeo Kanade, Josef Kittler, Jan Maluszynski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1：
Introduction / 1.1：
Overview of Approaches / 1.2：
RDF and RDF Schema / 1.2.1：
The Web Ontology Language OWL / 1.2.2：
Rule Languages for Integration / 1.2.3：
Rule Interchange Format RIF / 1.2.4：
Approaches to Integration / 1.2.5：
Hybrid Rules and Ontologies in REWERSE / 1.3：
Extensions of Expressive Non-monotonic Logic Programs by DL-Programs and HEX-Programs / 1.3.1：
DL-Programs / 1.3.2：
HEX-Programs / 1.3.3：
Extensions of Well-Founded Semantics by Hybrid Well-Founded Semantics / 1.3.4：
Variants and Extensions of the Basic Formalisms / 1.4：
Probabilistic DL-Programs / 1.4.1：
Fuzzy DL-Programs / 1.4.2：
CQ-Programs / 1.4.3：
Conclusion / 1.5：
Four Lessons in Versatility or How Query Languages Adapt to the Web / François Bry ; Tim Furche ; Benedikt Linse ; Alexander Pohl ; Antonius Weinzierl ; Olga Yestekhina2：
Versatile Data / 2.1：
Extensible Markup Language (XML) / 2.2.1：
Resource Description Framework (RDF) / 2.2.2：
Versatile Queries / 2.3：
XML Queries-Examples and Patterns / 2.3.1：
RDF Queries-Examples and Patterns / 2.3.2：
Rules-Separation of Concern and Reasoning / 2.3.3：
State of the Art: The SPARQL Query Language and Its Extensions / 2.3.4：
Versatile Semantics / 2.4：
Simulation as Foundation for a Semantics of Versatile Queries / 2.4.1：
Rules with Negation and Versatile Queries: Local Stratification / 2.4.2：
Rules with Negation and Versatile Queries: Well-Founded Semantics / 2.4.3：
A Relational Semantics for Versatile Queries / 2.4.4：
Versatile Evaluation / 2.5：
Evaluating Queries: Structure Scaling with CIQCAG / 2.5.1：
Evaluating Rules: Subsumption under Rich Unification / 2.5.2：
Evolution and Reactivity in the Semantic Web / José Júlio Alferes ; Michael Eckert ; Wolfgang May2.6：
Starting Point and Related Work / 3.1：
Conceptualization of ECA Rules and Their Components: A General Framework for ECA Rules / 3.3：
The Rule Level / 3.3.1：
The Event Component / 3.3.2：
The Condition Component / 3.3.3：
The Action Component / 3.3.4：
Languages and Language Borders / 3.3.5：
Languages Types, Service Types, and Tasks / 3.3.6：
Architecture and Processing: Cooperation between Resources / 3.3.7：
The RDF Level: Language Elements and Their Instances as Resources / 3.3.8：
MARS Implementation / 3.3.9：
r3 Implementation / 3.3.10：
X Change-A Concrete Web-Based ECA Rule Language / 3.4：
Representing, Querying, and Constructing Web Data / 3.4.1：
Event-Condition-Action (ECA) Rules / 3.4.2：
Events / 3.4.3：
Conditions / 3.4.4：
Actions / 3.4.5：
Applications / 3.4.6：
Conclusions and Outlook / 3.5：
Rule-Based Policy Representations and Reasoning / Piero Andrea Bonatti ; Juri Luca De Coi ; Daniel Olmedilla ; Luigi Sauro4：
A Review of the State-of-the-Art in Policy Languages / 4.1：
Related Work / 4.2.1：
Background / 4.2.2：
Presentation of the Considered Policy Languages / 4.2.3：
Presentation of the Considered Criteria / 4.2.4：
Comparison / 4.2.5：
Discussion / 4.2.6：
A Framework for Semantic Web Policies / 4.3：
Policies as Semantic Markup in Protune / 4.3.1：
Negotiations / 4.3.2：
Protune's Policy Language and Framework / 4.3.3：
Explanations: Protune-X / 4.3.4：
The Engine / 4.3.5：
Demo: Policy-Driven Protection and Personalization of Web Content / 4.3.6：
Experimental Evaluation / 4.3.7：
Discussion and Conclusions / 4.3.8：
Component Models for Semantic Web Languages / Jakob Henriksson ; Uwe Aßmann5：
Composition Systems and Component Models / 5.1：
Web Query Language Xcerpt / 5.2.2：
Description Logics and OWL / 5.2.3：
State of the Art: Semantic Web Components and Invasive Software Component Models / 5.3：
Query Modularization / 5.3.1：
Ontology Modularization / 5.3.2：
Invasive Component Models in Software Engineering / 5.3.3：
Use-Cases: Components on the Web / 5.4：
Modular Xcerpt / 5.4.1：
Role Models as Ontology Components / 5.4.2：
Universal Component Models / 5.5：
Universal Grammar-Based Modularization (U-GBM) / 5.5.1：
Universal Invasive Software Composition (U-ISC) / 5.5.2：
Universal Syntactic Abstractions with Embedded ISC / 5.5.3：
Example Application: Modular Xcerpt / 5.6：
Conclusions / 5.7：
Controlled English for Reasoning on the Semantic Web / Norbert E. Fucks ; Kaarel Kaljurand ; Tobias Kuhn6：
Why Use Controlled Natural Languages for the Semantic Web? / 6.1：
Controlled Natural Languages: State of the Art / 6.2：
Attempto Controlled English (ACE) / 6.3：
Overview of Attempto Controlled English / 6.3.1：
From Attempto Controlled English to First-Order Logic / 6.3.2：
Attempto Parsing Engine (APE) / 6.3.3：
Fitting ACE into the Semantic Web / 6.4：
OWL and SWRL / 6.4.1：
AceRules: Rules in ACE / 6.4.2：
The Protune Policy Language / 6.4.3：
Other Web Languages / 6.4.4：
ACE Tools for the Semantic Web / 6.5：
Attempto Reasoner RACE / 6.5.1：
ACE View Ontology and Rule Editor / 6.5.2：
AceWiki: ACE in a Semantic Wiki / 6.5.3：
Protune / 6.5.4：
Semantic Search with GoPubMed / Andreas Doms ; Michael Schroeder6.6：
Biomedical Literature Search / 7.1：
Limits of Classical Search / 7.1.1：
Biomedical Search Engines / 7.1.2：
The Ontology-Based Search Paradigm / 7.1.3：
Answering Biomedical Questions / 7.2：
Characterization of Question Types / 7.2.1：
Using Background Knowledge to Answer Questions / 7.2.2：
Revealing Trends in the Literature / 7.3：
Important Topic: Apotosis / 7.3.1：
Important Topic: Endosome / 7.3.2：
Important Place: Dresden / 7.3.3：
Important Journal: Which Are the 10 Most Frequently Used GO Terms in Nature, Cell and Science? / 7.3.4：
20 Journals for the Molecular Biologist / 7.3.5：
Information Integration in Bioinformatics with Ontologies and Standards / Patrick Lambrix ; Lena Strömbäck ; He Tan7.4：
Resources / 8.1：
Data Sources / 8.2.1：
Ontologies / 8.2.2：
Standards / 8.2.3：
Integrating the Resources / 8.3：
Integration Model / 8.3.1：
Integration of Data Sources / 8.3.2：
Data Sources and Ontologies / 8.3.3：
Ontology Alignment / 8.3.4：
Integrating Standards / 8.3.5：
Connection between Standards and Other Resources / 8.3.6：
Author Index / 8.4：
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1：
Introduction / 1.1：
Overview of Approaches / 1.2：
5.

電子ブック
ＥＢ
5. Modular Algorithms in Symbolic Summation and Symbolic Integration
Jürgen Gerhard, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Overview / 2：
Outline / 2.1：
Statement of Main Results / 2.2：
References and Related Works / 2.3：
Open Problems / 2.4：
Technical Prerequisites / 3：
Subresultants and the Euclidean Algorithm / 3.1：
The Cost of Arithmetic / 3.2：
Change of Basis / 4：
Computing Taylor Shifts / 4.1：
Conversion to Falling Factorials / 4.2：
Fast Multiplication in the Falling Factorial Basis / 4.3：
Modular Squarefree and Greatest Factorial Factorization / 5：
Squarefree Factorization / 5.1：
Greatest Factorial Factorization / 5.2：
Modular Hermite Integration / 6：
Small Primes Modular Algorithm / 6.1：
Prime Power Modular Algorithm / 6.2：
Implementation / 6.3：
Computing All Integral Roots of the Resultant / 7：
Application to Hypergeometric Summation / 7.1：
Computing All Integral Roots Via Factoring / 7.2：
Application to Hyperexponential Integration / 7.3：
Modular LRT Algorithm / 7.4：
Modular Algorithms for the Gosper-PetkovÜek Form / 8：
Modular GP′-Form Computation / 8.1：
Polynomial Solutions of Linear First Order Equations / 9：
The Method of Undetermined Coefficients / 9.1：
Brent and Kung's Algorithm for Linear Differential Equations / 9.2：
Rothstein's SPDE Algorithm / 9.3：
The ABP Algorithm / 9.4：
A Divide-and-Conquer Algorithm: Generic Case / 9.5：
A Divide-and-Conquer Algorithm: General Case / 9.6：
Barkatou's Algorithm for Linear Difference Equations / 9.7：
Modular Algorithms / 9.8：
Modular Gosper and Almkvist & Zeilberger Algorithms / 10：
High Degree Examples / 10.1：
References
Index
Introduction / 1：
Overview / 2：
Outline / 2.1：
6.

電子ブック
ＥＢ
6. Variations on Constants
Markus Müller-Olm, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
Flow Graphs / 2.1.1：
May- and Must-Constants / 2.1.2：
Weakened Constant Detection Problems / 2.1.3：
Classes of Integer Constants / 2.1.4：
Known Results / 2.2：
New Undecidability Results / 2.3：
New Intractability Results / 2.4：
Summary / 2.5：
Deciding Constants by Effective Weakest Preconditions / 3：
Presburger and Polynomial Constants / 3.1：
Presburger-Constant Detection at a Glance / 3.2：
A Generic Algorithm / 3.3：
Detection of Presburger Constants / 3.4：
A Primer on Computable Ideal Theory / 3.5：
Zeros / 3.6：
Substitution / 3.6.3：
Projection / 3.6.4：
Detection of Polynomial Constants / 3.7：
Conclusion / 3.8：
Limits of Parallel Flow Analysis / 4：
A Motivating Example / 4.1：
Parallel Programs / 4.2：
Interprocedural Copy-Constant Detection / 4.3：
Two-Counter Machines / 4.3.1：
Constructing a Program / 4.3.2：
Correctness of the Reduction / 4.3.3：
Intraprocedural Copy-Constant Detection / 4.4：
Copy-Constant Detection in Loop-Free Programs / 4.5：
Beyond Fork/Join Parallelism / 4.6：
Owicki/Gries-Style Program Proofs / 4.7：
Correctness of the Reduction in Section 4.3 / 4.8：
Enriching the Program / 4.8.1：
The Proof Outlines / 4.8.2：
Interference Freedom / 4.8.3：
Correctness of the Reduction in Section 4.4 / 4.9：
An Auxiliary Predicate / 4.9.1：
Proof Outline for Main / 4.9.3：
Parallel Flow Graphs / 4.9.6：
Operational Semantics / 5.1：
Atomic Runs / 5.3：
The Run Sets of Ultimate Interest / 5.4：
The Constraint Systems / 5.5：
Same-Level Runs / 5.5.1：
Inverse Same-Level Runs / 5.5.2：
Two Assumptions and a Simple Analysis / 5.5.3：
Reaching Runs / 5.5.4：
Terminating Runs / 5.5.5：
Bridging Runs / 5.5.6：
The General Case / 5.5.7：
Discussion / 5.6：
Non-atomic Execution / 6：
Modeling Non-atomic Execution by Virtual Variables / 6.1：
The Domain of Non-atomic Run Sets / 6.2：
Base Statements / 6.3.1：
Sequential Composition / 6.3.2：
Interleaving Operator / 6.3.3：
Pre-operator / 6.3.4：
Post-operator / 6.3.5：
Dependence Traces / 6.4：
Transparency and Dependences / 7.1：
Implication Order / 7.2：
Subsumption Order / 7.4：
A Lattice of Antichains / 7.5：
Short Dependence Traces / 7.6：
The Abstract Domain / 7.7：
Interleaving / 7.8：
Complementary Dependence Traces / 7.11.1：
Soundness Lemmas / 7.11.2：
Completeness Lemmas / 7.11.4：
Proof of Theorem 7.11.1 / 7.11.5：
Base Edges / 7.12：
Running Time / 7.13：
Detecting Copy Constants and Eliminating Faint Code / 7.14：
Copy-Constant Detection / 8.1：
Faint-Code Elimination / 8.2：
Complexity in the Non-atomic Scenario / 8.3：
The SAT-reduction / 9.1：
Towards Stronger Lower Bounds / 9.2：
Assignment Statements That Propagate Twice / 9.2.1：
Propagating Runs of Exponential Length / 9.2.2：
Future Research / 9.3：
A Primer on Constraint-Based Program Analysis / A：
References
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
7.

電子ブック
ＥＢ
7. OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Setting the Stage for Open Mathematical Documents / Part I：
Document Markup for the Web / 1：
Structure vest. Appearance in Markup / 1.1：
Markup for the World Wide Web / 1.2：
XML, the eXtensible Markup Language / 1.3：
Markup for Mathematical Knowledge / 2：
Mathematical Objects and Formulae / 2.1：
Mathematical Texts and Statements / 2.2：
Large-Scale Structure and Context in Mathematics / 2.3：
Open Mathematical Documents / 3：
A Brief History of the OMDoc Format / 3.1：
Three Levels of Markup / 3.2：
Situating the OMDoc Format / 3.3：
The Future: An Active Web of (Mathematical) Knowledge / 3.4：
An OMDoc Primer / Part II：
Textbooks and Articles / 4：
Minimal OMDoc Markup / 4.1：
Structure and Statements / 4.2：
Marking up the Formulae / 4.3：
Full Formalization / 4.4：
OpenMath Content Dictionaries / 5：
Structured and Parametrized Theories / 6：
A Development Graph for Elementary Algebra / 7：
Courseware and the Narrative/Content Distinction / 8：
A Knowledge-Centered View / 8.1：
A Narrative-Structured View / 8.2：
Choreographing Narrative and Content OMDoc / 8.3：
Summary / 8.4：
Communication Between Systems / 9：
The OMDoc Document Format / Part III：
OMDoc as a Modular Format / 10：
The OMDoc Namespaces / 10.1：
Common Attributes in OMDoc / 10.2：
Document Infrastructure / 11：
The Document Root / 11.1：
Metadata / 11.2：
Document Comments / 11.3：
Document Structure / 11.4：
Sharing Document Parts / 11.5：
The Dublin Core Elements (Module DC) / 12：
Roles in Dublin Core Elements / 12.2：
Managing Rights / 12.3：
Inheritance of Metadata / 12.4：
Mathematical Objects / 13：
OpenMath / 13.1：
Content MathML / 13.2：
Representing Types in Content-MathML and OpenMath / 13.3：
Semantics of Variables / 13.4：
Legacy Representation for Migration / 13.5：
Mathematical Text / 14：
Multilingual Mathematical Vernacular / 14.1：
Formal Mathematical Properties / 14.2：
Text Fragments and Their Rhetoric/Mathematical Roles / 14.3：
Phrase-Level Markup of Mathematical Vernacular / 14.4：
Technical Terms / 14.5：
Rich Text Structure / 14.6：
Mathematical Statements / 15：
Types of Statements in Mathematics / 15.1：
Theory-Constitutive Statements in OMDoc / 15.2：
The Unassuming Rest / 15.3：
Mathematical Examples in OMDoc / 15.4：
Inline Statements / 15.5：
Theories as Structured Contexts / 15.6：
Abstract Data Types / 16：
Representing Proofs / 17：
Proof Structure / 17.1：
Proof Step Justifications / 17.2：
Scoping and Context in a Proof / 17.3：
Formal Proofs as Mathematical Objects / 17.4：
Complex Theories / 18：
Inheritance via Translations / 18.1：
Postulated Theory Inclusions / 18.2：
Local/Required Theory Inclusions / 18.3：
Induced Assertions / 18.4：
Development Graphs / 18.5：
Notation and Presentation / 19：
Styling OMDoc Elements / 19.1：
A Restricted Style Language / 19.2：
Notation of Symbols / 19.3：
Presenting Bound Variables / 19.4：
Auxiliary Elements / 20：
Non-XML Data and Program Code in OMDoc / 20.1：
Applets and External Objects in OMDoc / 20.2：
Exercises / 21：
Document Models for OMDoc / 22：
XML Document Models / 22.1：
The OMDoc Document Model / 22.2：
OMDoc Sub-Languages / 22.3：
OMDoc Applications, Tools, and Projects / Part IV：
OMDoc Resources / 23：
The OMDoc Web Site, Wiki, and Mailing List / 23.1：
The OMDoc Distribution / 23.2：
The OMDoc Bug Tracker / 23.3：
An XML Catalog for OMDoc / 23.4：
External Resources / 23.5：
Validating OMDoc Documents / 24：
Validation with Document Type Definitions / 24.1：
Validation with RelaxNG Schemata / 24.2：
Validation with XML Schema / 24.3：
Transforming OMDoc / 25：
Extracting and Linking XSLT Templates / 25.1：
Interfaces for Systems / 25.2：
Presenting OMDoc to Humans / 25.3：
Applications and Projects / 26：
Introduction / 26.1：
QMath Parser / 26.2：
Sentido Integrated Environment / 26.3：
MBase / 26.4：
A Search Engine for Mathematical Formulae / 26.5：
Semantic Interrelation and Change Management / 26.6：
MathDox / 26.7：
ActiveMath / 26.8：
Authoring Tools for ActiveMath / 26.9：
SWiM - An OMDoc-Based Semantic Wiki / 26.10：
Induction Challenge Problems / 26.11：
Maya / 26.12：
Hets / 26.13：
CPoint / 26.14：
Stex: A Latex-Based Workflow for OMDoc / 26.15：
An Emacs Mode for Editing OMDoc Documents / 26.16：
Converting Mathematica Notebooks to OMDoc / 26.17：
Standardizing Context in System Interoperability / 26.18：
Proof Assistants in Scientific Editors / 26.19：
VeriFun / 26.20：
Appendix / Part V：
Changes to the Specification / A：
Changes from 1.1 to 1.2 / A.1：
Changes from 1.0 to 1.1 / A.2：
Quick-Reference / B：
Table of Attributes / C：
The RelaxNG Schema for OMDoc / D：
The Sub-language Drivers / D.1：
Common Attributes / D.2：
Module MOBJ: Mathematical Objects and Text / D.3：
Module MTXT: Mathematical Text / D.4：
Module DOC: Document Infrastructure / D.5：
Module DC: Dublin Core Metadata / D.6：
Module ST: Mathematical Statements / D.7：
Module ADT: Abstract Data Types / D.8：
Module PF: Proofs and Proof objects / D.9：
Module CTH: Complex Theories / D.10：
Module RT: Rich Text Structure / D.11：
Module EXT: Applets and Non-XML Data / D.12：
Module PRES: Adding Presentation Information / D.13：
Module QUIZ: Infrastructure for Assessments / D.14：
The RelaxNG Schemata for Mathematical Objects / E：
The RelaxNG Schema for OpenMath / E.1：
The RelaxNG Schema for MathML / E.2：
Bibliography
Index
Setting the Stage for Open Mathematical Documents / Part I：
Document Markup for the Web / 1：
Structure vest. Appearance in Markup / 1.1：
8.

電子ブック
ＥＢ
8. Web and Wireless Geographical Information Systems
W2GIS 2005, Takeo Kanade, Ki-Joune Li, Christelle Vangenot, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Algorithms for Sensor and Ad Hoc Networks
Dorothea Wagner, Takeo Kanade, Roger Wattenhofer, Roger Peter Wattenhofer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Applications of Sensor Networks / H.-J. Hof1：
Introduction / 1.1：
Current Hardware Platforms / 1.2：
Upcoming Applications / 1.4：
Chapter Notes / 1.5：
Modeling Sensor and Ad Hoc Networks / F. Schuh2：
Distributed Algorithms / 2.1：
Communication / 2.3：
Energy / 2.4：
Mobility / 2.5：
Clustering / T. Moscibroda2.6：
Models / 3.1：
Clustering Algorithms for Unit Disk Graphs / 3.3：
Clustering Algorithms for General Graphs / 3.4：
Conclusionsand Open Problems / 3.5：
MAC Layer and Coloring / S. Mecke3.6：
Algorithms for Vertex Coloring / 4.1：
Conclusion / 4.3：
Topology Control / K. Buchin ; M. Buchin4.4：
Quality Criteria / 5.1：
Locally Defined Geometric Graphs and Further Proximity Graphs / 5.3：
Localized Algorithms / 5.4：
Interference and Signal-to-Noise-Ratio / A. Kröller5.5：
Interference Models / 6.1：
Low-Interference Topologies / 6.3：
Topology Scheduling / 6.4：
Flow and Path Scheduling / 6.5：
Lower Bounds / Z. Benenson6.6：
A Lower Boundon3-Coloringa Ring / 7.1：
Locally Checkable Labelings / 7.3：
Minimum-Weight Spanning Trees / 7.4：
Facility Location / C. Frank7.5：
Problem Definition / 8.1：
Centralized Approximations / 8.3：
Simple Distributed Approximation / 8.4：
Fast Distributed Approximation / 8.5：
Discussionand Outlook / 8.6：
Geographic Routing / A. Zollinger8.7：
Related Work / 9.1：
Models and Preliminaries / 9.3：
Greedy Routing / 9.4：
Routing with Faces / 9.5：
A Lower Bound / 9.6：
Combining Greedy and Face Routing / 9.7：
Compact Routing / M. Dom9.8：
Definitions / 10.1：
Overview / 10.3：
Algorithms / 10.4：
Pseudo Geometric Routing for Sensor Networks / O. Landsiedel10.5：
Routing Algorithmsfor Sensor Networks / 11.1：
Virtual Coordinate Based Routing / 11.3：
Beacon Vector Routing / 11.4：
Algorithmic View / 11.5：
Minimal Range Assignments for Broadcasts / C. Gunia11.6：
The Algorithm RAPMST and Its Analysis / 12.1：
Distributed Computation of an MST / 12.3：
Further Advances / 12.4：
Conclusion and Open Questions / 12.5：
Data Gathering in Sensor Networks / L. Scharf12.6：
Network Model / 13.1：
Minimum Energy Data Gathering / 13.3：
Maximum Lifetime Data Gathering / 13.4：
Location Services / B. Fabian ; M. Fischmann ; S.F. Gürses13.5：
Grid Location Service (GLS) / 14.1：
Locality-Aware Location Service (LLS) / 14.3：
Mobility-Aware Location Service (MLS) / 14.4：
Outlook / 14.5：
Positioning / D. Fleischer ; C. Pich14.6：
Hardness Results / 15.1：
Security / E.-O. Blaß15.3：
Symmetric Key Distribution / 16.1：
Public-Key Distribution / 16.3：
Open Questions / 16.4：
Trust Mechanisms and Reputation Systems / E. Buchmann16.5：
General Trust Models / 17.1：
Reputation-Based Trust Protocols in Ad Hoc Networks / 17.3：
Open Problems / 17.4：
Selfish Agents and Economic Aspects / 17.5：
Mechanism Design / 18.1：
Unicast in Selfish Networks / 18.3：
Multicast in Selfish Networks / 18.5：
Time Synchronization / M. Busse ; T. Streichert18.6：
Time Synchronization Approaches / 19.1：
Synchronizing Clocks in the Presence of Faults / 19.3：
Theoretical Bounds for Clock Synchronization and Ordering ofEvents / 19.4：
Gradient Clock Synchronization / 19.5：
Bibliography / 19.6：
Author Index
Subject Index
Preface
Applications of Sensor Networks / H.-J. Hof1：
Introduction / 1.1：
10.

電子ブック
ＥＢ
10. Data Management in Grids
Jean-Marc Pierson, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Secure Data Management
SDM 2005, Willem Jonker, Takeo Kanade, Milan Petkovic, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Software Architecture
EWSA 2005, Takeo Kanade, Ronald Morrison, Flavio Oquendo, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. String Processing and Information Retrieval
SPIRE 2005, Mario Consens, Takeo Kanade, Juan A. Navarro González, Gonzalo Navarro, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Programming Languages and Systems
APLAS 2005, Takeo Kanade, Kwangkeun Yi, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Information Security and Cryptology – ICISC 2004
ICISC 2004, Seongtaek Chee, Takeo Kanade, Choonsik Park, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Logic Programming
International Conference on Logic Programming, Maurizio Gabbrielli, Gopal Gupta, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Multiple Classifier Systems
Gerhard Goos, Juris Hartmanis, Josef Kittler, Fabio Roli
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Research in Cryptology
David Hutchison, Takeo Kanade, Josef Kittler, Stefan Lucks
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
Breaking DVB-CSA / Erik Tews ; Julian Wälde ; Michael Weiner
On the Role of Expander Graphs in Key Predistribution Schemes for Wireless Sensor Networks / Michelle Kendall ; Keith M. Martin
Γ-MAC[H, P] - A New Universal MAC Scheme / Ewan Fleischmann ; Christian Forler ; Stefan Lucks
New Universal Hash Functions / Aysajan Abidin ; Jan-Åke Larsson
Cryptanalysis of TWIS Block Cipher / Onur Koçak ; Nese Öztop
RSA Vulnerabilities with Small Prime Difference / Marián Kühnel
Combining Multiplication Methods with Optimized Processing Sequence for Polynomial Multiplier in GF(2k) / Zoya Dyka ; Peter Langendoerfer ; Frank Vater
Author Index
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
19.

電子ブック
ＥＢ
19. Mechanisms for Autonomous Management of Networks and Services
Burkhard Stiller, Takeo Kanade, Filip Turck, Filip De Turck, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
Modeling User Behavior in P2P Live Video Streaming Systems through a Bayesian Network / Ihsan Ullah ; Grégory Bonnet ; Guillaume Doyen ; Dominique Gaïti
OMAN - A Management Architecture for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
Towards a P2P-Based Deployment of Network Management information / Rafik Makhloufi
Autonomous Management
On the Combined Behavior of Autonomous Resource Management Agents / Siri Fagernes ; Alva L. Couch
Autonomous Resource-Aware Scheduling of Large-Scale Media Workflows / Stein Desmet ; Bruno Volckaert ; Filip De Turck
An Autonomic Testing Framework for IPv6 Configuration Protocols / Sheila Becker ; Humberto Abdelnur ; Radu State ; Thomas Engel
PhD Workshop: Overlays and Non-conventional Network Infrastructures
Researching Multipath TCP Adoption / Henna Warma ; Heikki Hämmäinen
Report- and Reciprocity-Based Incentive Mechanisms for Live and On-Demand P2P Video Streaming / Fabio Victora Hecht ; Burkhard Stiller
Model-Driven Service Level Management / Anacleto Correia ; Fernando Brito e Abreu
Managing Risks at Runtime in VoIP Networks and Services / Oussema Dabbebi ; Remi Badonnel ; Olivier Festor
Towards Dynamic and Adaptive Resource Management for Emerging Networks / Daphné Tuncer ; Marinos Charalambides ; George Pavlou
tAdaptive Underwater Acoustic Communications / Anuj Sehgal ; Jürgen Schönwälder
Short Papers
Probabilistic Fault Diagnosis in the MAGNETO Autonomic Control Loop / Pablo Arozarena ; Raquel Toribio ; Jesse Kielthy ; Kevin Quinn ; Martin Zach
Modelling Cloud Computing Infrastructure / Marianne Hickey ; Maher Rahmouni
Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks / Jingxian Lu ; Christophe Dousson ; Benoit Radier ; Francine Krief
LearnIT: Enhanced Search and Visualization of IT Projects / Claudio Bartolini
Strategies for Network Resilience: Capitalising on Policies / Paul Smith ; Alberto Schaeffer-Filho ; Azman Ali ; Marcus Schöller ; Nizar Kheir ; Andreas Mauthe ; David Hutchison
Management Mechanisms
Automatic Link Numbering and Source Routed Multicast / Visa Holopainen ; Raimo Kantola ; Taneli Taira ; Olli-Pekka Lamminen
Mining NetFlow Records for Critical Network Activities / Shaonan Wang ; Mohamed Ourdane
Implementation of a Stream Based IP Flow Record Query Language / Kaloyan Kanev ; Nikolay Melnikov
PhD Workshop: Security, Network Monitoring, and Analysis
Towards Flexible and Secure Distributed Aggregation / Kristján Valur Jónsson ; Mads F. Dam
Intrusion Detection in SCADA Networks / Rafael Ramos Regis Barbosa ; Aiko Pras
Cybermetrics: User Identification through Network Flow Analysis
Distributed Architecture for Real-time Traffic Analysis / Cristian Morariu
Scalable Service Performance Monitoring / Idilio Drago
Author Index
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
20.

電子ブック
ＥＢ
20. Transactions on Computational Science I
Marina L. Gavrilova, Takeo Kanade, C. J. Kenneth Tan, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Information Systems Design / Part 1：
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis / Phan Cong Vinh ; Jonathan P. Bowen
Partners Selection in Multi-Agent Systems by Using Linear and Non-linear Approaches / Fenghui Ren ; Minjie Zhang
Topology Representing Network Map - A New Tool for Visualization of High-Dimensional Data / Agnes Vathy-Fogarassy ; Attila Kiss ; Janos Abonyi
Curve Fitting by Fractal Interpolation / Polychronis Manousopoulos ; Vassileios Drakopoulos ; Theoharis Theoharis
Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox / Juan R. Castro ; Oscar Castillo ; Patricia Melin ; Antonio Rodriguez-Diaz
Data Processing and Industrial Applications / Part 2：
Comparative Analysis of Electrocardiogram Data by Means of Temporal Locality Approach with Additional Normalization / Victor F. Dailyudenko
Missing Value Imputation Based on Data Clustering / Shichao Zhang ; Jilian Zhang ; Xiaofeng Zhu ; Yongsong Qin ; Chengqi Zhang
Laminar Forced Convection in Circular Duct for Power-Law Fluid / Tudor Boaca ; Ioana Boaca
The Homotopy Wiener-Hermite Expansion and Perturbation Technique (WHEP) / Magdy A. El-Tawil
Author Index
Information Systems Design / Part 1：
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis / Phan Cong Vinh ; Jonathan P. Bowen
Partners Selection in Multi-Agent Systems by Using Linear and Non-linear Approaches / Fenghui Ren ; Minjie Zhang
21.

電子ブック
ＥＢ
21. New Stream Cipher Designs
Matthew Robshaw, Olivier Billet, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
The eSTREAM Project / Matthew Robshaw
CryptMT3 Stream Cipher / Makoto Matsumoto ; Mutsuo Saito ; Takuji Nishimura ; Mariko Hagita
The Dragon Stream Cipher: Design, Analysis and Implementation Issues / Ed Dawson ; Matt Henricksen ; Leonie Simpson
The Stream Cipher HC-128 / Hongjun Wu
Design of a New Stream Cipher-LEX / Alex Biryukov
Specification for NLSv2 / Philip Hawkes ; Cameron McDonald ; Michael Paddon ; Gregory G. Rose ; Miriam Wiggers de Vries
The Rabbit Stream Cipher / Martin Boesgaard ; Mette Vesterager ; Erik Zenner
The Salsa20 Family of Stream Ciphers / Daniel J. Bernstein
Sosemanuk, a Fast Software-Oriented Stream Cipher / Come Berbain ; Olivier Billet ; Anne Canteaut ; Nicolas Courtois ; Henri Gilbert ; Louis Goubin ; Aline Gouget ; Louis Granboulan ; Cedric Lauradoux ; Marine Minier ; Thomas Pornin ; Herve Sibert
eSTREAM Software Performance / Christophe De Canniere
Decim[superscript v2] / Blandine Debraize
The Stream Cipher Edon80 / Danilo Gligoroski ; Smile Markovski ; Svein Johan Knapskog
F-FCSR Stream Ciphers / Francois Arnault ; Thierry Berger
The Grain Family of Stream Ciphers / Martin Hell ; Thomas Johansson ; Alexander Maximov ; Willi Meier
The MICKEY Stream Ciphers / Steve Babbage ; Matthew Dodd
The Self-synchronizing Stream Cipher Moustique / Joan Daemen ; Paris Kitsos
Cascade Jump Controlled Sequence Generator and Pomaranch Stream Cipher / Cees J.A. Jansen ; Tor Helleseth ; Alexander Kholosha
Trivium / Bart Preneel
ASIC Hardware Performance / Tim Good ; Mohammed Benaissa
Author Index
The eSTREAM Project / Matthew Robshaw
CryptMT3 Stream Cipher / Makoto Matsumoto ; Mutsuo Saito ; Takuji Nishimura ; Mariko Hagita
The Dragon Stream Cipher: Design, Analysis and Implementation Issues / Ed Dawson ; Matt Henricksen ; Leonie Simpson
22.

電子ブック
ＥＢ
22. Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE 2005, Takeo Kanade, Farn Wang, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Algorithmic Aspects in Information and Management
Bo Chen, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Álvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
The (K, k)-Capacitated Spanning Tree Problem / Esther M. Arkin ; Nili Guttmann-Beck ; Refael Hassin
Optimal Algorithms for the Economic Lot-Sizing Problem with Multi-supplier / Qing-Guo Bai ; Jian-Teng Xu
Synthetic Road Networks / Reinhard Bauer ; Marcus Krug ; Sascha Meinert ; Dorothea Wagner
Computing Exact and Approximate Nash Equilibria in 2-Player Games / Vittorio Bitò ; Angela Fanelli
Where Would Refinancing Preferences Go? / Yajun Chai ; Bo Liu
Approximating Maximum Edge 2-Coloring in Simple Graphs / Zhi-Zhong Chen ; Sayuri Konno ; Yuki Matsushita
A Linear Kernel for Co-Path/Cycle Packing / Michael Fellows ; Bin Fu ; Haitao Jiang ; Yang Liu ; Lusheng Wang ; Binhai Zhu
A VaR Algorithm for Warrants Portfolio / Jun Dai ; Liyun Ni ; Xiangrong Wang ; Weizhong Chen
Some Results on Incremental Vertex Cover Problem / Wenqiang Dai
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction / Christian Ernst ; Changxing Dong ; Gerold Jäger ; Dirk Richter ; Paul Molitor
Point Location in the Continuous-Time Moving Network / Chenglin Fan ; Jun Luo
Coordinated Scheduling of Production and Delivery with Production Window and Delivery Capacity Constraints / Yumei Huo ; Hairong Zhao
On the Approximability of the Vertex Cover and Related Problems / Xiucui Guan ; Binwu Zhang ; Qiaoming Han ; Abraham P. Punnen
Feasibility Testing for Dial-a-Ride Problems / Dag Haugland ; Sin C. Ho
Indexing Similar DNA Sequences / Songbo Huang ; T. W. Lam ; W. K. Sung ; S.L. Tom ; S.M. Yiu
Online Scheduling on Two Uniform Machines to Minimize the Makespan with a Periodic Availability Constraint / Ming Liu ; Chengbin Chu ; Yinfeng Xu ; Lu Wang
A New Smoothing Newton Method for Symmetric Cone Complementarity Problems / Lixia Liu ; Sanyang Liu
Approximation Algorithms for Scheduling with a Variable Machine Maintenance / Wenchang Luo ; Lin Chen ; Guochuan Zhang
Bounded Parallel-Batch Scheduling on Unrelated Parallel Machines / Cuixia Miao ; Yuzhong Zhang ; Chengfei Wang
Exact Algorithms for Coloring Graphs While Avoiding Monochromatic Cycles / Fabrice Talla Nobibon ; Cor Hurkens ; Roel Leus ; Frits C.R. Spieksma
Randomized Approaches for Nearest Neighbor Search in Metric Space When Computing the Pairwise Distance Is Extremely Expensive / Yong Yang ; Guohui Lin
A Primal-Dual Approximation Algorithm for the k-Level Stochastic Facility Location Problem / Zhen Wang ; Donglei Du ; Dachuan Xu
Optimal Semi-online Scheduling Algorithms on Two Parallel Identical Machines under a Grade of Service Provision / Yong Wu ; Qifan Yang
Varieties of Regularities in Weighted Sequences / Hui Zhang ; Qing Guo ; Cosias S. Iliopoulos
Online Uniformly Inserting Points on Grid / Yong Zhang ; Zhuo Chang ; Francis Y.L. Chin ; Hing-Fung Ting ; Yung H. Tsin
Kernelization for Cycle Transversal Problems / Ge Xia
Online Splitting Interval Scheduling on m Identical Machines / Feifeng Zheng ; E. Zhang
Extended Tabu Search on Fuzzy Traveling Salesman Problem in Multi-criteria Analysis / Yujun Zheng
Efficient Exact and Approximate Algorithms for the Complement of Maximal Strip Recovery
Author Index
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Álvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
24.

電子ブック
ＥＢ
24. Testing of Communicating Systems
IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Rachida Dssouli, Takeo Kanade, Ferhat Khendek, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Theory and Applications of Satisfiability Testing - SAT 2006
Armin Biere, Carla P. Gomes, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
From Propositional Satisfiability to Satisfiability Modulo Theories / Hossein M. Sheini ; Karem A. Sakallah
CSPs: Adding Structure to SAT / Fahiem Bacchus
Proofs and Cores / Session 1：
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity / Arist Kojevnikov ; Alexander S. Kulikov
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel / Oliver Kullmann ; Ines Lynce ; Joao Marques-Silva
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction / Nachum Dershowitz ; Ziyad Hanna ; Alexander Nadel
Minimum Witnesses for Unsatisfiable 2CNFs / Joshua Buresh-Oppenheim ; David Mitchell
Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs / Allen Van Gelder
Extended Resolution Proofs for Symbolic SAT Solving with Quantification / Toni Jussila ; Carsten Sinz ; Armin Biere
Heuristics and Algorithms / Session 2：
Encoding CNFs to Empower Component Analysis / Mark Chavira ; Adnan Darwiche
Satisfiability Checking of Non-clausal Formulas Using General Matings / Himanshu Jain ; Constantinos Bartzis ; Edmund Clarke
Determinization of Resolution by an Algorithm Operating on Complete Assignments / Eugene Goldberg
A Complete Random Jump Strategy with Guiding Paths / Hantao Zhang
Applications / Session 3：
Applications of SAT Solvers to Cryptanalysis of Hash Functions / Ilya Mironov ; Lintao Zhang
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies / Yuliya Zabiyaka
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC / Roberto Sebastiani ; Michele Vescovi
SAT in Bioinformatics: Making the Case with Haplotype Inference
SMT / Session 4：
Lemma Learning in SMT on Linear Constraints / Yinlei Yu ; Sharad Malik
On SAT Modulo Theories and Optimization Problems / Robert Nieuwenhuis ; Albert Oliveras
Fast and Flexible Difference Constraint Propagation for DPLL(T) / Scott Cotton ; Oded Maler
A Progressive Simplifier for Satisfiability Modulo Theories
Structure / Session 5：
"Dependency Quantified Horn Formulas: Models and Complexity / Uwe Bubeck ; Hans Kleine Buning
On Linear CNF Formulas / Stefan Porschen ; Ewald Speckenmeyer ; Bert Randerath
A Dichotomy Theorem for Typed Constraint Satisfaction Problems / Su Chen ; Tomasz Imielinski ; Karin Johnsgard ; Donald Smith ; Mario Szegedy
Max-SAT / Session 6：
A Complete Calculus for Max-SAT / Maria Luisa Bonet ; Jordi Levy ; Felip Manya
On Solving the Partial Max-Sat Problem / Zhaohui Fu
Max-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(2n) Time / Eugeny Dantsin ; Alexander Wolpert
Average-Case Analysis for the Max-2SAT Problem / Osamu Watanabe ; Masaki Yamamoto
Local Search and Survey Propagation / Session 7：
Local Search for Unsatisfiability / Steven Prestwich
Efficiency of Local Search / Andrei A. Bulatov ; Evgeny S. Skvortsov
Implementing Survey Propagation on Graphics Processing Units / Panagiotis Manolios ; Yimin Zhang
Characterizing Propagation Methods for Boolean Satisfiability / Eric I. Hsu ; Sheila A. McIlraith
QBF / Session 8：
Minimal False Quantified Boolean Formulas / Xishun Zhao
Binary Clause Reasoning in QBF / Horst Samulowitz
Solving Quantified Boolean Formulas with Circuit Observability Don't Cares / Daijue Tang
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency / Ashish Sabharwal ; Carlos Ansotegui ; Carla P. Gomes ; Justin W. Hart ; Bart Selman
Counting and Concurrency / Session 9：
Solving #SAT Using Vertex Covers / Naomi Nishimura ; Prabhakar Ragde ; Stefan Szeider
Counting Models in Integer Domains / Antonio Morgado ; Paulo Matos ; Vasco Manquinho
SharpSAT - Counting Models with Advanced Component Caching and Implicit BCP / Marc Thurley
A Distribution Method for Solving SAT in Grids / Antti Eero Johannes Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Author Index
Invited Talks
From Propositional Satisfiability to Satisfiability Modulo Theories / Hossein M. Sheini ; Karem A. Sakallah
CSPs: Adding Structure to SAT / Fahiem Bacchus
26.

電子ブック
ＥＢ
26. Theory and Applications of Satisfiability Testing – SAT 2010
Ofer Strichman, Takeo Kanade, Stefan Szeider, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / Part 1：
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
Regular Papers / Part 2：
Improving Stochastic Local Search for SAT with a New Probability Distribution / Adrian Balint ; Andreas Fröhlich
Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas / Eli Ben-Sasson ; Jan Johannsen
Proof Complexity of Propositional Default Logic / Olaf Beyersdorff ; Arne Meier ; Sebastian Müller ; Michael Thomas ; Heribert Vollmer
Automated Testing and Debugging of SAT and QBF Solvers / Robert Brummayer ; Florian Lonsing ; Armin Biere
Rewriting (Dependency-) Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN / Uwe Bubeck ; Hans Kleine Büning
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT / Carsten Fuhs ; Peter Schneider-Kamp
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning / Enrico Giunchiglia ; Paolo Marin ; Massimo Narizzano
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold / Yacine Boufkhad ; Thomas Hugel
Symmetry and Satisfiability: An Update / Hadi Katebi ; Karem A. Sakallah ; Igor L. Markov
A Non-prenex, Non-clausal QBF Solver with Game-State Learning / William Klieber ; Samir Sapra ; Sicun Gao ; Edmund Clarke
SAT Solving with Reference Points / Stephan Kottler
Integrating Dependency Schemes in Search-Based QBF Solvers
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF / Kazuhisa Makino ; Suguru Tamaki ; Masaki Yamamoto
Improving Unsatisfiability-Based Algorithms for Boolean Optimization / Vasco Manquinho ; Ruben Martins ; Inês Lynce
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs / Christian Miller ; Stefan Kupferschmid ; Matthew Lewis ; Bernd Becker
Statistical Methodology for Comparison of SAT Solvers / Mladen Nikolic
On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem / Denis Pankratov ; Allan Borodin
The Seventh QBF Solvers Evaluation (QBFEVAL'10) / Claudia Peschiera ; Luca Pulina ; Armando Tacchella ; Oliver Kullmann
Complexity Results for Linear XSAT-Problems / Stefan Porschen ; Tatjana Schmidt ; Ewald Speckenmeyer
Bounds on Threshold of Regular Random k-SAT / Vishwambhar Rathi ; Erik Aurell ; Lars Rasmussen ; Mikael Skoglund
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT / Dave A.D. Tompkins ; Holger H. Hoos
Short Papers / Part 3：
Improved Local Search for Circuit Satisfiability / Anton Belov ; Zbigniew Stachniak
A System for Solving Constraint Satisfaction Problems with SMT / Miquel Bofil ; Josep Suy ; Mateu Villaret
Two Techniques for Minimizing Resolution Proofs / Scott Cotton
On Moderately Exponential Time for SAT / Evgeny Dantsin ; Alexander Wolpert
Minimising Deterministic Büchi Automata Precisely Using SAT Solving / Rüdiger Ehlers
Exploiting Circuit Representations in QBF solving / Alexandra Goultiaeva ; Fahiem Bacchus
Reconstructing Solutions after Blocked Clause Elimination / Matti Järvisalo
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search / Lukas Kroc ; Ashish Sabharwal ; Bart Selman
Green-Tao Numbers and SAT
Exact MinSAT Solving / Chu Min Li ; Felip Manyà ; Zhe Quan ; Zhu Zhu
Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable / William Matthews
Assignment Stack Shrinking / Alexander Nadel ; Vadim Ryuchin
Simple but Hard Mixed Horn Formulas / Gayathri Namasivayam ; Miroslaw Truszczynski
Zero-One Designs Produce Small Hard SAT Instances / Allen Van Gelder ; Ivor Spence
Author Index
Invited Talks / Part 1：
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
27.

電子ブック
ＥＢ
27. Structural Information and Communication Complexity
Adrian Kosowski, Takeo Kanade, Masafumi Yamashita, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Random Walks, Interacting Particles, Dynamic Networks: Randomness Can Be Helpful / Colin Cooper
SINR Maps: Properties and Applications / David Peleg
Survey Talk
A Survey on Some Recent Advances in Shared Memory Models / Sergio Rajsbaum ; Michel Raynal
Fault Tolerance
Consensus vs. Broadcast in Communication Networks with Arbitrary Mobile Omission Faults / Emmanuel Godard ; Joseph Peters
Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing (Extended Abstract) / Heinrich Moser ; Ulrich Schmid
Self-stabilizing Hierarchical Construction of Bounded Size Clusters / Alain Bui ; Simon Clavière ; Ajoy K. Datta ; Lawrence L. Larmore ; Devan Sohier
The Universe of Symmetry Breaking Tasks / Damien Imbs
Routing
Determining the Conditional Diagnosability of k-Azy n-Cubes under the MM* Model / Sun-Yuan Hsieh ; Chi-Ya Kao
Medium Access Control for Adversarial Channels with Jamming / Lakshmi Anantharamu ; Bogdan S. Chlebus ; Dariusz R. Kowalski ; Mariusz A. Rokicki
Full Reversal Routing as a Linear Dynamical System / Bernadette Charron-Bost ; Matthias Függer ; Jennifer L. Welch ; Josef Widder
Partial is Full
Mobile Agents/Robots (I)
Convergence with Limited Visibility by Asynchronous Mobile Robots / Branislav Katreniak
Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally / Philipp Brandes ; Bastian Degener ; Barbara Kempkes ; Friedhelm Meyer auf der Heide
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection / Sayaka Kamei ; Anissa Lamani ; Fukuhito Ooshita ; Sèbastien Tixeuil
Mobile Agents/Robots (II)
Gathering Asynchronous Oblivious Agents with Local Vision in Regular Bipartite Graphs / Samuel Guilbault ; Andrzej Pelc
Gathering of Six Robots on Anonymous Symmetric Rings / Gianlorenzo D'Angela ; Gabriele Di Stefano ; Alfredo Navarra
Tight Bounds for Scattered Black Hole Search in a Ring / Jèrèmie Chalopin ; Shantanu Das ; Arnaud Labourel ; Euripides Markou
Improving the Optimal Bounds for Black Hole Search in Rings / Balasingham Balamohan ; Paola Flocchini ; Ali Miri ; Nicola Santoro
Probabilistic Methods
The Cover Times of Random Walks on Hypergraphs / Alan Freeze ; Tomasz Radzik
Routing in Carrier-Based Mobile Networks / Bronislava Brejová ; Stefan Dobrev ; Rastislav Královic ; Tomáš Vinar
On the Performance of a Retransmission-Based Synchronizer / Thomas Nowak ; Alexander Kö?ler
Distributed Algorithms on Graphs
Distributed Coloring Depending on the Chromatic Number or the Neighborhood Growth / Johannes Schneider ; Roger Wattenhofer
Multiparty Equality Function Computation in Networks with Point-to-Point Links / Guanfeng Liang ; Nitin Vaidya
Network Verification via Routing Table Queries / Evangelos Bampas ; Davide Bilò ; Guido Drovandi ; Luciano Gualà ; Ralf Klasing ; Guido Proietti
Social Context Congestion Games / Vittorio Bilò ; Alessandro Celi ; Michele Flammini ; Vasco Gallotti
Ad-hoc Networks
Network Synchronization and Localization Based on Stolen Signals / Christian Schindelhauer ; Zvi Latker ; Johannes Wendeberg
Optimal Time Data Gathering in Wireless Networks with Omni-Directional Antennas / Jean-Claude Bermond ; Luisa Gargano ; Stephane Per?nnes ; Adele A. Rescigno ; Ugo Vaccaro
Author Index
Invited Talks
Random Walks, Interacting Particles, Dynamic Networks: Randomness Can Be Helpful / Colin Cooper
SINR Maps: Properties and Applications / David Peleg
28.

電子ブック
ＥＢ
28. Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
International Conference on Virtual Storytelling, Takeo Kanade, Gérard Subsol, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Logic for Programming, Artificial Intelligence, and Reasoning
LPAR (Conference), Takeo Kanade, Geoff Sutcliffe, AndreÄ­ Voronkov, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Mathematical Foundations of Computer Science 2005
Symposium on Mathematical Foundations of Computer Science (1972- ), Takeo Kanade, Andrzej Szepietowski, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Middleware 2005
ACM/IFIP/USENIX International Middleware Conference, Gustavo Alonso, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MoDELS 2005, Lionel C. Briand, Takeo Kanade, Clay Edwin Williams, Association for Computing Machinery-Digital Library., Clay Williams, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Networking and Mobile Computing
International Conference on Computer Networks and Mobile Computing, Takeo Kanade, Xicheng Lu, Wei Zhao, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops
Robert Meersman, Herrero Martín Herrero, Pilar Herrero, Takeo Kanade, R. Meersman, Zahir Tari, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Workshop on Pervasive Systems (PerSys)
PerSys 2007 PC Co-chairs' Message
Semantics for Pervasive Systems
COMITY - Conflict Avoidance in Pervasive Computing Environments / Verena Tuttlies ; Gregor Schiele ; Christian Becker
An OSGi-Based Semantic Service-Oriented Device Architecture / Panagiotis Gouvas ; Thanasis Bouras ; Gregoris Mentzas
A Semantic Framework for Priority-Based Service Matching in Pervasive Environments / Ayomi Bandara ; Terry Payne ; David De Roure ; Tim Lewis
Privacy in Pervasive Environments
Enhancing Privacy by Applying Information Flow Modelling in Pervasive Systems / Steffen Ortmann ; Peter Langendorfer ; Michael Maaser
Managing Pervasive Environment Privacy Using the "fair trade" Metaphor / Abraham Esquivel ; Pablo A. Haya ; Manuel Garcia-Herranz ; Xavier Alaman
Spontaneous Privacy Policy Negotiations in Pervasive Environments / Soren Preibusch
Context-Aware Computing
Combining Pragmatics and Intelligence in Semantic Web Service Discovery / Electra Tamani ; Paraskevas Evripidou
Modelling Context-Aware Multimedia Community Content on Mobile Devices / Diana Weiss
Towards a Versatile Problem Diagnosis Infrastructure for Large Wireless Sensor Networks / Konrad Iwanicki ; Maarten van Steen
Location Sensing and Management
Processing Location-Dependent Queries with Location Granules / Sergio Ilarri ; Eduardo Mena ; Carlos Bobed
A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments / Christian Hoareau ; Ichiro Satoh
Scalable Inter-vehicular Applications / Jonathan J. Davies ; Alastair R. Beresford
Mobility in Pervasive Systems
Towards Personal Privacy Control / Susana Alcalde Bagues ; Andreas Zeidler ; Carlos Fernandez Valdivielso ; Ignacio R. Matias
Supporting Adaptive Application Mobility / Francis M. David ; Bill Donkervoet ; Jeffrey C. Carlyle ; Ellick M. Chan ; Roy H. Campbell
Workshop on Peer to Peer Networks (PPN)
PPN 2007 PC Co-chairs' Message
P2P Security
Nomad: Virtual Environments on P2P Voronoi Overlays / Laura Ricci ; Andrea Salvadori
A Novel Overlay Network for a Secure Global Home Agent Dynamic Discovery / Angel Cuevas ; Ruben Cuevas ; Manuel Uruena ; Carmen Guerrero
Recursive Replication: A Survival Solution for Structured P2P Information Systems to Denial of Service Attacks / Xavier Bonnaire ; Olivier Marin
P2P Routing
Adaptive Expression Based Routing Protocol for P2P Systems / Imran Rao ; Aaron Harwood ; Shanika Karunasekera
CAP: A Context-Aware Peer-to-Peer System / Marguerite Faycal ; Ahmed Serhrouchni
A Socially Inspired Peer-to-Peer Resource Discovery Service for Delay Tolerant Networks / Tuan Dung Nguyen ; Siegfried Rouvrais
In-Network Event Processing in a Peer to Peer Broker Network for the Internet of Things / Holger Ziekow
Content Distribution
Structured Peer-to-Peer Network for Live-Content Distribution / Sergio Machado ; Javier Ozon ; Xavier Hesselbach
Bittella: A Novel Content Distribution Overlay Based on Bittorrent and Social Group / Isaias Martinez-Yelmo ; Carlos Navarro
General
Managing Difference-Based Objects with Sub-networks in Peer-to-Peer Environments / Daisuke Fukuchi ; Yuichi Sei ; Shinichi Honiden
Peer Enterprises: Possibilities, Challenges and Some Ideas Towards Their Realization / Ankur Gupta ; Lalit K. Awasthi
Workshop on Reliability in Decentralized Distributed Systems (RDDS)
RDDS 2007 PC Co-chairs' Message
Distributed Algorithms
Improving on Version Stamps / Paulo Sergio Almeida ; Carlos Baquero ; Victor Fonte
Self-healing in Binomial Graph Networks / Thara Angskun ; George Bosilca ; Jack Dongarra
A Self-stabilizing Distributed Algorithm for Resolving Conflicts / Brahim Hamid ; Mohamed Mosbah ; Akka Zemmari
Self Adaptive Systems
A Metaprotocol Outline for Database Replication Adaptability / M.I. Ruiz-Fuertes ; R. de Juan-Marin ; J. Pla-Civera ; F. Castro-Company ; F.D. Munoz-Escoi
A Reliable Context-Aware Intrusion Tolerant System / Ayda Saidane
Fault Tolerant Systems
Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems / Stefan Beyer ; Pablo Galdamez ; Francesc D. Munoz-Escoi
Scheduling in Time-Triggered Networks / Sebastian Voss
Overview of the Reliability Aspects in the Publish/Subscribe Middleware / Bogumil Zieba
Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS)
SSWS 2007 PC Co-chairs' Message
Large Scale Knowledge Bases and Data Integration
An Evaluation of Triple-Store Technologies for Large Data Stores / Kurt Rohloff ; Mike Dean ; Ian Emmons ; Dorene Ryder ; John Sumner
Hawkeye: A Practical Large Scale Demonstration of Semantic Web Integration / Zhengxiang Pan ; Abir Qasem ; Sudhan Kanitkar ; Fabiana Prabhakar ; Jeff Heflin
URI Identity Management for Semantic Web Data Integration and Linkage / Afraz Jaffri ; Hugh Glaser ; Ian Millard
Scalable Reasoning
Parallelizing Tableaux-Based Description Logic Reasoning / Thorsten Liebig ; Felix Muller
Scalability of OWL Reasoning: Role condensates / Sebastian Wandelt ; Ralf Moller
A Pragmatic Approach for RDFS Reasoning over Large Scale Instance Data / Tugba Ozacar ; Ovunc Ozturk ; Murat Osman Unalir
Query Languages and Semantic Mapping
Modular Web Queries-From Rules to Stores / Uwe Assmann ; Sacha Berger ; Francois Bry ; Tim Furche ; Jakob Henriksson ; Jendrik Johannes
Leveraging the Expressivity of Grounded Conjunctive Query Languages / Alissa Kaplunova ; Michael Wessel
Adaptive Semantic Interoperability Strategies for Knowledge Based Networking / Song Guo ; John Keeney ; Declan O'Sullivan ; David Lewis
IFIP WG 2.12 and WG 12.4 International Workshop on Semantic Web and Web Semantics (SWWS)
SWWS 2007 PC Co-chairs' Message
Ontology Development, Management and Evolution
From Database to Semantic Web Ontology: An Overview / Shuxin Zhao ; Elizabeth Chang
An Ontology-Driven Architecture for Re-using Semantic Web Services / Carlos Granell ; Dolores Maria Llido ; Rafael Berlanga ; Michael Gould
OntoGame: Towards Overcoming the Incentive Bottleneck in Ontology Building / Katharina Siorpaes ; Martin Hepp
Towards Social Network Based Approach for Software Engineering Ontology Sharing and Evolution / Pornpit Wongthongtham ; Ahmed A. Aseeri
Process Semantics and Mining
An Outlook on Semantic Business Process Mining and Monitoring / A.K. Alves de Medeiros ; C. Pedrinaci ; W.M.P. van der Aalst ; J. Domingue ; M. Song ; A. Rozinat ; B. Norton ; L. Cabral
A Role and Attribute Based Access Control System Using Semantic Web Technologies / Lorenzo Cirio ; Isabel F. Cruz ; Roberto Tamassia
Semantic Interoperability
Detecting Semantic Relations Between Nominals Using Support Vector Machines and Linguistic-Based Rules / Isabel Segura-Bedmar ; Doaa Samy ; Jose L. Martinez-Fernandez ; Paloma Martinez
The Effect of Context on Semantic Similarity Measurement / Carsten Kessler ; Martin Raubal ; Krzysztof Janowicz
Using Ontologies to Map Concept Relations in a Data Integration System / Paolo Ceravolo ; Ernesto Damiani ; Alex Gusmini ; Marcello Leida
Ontology and Knowledge Matching
Management of Inconsistent Data / Sylvia Encheva ; Sharil Tumin
Approaches to Inconsistency Handling in Description-Logic Based Ontologies / David Bell ; Guilin Qi ; Weiru Liu
Fuzzy-DL Reasoning over Unknown Fuzzy Degrees / Stasinos Konstantopoulos ; Georgios Apostolikas
Application of Tree Mining to Matching of Knowledge Structures of Decision Tree Type / Fedja Hadzic ; Tharam S. Dillon
A New Expanding Tree Ontology Matching Method / Feiyu Lin ; Kurt Sandkuhl
Biomedical Ontologies
Deductive Web Services: An Ontology-Driven Approach for Service Interoperability in Life Science / Nadia Yacoubi Ayadi ; Zoe Lacroix ; Maria-Esther Vidal ; Edna Ruckhaus
Protein Ontology Instance Store / Amandeep S. Sidhu
Three Fold System (3FS) for Mental Health Domain / Maja Hadzic ; Roberta Ann Cowan
Author Index
Workshop on Pervasive Systems (PerSys)
PerSys 2007 PC Co-chairs' Message
Semantics for Pervasive Systems
35.

電子ブック
ＥＢ
35. Fast Software Encryption
Antoine Joux, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Differential Cryptanalysis
Diffential Cryptanalysis of Round-Reduced PRINTcipher: Computing Roots of Permutations / Mohamad Ahmed Abdelraheem ; Gregor Leander ; Erik Zenner
Search for Related-Key Differential Characteristics in DES-Like Ciphers / Alex Biryukov ; Ivica Nikolic
Multiple Differential Cryptanalysis: Theory and Practice / Céline Blondeau ; Benoit Gérard
Invited Talk
Fast Correlation Attacks: Methods and Countermeasures / Willi Meier
Hash Functions I
Analysis of Reduced-SHAvite-3-256 v2 / Marine Minier ; María Naya-Plasencia ; Thomas Peyrin
An Improved Algebraic Attack on Hamsi-256 / Itai Dinur ; Adi Shamir
Practical Near-Collisions and Collisions on Round-Reduced ECHO-256 Compression Function / Jérémy Jean ; Pierre-Alain Fouque
Security and Models
On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model / Martin R. Albrecht ; Pooya Farshim ; Kenny G. Paterson ; Gaven J. Watson
On the Security of Hash Functions Employing Blockcipher Postprocessing / Donghoon Chang ; Mridul Nandi ; Moti Yung
Stream Ciphers
Breaking Grain-128 with Dynamic Cube Attacks / Itai Diriur
Cryptanalysis of the Knapsack Generator / Simon Knellwolf
Attack on Broadcast RC4 Revisited / Subhamoy Maitra ; Goutam Paul ; Sourav Sen Gupta
Hash Functions II
Boomerang Attacks on BLAKE-32 / Arnab Roy
Practical Near-Collisions on the Compression Function of BMW / Gaëtan Leurent ; Søren S. Thomsen
Higher-Order Differential Properties of KeccaK and Luffa / Christina Boura ; Anne Canteaut ; Christophe De Canniére
Block Ciphers and Modes
Cryptanalysis of PRESENT-Like Ciphers with Secret S-Boxes / Julia Borghoff ; Lars R. Knudsen
A Single-Key Attack on the Full GOST Block Cipher / Takanori Isobe
The Software Performance of Authenticated-Encryption Modes / Ted Krovetz ; Phillip Rogaway
Linear and Differential Cryptanalysis
Cryptanalysis of Hummingbird-1 / Markku-Juhani O. Saarinen
The, Additive Differential Probability of ARX / Vesselin Velichkov ; Nicky Mouha ; Christophe De Cannière ; Bart Preneel
Linear Approximations of Addition Modulo 2n-l / Chunfang Zhou ; Xiutao Feng ; Chuankun Wu
Hash Functions III
Meet-in-the-Middle Preimage Attacks on AES Hashing Modes and an Application to Whirlpool / Yu Sasaki
Known-Key Distinguishes on 11-Round Feistel and Collision Attacks on Its Hashing Modes / Kan Yasuda
Author Index
Differential Cryptanalysis
Diffential Cryptanalysis of Round-Reduced PRINTcipher: Computing Roots of Permutations / Mohamad Ahmed Abdelraheem ; Gregor Leander ; Erik Zenner
Search for Related-Key Differential Characteristics in DES-Like Ciphers / Alex Biryukov ; Ivica Nikolic
36.

電子ブック
ＥＢ
36. Sustainable Internet
Serge Fdida, Takeo Kanade, Kazunori Sugiura, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1
Packet Forwarding in Pocket Switched Networks - An Empirical Characterization of Human Mobility / Christophe Diot
Wireless Networks / Session 1：
Mobility Versus Density Metric for OLSR Enhancement / Cholatip Yawut ; Beatrice Paillassa ; Riadh Dhaou
DAD-MPR Flooding Protocol, Convergence Evaluation Through Simulation / Saadi Boudjit ; Cedric Adjih ; Paul Muhlethaler
A Prototyping Environment for Wireless Multihop Networks / Fehmi Ben Abdesslem ; Luigi Iannone ; Marcelo Dias de Amorim ; Katia Obraczka ; Ignacio Solis ; Serge Fdida
Efficient Selection of Multipoint Relays in Wireless Ad Hoc Networks with Realistic Physical Layer / Dhavy Gantsou ; Patrick Sondi
Invited Talk 2
Mobile Hotspots / Aruna Seneviratne ; Eranga Perera ; Henrik Petander
Mobility Management / Session 2：
Extending Home Agent Migration to Mobile IPv6 Based Protocols / Guillaume Valadon ; Ryuji Wakikawa
Experimental Evaluation of EAP Performance in Roaming Scenarios / Saber Zrelli ; Yoichi Shinoda
Packet Transmission / Session 3：
Unidirectional Lightweight Encapsulation with Header Compression for IP Based Satellite Communication over DVB-S / Chee-Hong Teh ; Tat-Chee Wan ; Rahmat Budiarto ; Way-Chuang Ang
Analysis of FEC Function for Real-Time DV Streaming / Kazuhisa Matsuzono ; Hitoshi Asaeda ; Kazunori Sugiura ; Osamu Nakamura ; Jun Murai
Invited Talk 3
Ubiquitous Devices, Mobility and Context Awareness / Jean-Marie Hullot
Applications and Services / Session 4：
Improving the Load Balancing Performance of Reliable Server Pooling in Heterogeneous Capacity Environments / Xing Zhou ; Thomas Dreibholz ; Erwin P. Rathgeb
WOD - Proxy-Based Web Object Delivery Service / Kai-Hsiang Yang ; Jan-Ming Ho
Invited Talk 4
Implementation Issues of Early Application Identification / Laurent Bernaille ; Renata Teixeira
Invited Talk 5
Securing Internet Coordinate Systems / Dali Kaafar ; Laurent Mathy ; Kave Salamatian ; Chadi Barakat ; Thierry Turletti ; Walid Dabbous
Network Monitoring / Session 5：
A Real-Time Performance-Monitoring Tool for Emergency Networks / Shuprabha Shakya ; Mohamad Abdul Awal ; Dwijendra K. Das ; Yasuo Tsuchimoto ; Kanchana Kanchanasut
A Role-Based Peer-to-Peer Approach to Application-Oriented Measurement Platforms / Kenji Masui ; Youki Kadobayashi
Invited Talk 6
Gap Analysis in IP Multicast Dissemination / Bill Manning
Routing
Can Forwarding Loops Appear When Activating iBGP Multipath Load Sharing? / Simon Balon ; Guy Leduc
Quality-of-Service Multicast Overlay Spanning Tree Algorithms for Wireless Ad Hoc Networks / Georgios Rodolakis ; Anis Laouiti
Invited Talk 7
Architecture of Satellite Internet for Asia-Wide Digital Communications / Kotaro Kataoka ; Achmad Husni Thamrin ; Kenjiro Cho ; Jun Takei
Author Index
Invited Talk 1
Packet Forwarding in Pocket Switched Networks - An Empirical Characterization of Human Mobility / Christophe Diot
Wireless Networks / Session 1：
37.

電子ブック
ＥＢ
37. Parameterized and Exact Computation
Jianer Chen, Fedor V. Fomin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Balanced Hashing, Color Coding and Approximate Counting (Invited Talk) / Noga Alon ; Shai Gutner
Kernelization: New Upper and Lower Bound Techniques (Invited Talk) / Hans L. Bodlaender
A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams / Sebastian Böcker ; Falk Hüffner ; Anke Truss ; Magnus Wahlström
Planar Capacitated Dominating Set Is W [1]-Hard / Daniel Lokshtanov ; Eelko Penninkx
Boolean-Width of Graphs / Binh-Minh Bui-Xuan ; Jan Arne Telle ; Martin Vatshelle
The Complexity of Satisfiability of Small Depth Circuits / Chris Calabro ; Russell Impagliazzo ; Ramamohan Paturi
On Finding Directed Trees with Many Leaves / Jean Daligault ; Stéphan Thomassé
Bounded-Degree Techniques Accelerate Some Parameterized Graph Algorithms / Peter Damaschke
Pareto Complexity of Two-Parameter FPT Problems: A Case Study for Partial Vertex Cover
What Makes Equitable Connected Partition Easy / Rosa Enciso ; Michael R. Fellows ; Jiong Guo ; Iyad Kanj ; Frances Rosamond ; Ondřej Suchý
Improved Induced Matchings in Sparse Graphs / Rok Erman ; &Lslash;ukasz Kowalik ; Matjaž Krnc ; Tomasz Waleń
Well-Quasi-Orders in Subclasses of Bounded Treewidth Graphs / Danny Hermelin ; Frances A. Rosamond
An Exact Algorithm for the Maximum Leaf Spanning Tree Problem / Henning Fernau ; Joachim Kneis ; Dieter Kratsch ; Alexander Langer ; Mathieu Liedloff ; Daniel Raible ; Peter Rossmanith
An Exponential Time 2-Approximation Algorithm for Bandwidth / Martin Fürer ; Serge Gaspers ; Shiva Prasad Kasiviswanathan
On Digraph Width Measures in Parameterized Algorithmics / Robert Ganian ; Petr Hliněný ; Jan Obdržálek
The Parameterized Complexity of Some Geometric Problems in Unbounded Dimension / Panos Giannopoulos ; Christian Knauer ; Günter Rote
Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms / Petr A. Golovach ; Dimitrios M. Thilikos
Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs / Gregory Gutin ; Daniel Karapetyan ; Igor Razgon
A Probabilistic Approach to Problems Parameterized above or below Tight Bounds / Eun Jung Kim ; Stefan Szeider ; Anders Yeo
Polynomical Kernels and Faster Algorithms for the Dominating Set Problem on Graphs with an Excluded Minor
Partitioning into Sets of Bounded Cardinality / Mikko Koivisto
Two Edge Modification Problems without Polynomial Kernels / Stefan Kratsch
On the Directed Degree-Preserving Spanning Tree Problem / Venkatesh Raman ; Saket Saurabh ; Somnath Sikdar
Even Faster Algorithms for Set Splitting!
Stable Assignment with Couples: Parameterized Complexity and Local Search / Dániel Marx ; Ildikó Schlotter
Improved Parameterized Algorithms for the Kemeny Aggregation Problem / Narges Simjour
Computing Pathwidth Faster Than 2n / Karol Suchan ; Yngve Villanger
Author Index
Balanced Hashing, Color Coding and Approximate Counting (Invited Talk) / Noga Alon ; Shai Gutner
Kernelization: New Upper and Lower Bound Techniques (Invited Talk) / Hans L. Bodlaender
A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams / Sebastian Böcker ; Falk Hüffner ; Anke Truss ; Magnus Wahlström
38.

電子ブック
ＥＢ
38. Privacy in Statistical Databases
Josep Domingo-Ferrer, Takeo Kanade, Emmanouil Magkos, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tabular Data Protection
Privacy Disclosure Analysis and Control for 2D Contingency Tables Containing Inaccurate Data / Bing Liang ; Kevin Chiew ; Yingjiu Li ; Yanjiang Yang
A Tool for Analyzing and Fixing Infeasible RCTA Instances / Jordi Castro ; José A. González
Branch-and-Cut versus Cut-and-Branch Algorithms for Cell Suppression / Juan-José Salazar-González
Data Swapping for Protecting Census Tables / Natalie Shlomo ; Caroline Tudor ; Paul Groom
Eliminating Small Cells from Census Counts Tables: Some Considerations on Transition Probabilities / Sarah Giessing ; Jörg Höhne
Three Ways to Deal with a Set of Linked SBS Tables Using ?-ARGUS / Peter-Paul de Wolf ; Anco Hundepool
Microdata Protection
IPUMS-International Statistical Disclosure Controls: 159 Census Microdata Samples in Dissemination, 100+ in Preparation / Robert McCaa ; Steven Ruggles ; Matt Sobek
Uncertainty for Anonymity and 2-Dimensional Range Query Distortion / Spyros Sioutas ; Emmanouil Magkos ; Ioannis Karydis ; Vassilios S. Verykios
PRAM Optimization Using an Evolutionary Algorithm / Jordi Marés ; Vicenç Torra
Multiplicative Noise Protocols / Anna Oganian
Measurement Error and Statistical Disclosure Control
Semantic Microaggregation for the Anonymization of Query Logs / Arnau Erola ; Jordi Castellà-Roca ; Guillermo Navarro-Arribas
Data Environment Analysis and the Key Variable Mapping System / Mark Elliot ; Susan Lomax ; Elaine Mackey ; Kingsley Purdam
Synthetic Data
Using Support Vector Machines for Generating Synthetic Datasets / Jörg Drechsler
Synthetic Data for Small Area Estimation / Joseph W. Sakshaug ; Trivellore E. Raghunathan
Disclosure Risk of Synthetic Population Data with Application in the Case of EU-SILC / Matthias Templ ; Andreas Alfons
Differential Privacy
Differential Privacy and the Risk-Utility Tradeoff for Multi-dimensional Contingency Tables / Stephen E. Fienberg ; Alessandro Rinaldo ; Xiaolin Yang
Does Differential Privacy Protect Terry Gross' Privacy? / Krish Muralidhar ; Rathindra Sarathy
Some Additional Insights on Applying Differential Privacy for Numeric Data
On-Line Databases and Remote Access
Remote Data Access and the Risk of Disclosure from Linear Regression: An Empirical Study / Philipp Bleninger ; Gerd Ronning
The Microdata Analysis System at the U.S. Census Bureau / Jason Lucero ; Laura Zayatz
Establishing an Infrastructure for Remote Access to Microdata at Eurostat / Wolf Heinrich Reuter ; Jean-Marc Museux
Privacy-Preserving Protocols
Coprivacy: Towards a Theory of Sustainable Privacy / Josep Domingo-Ferrer
Privacy-Preserving Record Linkage / Rob Hall
Legal Issues
Strategies to Achieve SDC Harmonisation at European Level: Multiple Countries, Multiple Files, Multiple Surveys / Daniela Ichim ; Luisa Franconi
Author Index
Tabular Data Protection
Privacy Disclosure Analysis and Control for 2D Contingency Tables Containing Inaccurate Data / Bing Liang ; Kevin Chiew ; Yingjiu Li ; Yanjiang Yang
A Tool for Analyzing and Fixing Infeasible RCTA Instances / Jordi Castro ; José A. González
39.

電子ブック
ＥＢ
39. WALCOM: Algorithms and Computation
Naoki Katoh, Takeo Kanade, Amit Kumar, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Geometry and Topology from Point Cloud Data / Tamal Krishna Dey
The Disjoint Paths Problem: Algorithm and Structure / Ken-ichi Kawarabayashi
The Physarum Computer / Kurt Mehlhorn
Approximation Algorithms
Maximum Betweenness Centrality: Approximability and Tractable Cases / Martin Fink ; Joachim Spoerhase
Approximation Algorithms for Minimum Chain Vertex Deletion / Mrinal Kumar ; Sounaka Mishra ; N. Safina Devi ; Saket Saurabh
Oblivious Buy-at-Bulk in Planar Graphs / Srivathsan Srinivasagopalan ; Costas Busch ; S. Sitharama Iyengar
Hardness
The Complexity of Acyclic Subhypergraph Problems / David Duris ; Yann Strozecki
Inapproximability of b-Matching in k-Uniform Hypergraphs / Mourad El Ouali ; Antje Fretwurst ; Anand Srivastav
k-Level Crossing Minimization Is NP-Hard for Trees / Martin Harrigan ; Patrick Healy
Algorithm Engineering
Efficient Computation of Time-Dependent Centralities in Air Transportation Networks / Annabell Berger ; Matthias Müller-Hannemann ; Steffen Rechner ; Alexander Zock
Analysis of Gauss-Sieve for Solving the Shortest Vector Problem in Lattices / Michael Schneider
Computational Geometry
Minimum Enclosing Circle of a Set of Fixed Points and a Mobile Point / Aritra Banik ; Bhaswar B. Bhattacharya ; Sandip Das
Efficient Top-k Queries for Orthogonal Ranges / Saladi Rahul ; Prosenjit Gupta ; Ravi Janardan ; K.S. Rajan
Range-Aggregate Queries Involving Geometric Aggregation Operations / Ananda Swarup Das ; Kannan Srinathan
Multi Cover of a Polygon Minimizing the Sum of Areas / A. Karim Abu-Affash ; Paz Carmi ; Matthew J. Katz ; Gila Morgenstern
On the Discrete Unit Disk Cover Problem / Gautam K. Das ; Robert Fraser ; Alejandro Lòpez-Ortiz ; Bradford G. Nickerson
Clustering with Internal Connectedness / Neelima Gupta ; Aditya Pancholi ; Yogish Sabharwal
String Algorithms
Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems / Sebastian Kniesburges ; Christian Scheideler
De Bruijn Sequences for the Binary Strings with Maximum Density / Joe Sawada ; Brett Stevens ; Aaron Williams
Graph Algorithms
A Polynomial Time Algorithm for Longest Paths in Biconvex Graphs / Esha Ghosh ; N.S. Narayanaswamy ; C. Pandu Rangan
Counting Spanning Trees in Graphs Using Modular Decomposition / Stavros D. Nikolopoulos ; Leonidas Patios ; Charis Papadopoulos
On Graceful Labelings of Trees (Extended Abstract) / Sourabh Aryabhatta ; Tonmoy Guha Roy ; Md. Mohsin Uddin ; Md. Saidur Rahman
Minimum-Layer Drawings of Trees (Extended Abstract) / Debajyoti Mondal ; Muhammad Jawaherul Alam
Author Index
Invited Talks
Geometry and Topology from Point Cloud Data / Tamal Krishna Dey
The Disjoint Paths Problem: Algorithm and Structure / Ken-ichi Kawarabayashi
40.

電子ブック
ＥＢ
40. Radio Frequency Identification: Security and Privacy Issues
Siddika Berna Ors Yalcin, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The Physical Basis of RFID Security / Ari JuelsInvited Talk 1：
Still and Silent: Motion Detection for Enhanced RFID Security and Privacy without Changing the Usage Model / Nitesh Saxena ; Jonathan VorisSession 1：
Cryptanalysis of the David-Prasad RFID Ultralightweight Authentication Protocol / Julio Cesar Hernandez-Castro ; Pedro Peris-Lopez ; Raphael C.-W. Phan ; Juan M.E. Tapiador
Practical NFC Peer-to-Peer Relay Attack Using Mobile Phones / Lishoy Francis ; Gerhard Hancke ; Keith Mayes ; Konstantinos Markantonakis
Strong Authentication and Strong Integrity (SASI) Is Not That Strong / Gildas Avoine ; Xavier Carpent ; Benjamin Martin
Privacy Models for RFID Schemes / Serge VaudenayInvited Talk 2：
On the Claimed Privacy of EC-RAC III / Junfeng Fan ; Jens Hermans ; Frederik VercauterenSession 2：
EC-RAC: Enriching a Capacious RFID Attack Collection / Ton van Deursen ; Saša Radomirovic
Anonymous RFID Authentication Using Trusted Computing Technologies / Kurt Dietrich
Tree-Based RFID Authentication Protocols Are Definitively Not Privacy-Friendly / Tania Martin
Hardware Intrinsic Security / Pim TuylsInvited Talk 3：
Privacy-Preserving Pattern Matching for Anomaly Detection in RFID Anti-Counterfeiting / Florian Kerschbaum ; Nina OertelSession 3：
Time Measurement Threatens Privacy-Friendly RFID Authentication Protocols / Iwen Coisel
Anonymous Authentication for RFID Systems / Frederik Armknecht ; Liqun Chen ; Ahmad-Reza Sadeghi ; Christian Wachsmann
Leakage-Resilient RFID Authentication with Forward-Privacy / Shin'ichiro Matsuo ; Le Trieu Phong ; Miyako Ohkubo ; Moti Yung
An ECDSA Processor for RFID Authentication / Michael Hutter ; Martin Feldhofer ; Thomas PlosSession 4：
Towards a Practical Solution to the RFID Desynchronization Problem / Gerhard de Koning Gans ; Flavio D. Garcia
Optimal Security Limits of RFID Distance Bounding Protocols / Orhun Kara ; Süleyman Kardas ; Muhammed Ali BingölSession 5：
The Poulidor Distance-Bounding Protocol / Rolando Trujillo-Rasua
A Lightweight Implementation of Keccak Hash Function for Radio-Frequency Identification Applications / Elif Bilge Kavun ; Tolga Yalcin
Author Index
The Physical Basis of RFID Security / Ari JuelsInvited Talk 1：
Still and Silent: Motion Detection for Enhanced RFID Security and Privacy without Changing the Usage Model / Nitesh Saxena ; Jonathan VorisSession 1：
Cryptanalysis of the David-Prasad RFID Ultralightweight Authentication Protocol / Julio Cesar Hernandez-Castro ; Pedro Peris-Lopez ; Raphael C.-W. Phan ; Juan M.E. Tapiador
41.

電子ブック
ＥＢ
41. Advanced Information Systems Engineering
Haralambos Mouratidis, Takeo Kanade, Colette Rolland, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
Ten Open Challenges at the Boundaries of Software Engineering and Information Systems (Abstract) / Anthony Finkelstein
Total Integration: The Case of Information Systems for Olympic Games (Abstract) / Dimitrios A. Beis
Requirements / Session 1：
Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis / Thomas Moser ; Dietmar Winkler ; Matthias Heindl ; Stefan Biffl
Requirements Engineering for Self-Adaptive Systems: Core Ontology and Problem Statement / Markus Nöbauer ; Norbert Seyff ; Neil Maiden ; Konstantinos Zachos ; Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Adaptation and Evolution / Session 2：
A Fuzzy Service Adaptation Based on QoS Satisfaction / Barbara Pernici ; Seyed Hossein Siadat
Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution / Le Minh Sang Tran ; Fabio Massacci
Goal-Based Behavioral Customization of Information Systems / Sotirios Liaskos ; Marin Litoiu ; Marina Daoud Jungblut ; John Mylopoulos
Model Transformation 1 / Session 3：
From Requirements to Models: Feedback Generation as a Result of Formalization / Leonid Kof ; Birgit Penzenstadler
A Web Usability Evaluation Process for Model-Driven Web Development / Adrian Fernandez ; Silvia Abrahão ; Emilio Insfran
A Trace Metamodel Proposal Based on the Model Driven Architecture Framework for the Traceability of User Requirements in Data Warehouses / Alejandro Maté ; Juan Trujillo
Conceptual Design 1 / Session.4：
Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts / Giancarlo Guizzardi
Product-Based Workflow Design for Monitoring of Collaborative Business Processes / Marco Comuzzi ; Irene T.P. Vanderfeesten
Modeling Design Patterns with Description Logics: A Case Study / Yudistira Asnar ; Elda Paja
Conceptual Design 2 / Session 5：
Interactively Eliciting Database Constraints and Dependencies / Ravi Ramdoyal ; Jean-Luc Hainaut
A Conceptual Model for Integrated Governance, Risk and Compliance / Pedro Vicente ; Miguel Mira da Silva
Using Synchronised Tag Clouds for Browsing Data Collections / Alexandre de Spindler ; Stefania Leone ; Michael Nebeling ; Matthias Geel ; Moira C. Norrie
Revisiting Naur's Programming as Theory Building for Enterprise Architecture Modelling / Balbir S. Barn ; Tony Clark
Domain Specific Languages / Session 6：
A DSL for Corporate Wiki Initialization / Oscar Díaz ; Gorka Puente
The REA-DSL: A Domain Specific Modeling Language for Business Models / Christian Sonnenberg ; Christian Huemer ; Birgit Hofreiter ; Dieter Mayrhofer ; Alessio Maria Braccini
A Foundational Approach for Managing Process Variability / Matthias Weidlich ; Jan Mendling ; Mathias Weske
Case Studies and Experiences / Session 7：
Tangible Media in Process Modeling - A Controlled Experiment / Alexander Luebbe
Experiences of Using Different Communication Styles in Business Process Support Systems with the Shared Spaces Architecture / Ilia Bider ; Paul Johannesson ; Rainer Schmidt
What Methodology Attributes Are Critical for Potential Users? Understanding the Effect of Human Needs / Kunal Mohan ; Frederik Ahlemann
Exploratory Case Study Research on SOA Investment Decision Processes in Austria / Lukas Auer ; Eugene Belov ; Natalia Kryvinska ; Christine Strauss
Model Transformation 2 / Session 8：
A Metamodelling Approach for i* Model Translations / Carlos Cares ; Xavier Franch
Automatic Generation of a Data-Centered View of Business Processes / Cristina Cabanillas ; Manuel Resinas ; Antonio Ruiz-Cortés ; Ahmed Awad
Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec / Holger Schmidt ; Jan Jürjens
Transforming Enterprise Architecture Models: An Artificial Ontology View / Sandeep Purao ; Richard Martin ; Edward Robertson
Mining and Matching / Session 9：
Handling Concept Drift in Process Mining / R.P. Jagadeesh Chandra Bose ; Wil M.P. van der Aalst ; Indre Zliobaite ; Mykola Pechenizkiy
An Iterative Approach for Business Process Template Synthesis from Compliance Rules / Rajeev Goré ; James Thomson
A Design of Business-Technology Alignment Consulting Framework / Kecheng Liu ; Lily Sun ; Dian Jambari ; Vaughan Michell ; Sam Chong
ONTECTAS: Bridging the Gap between Collaborative Tagging Systems and Structured Data / Ali Moosavi ; Tianyu Li ; Laks V.S. Lakshmanan ; Rachel Pottinger
Business Process Modelling / Session 10：
Cognitive Complexity in Business Process Modeling / Kathrin Figl ; Ralf Laue
Human-Centered Process Engineering Based on Content Analysis and Process View Aggregation / Sonja Kabicher ; Stefanie Rinderle-Ma
Process Model Generation from Natural Language Text / Fabia Friedrich ; Frank Puhlmann
A Semantic Approach for Business Process Model Abstraction / Sergey Smirnov ; Hajo A. Reijers
On the Automatic Labeling of Process Models / Henrik Leopold
Validation and Quality / Session 11：
Pattem-Based Modeling and Formalizing of Business Process Quality Constraints / Lial Khaluf ; Christian Gerth ; Gregor Engels
Quality Evaluation and Improvement Framework for Database Schemas - Using Defect Taxonomies / Jonathan Lemaitre
Validation of Families of Business Processes / Gerd Gröner ; Christian Wende ; Marko Boškovic ; Fernando Silva Parreiras ; Tobias Walter ; Florian Heidenreich ; Dragan Gaševic ; Steffen Staab
Service and Management 1 / Session 12：
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions / Marcus Roy ; Basem Suleiman ; Dennis Schmidt ; Ingo Weber ; Boualem Benatallah
Management Services - A Framework for Design / Hans Weigand ; Birger Andersson ; Jeewanie Jayasinghe Arachchige ; Maria Bergholtz
Bottom-Up Fault Management in Composite Web Services / Brahim Medjahed ; Zaki Malik
Understanding the Diversity of Services Based on Users' Identities / Junjun Sun ; Feng Liu ; He Zhang ; Lin Liu ; Eric Yu
Service and Management 2 / Session 13：
Request/Response Aspects for Web Services / Ernst Juhnke ; Dominik Seiler ; Ralph Ewerth ; Matthew Smith ; Bernd Freisleben
Using Graph Aggregation for Service Interaction Message Correlation / Adnene Guabtni ; Hamid Reza Motahari-Nezhad
Supporting Dynamic, People-Driven Processes through Self-learning of Message Flows / Christoph Dorn ; Schahram Dustdar
Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML / Andrea Delgado ; Francisco Ruiz ; Ignacio García-Rodríguez de Guzmán ; Mario Piattini
Panel on Green and Sustainable IS (Abstract) / Session 14：
Author Index
Keynotes
Ten Open Challenges at the Boundaries of Software Engineering and Information Systems (Abstract) / Anthony Finkelstein
Total Integration: The Case of Information Systems for Olympic Games (Abstract) / Dimitrios A. Beis
42.

電子ブック
ＥＢ
42. The Seventeen Provers of the World
Freek Wiedijk, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Freek Wiedijk
Informal / Henk Barendregt
HOL / John Harrison ; Konrad Slind ; Rob Arthan
Mizar / Andrzej Trybulec
PVS / Bart Jacobs ; John Rushby
Coq / Laurent Thery ; Pierre Letouzey ; Georges Gonthier
Otter/Ivy / Michael Beeson ; William McCune
Isabelle/Isar / Markus Wenzel ; Larry Paulson
Alfa/Agda / Thierry Coquand
ACL2 / Ruben Gamboa
PhoX / Christophe Raffalli ; Paul Roziere
IMPS / William Farmer
Metamath / Norman Megill
Theorema / Wolfgang Windsteiger ; Bruno Buchberger ; Markus Rozenkranz
Lego / Conor McBride
Nuprl / Paul Jackson
[Omega]mega / Christoph Benzmuller ; Armin Fiedler ; Andreas Meier ; Martin Pollet ; Jorg Siekmann
B Method / Dominique Cansell
Minlog / Helmut Schwichtenberg
Author Index
Introduction / Freek Wiedijk
Informal / Henk Barendregt
HOL / John Harrison ; Konrad Slind ; Rob Arthan
43.

電子ブック
ＥＢ
43. Object Databases
Moira C. Norrie, Michael Grossniklaus, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Orthogonal Persistence Revisited (Invited Paper) / Alan Dearle ; Graham N.C. Kirby ; Ron MorrisonSession 1：
Verification Technology for Object-Oriented/XML Transactions / Suad Alagic ; Mark Royer ; David Briggs
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java / Miguel GarciaSession 2：
Active Components as a Method for Coupling Data and Services - A Database-Driven Application Development Process / Beat Signer ; Moira C. Norrie
Optimization of Object-Oriented Queries Involving Weakly Dependent Subqueries / Michal Bleja ; Tomasz Kowalski ; Radoslaw Adamus ; Kazimierz Subieta
Metamodelling with Datalog and Classes: ConceptBase at the Age of 21 (Invited Paper) / Matthias Jarke ; Manfred A. Jeusfeld ; Hans W. Nissen ; Christoph Quix ; Martin StaudtSession 3：
Unified Event Model for Object Databases / Michael Grossniklaus ; Stefania Leone ; Alexandre de Spindler
Multi-granular Spatio-temporal Object Models: Concepts and Research Directions / Elisa Bertino ; Elena Camossi ; Michela BertolottoSession 4：
Mapping XSD to OO Schemas / Philip A. Bernstein
Author Index
Orthogonal Persistence Revisited (Invited Paper) / Alan Dearle ; Graham N.C. Kirby ; Ron MorrisonSession 1：
Verification Technology for Object-Oriented/XML Transactions / Suad Alagic ; Mark Royer ; David Briggs
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java / Miguel GarciaSession 2：
44.

電子ブック
ＥＢ
44. Reachability Problems
David Hutchison, Takeo Kanade, Josef Kittler, Igor Potapov
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata (Invited Talk) / Markus Holzer ; Martin Kutrib
Symbolic and Compositional Reachability for Timed Automata (Invited Talk) / Kim Guldstrand Larsen
Temporal Logics over Linear Time Domains Are in PSPACE (Invited Talk) / Alexander Rabinovich
Lossy Counter Machines Decidability Cheat Sheet (Invited Talk) / Philippe Schnoebelen
Behavioral Cartography of Timed Automata / Étienne André ; Laurent Fribourg
On the Joint Spectral Radius for Bounded Matrix Languages / Paul C. Bell ; Vesa Halava ; Mika Hirvensalo
Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P / Jakub Chaloupka
Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata / Maurice Margenstern
Rewriting Systems for Reachability in Vector Addition Systems with Pairs / Paulin Jacobé de Naurois ; Virgile Mogbil
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions / Martin Mundhenk ; Felix Wei?
Depth Boundedness in Multiset Rewriting Systems with Name Binding / Fernando Rosa-Velardo
Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA / Zdenek Sawa
Efficient Graph Reachability Query Answering Using Tree Decomposition / Fang Wei
Author Index
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata (Invited Talk) / Markus Holzer ; Martin Kutrib
Symbolic and Compositional Reachability for Timed Automata (Invited Talk) / Kim Guldstrand Larsen
Temporal Logics over Linear Time Domains Are in PSPACE (Invited Talk) / Alexander Rabinovich
45.

電子ブック
ＥＢ
45. Combinatorial Algorithms
Costas S. Iliopoulos, Takeo Kanade, William F. Smyth, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Parameterized algorithams for the independent set problem in some hereditary graph classes / Konrad Dabrowski ; Vadim Lozin ; Haiko Müller ; Dieter Routenbach
On the maximal Sum of Exponents of Runs in a String / Maxime Crochemore ; Marcin Kubica ; Jakub Radoszewski ; Wojciech Rytter ; Tomasz Walen
Path-Based Supports for Hypergraphs / Ulrik Brandes ; Sabine Cornelsen ; Barbara Pampel ; Arnaud Sallaberry
On Improved Exact Algorithms for L(2, 1)-Labeling of Graphs / Konstanty Junosza-Szaniawski ; Pawel Rz&acedil;zewski
Thread graphs, linear Rank-Width and Their Algorithmic Applications / Robert Ganian
Minimum Number of Holes in Unavoidable Sets of Partial Words of Size Three / Francine Blanchet-Sadri ; Bob Chen ; Aleksandar Chakarav
Shortest paths between shortest paths and independent sets / Marcin Kaninski ; Paul Medvedev ; Martin Milanič
Faster Bit-Parrallel Algorithams for Unordered Pseudo-tree Matching and Tree Homeomorphism / Yusaku kaneta ; Hiroki Arimura
Dichotomy for coloring of dart graphs / Martin Kochol ; Riste ˇSkrekovski
Worst case efficient single and multiple string matching in the RAM model / Djamal Belazzougui
The (2,1)-Total Labelimg Number of Outerplanar Graphs is at most Δ + 2 / Toru Hasunuma ; Toshimasa Ishn ; Hirotaka Ona ; Yushi Uno
Upper and lower I/O Bounds for Pebbling r-pyramids / Desh Ranjan ; John Savage ; Mohammad Zubair
Single Parameter FPT-Algorithms for Non-trivial Games / Vladimir Estimil-Castro ; Mahdi Parsa ; 121
The Complexity Status of Problems Related to Sparsest Cuts / Paul Bonsma ; Hajo Broersma ; Viresh Patel ; Artem Pyatkin
On Approximation Complexity of Metric Dimension Problem / Mathias Hauptmann ; Richard Schmied ; Claus Viehmann
Collision-Free Routing in Sink-Centric Sensor Networks with Coarse-Grain Coordinates / Alfredo Navarra ; Cristina M. Pinotti
Complexity of Most Vital Nodes for Independent Set in Graphs Related to Tree Structures / Cristina Bazgan ; Sonia Toubaline ; Zsolt Tuza
Computing Role Assignments of Proper Interval Graphs in Polynomial Time / Pinar Heggernes ; Pim van 't Hof ; Daniel Paulusma
Efficient Connectivity Testing of Hypercubic Networks with Faults / Tomáš Dvorák ; Jirí Fink ; Petr Gregor ; Václav Koubek ; Tomasz Radrik
Reductions of Matrices Associated with Nowhere-Zero flows / Nad'a Krivonáková ; Silvia Smejová ; Katarína Šranková
Blocks of Hypergraphs: Applied to Hypergraphs and Outerplanarity / Arnaud sallaberry
Testing the Simultaneous Embeddability of Two Graphs Whose intersection Is a Biconnected Graph or a Tree / Patrizio Angelini ; Giuseppe Di Battista ; Fabrizio Frati ; Maurizio Patrignani ; Ignaz Rutter
Skip Lift: A Probabilistic Alternative to Red-Black Trees / Prosenjit Bose ; Karim Douïeb Douieb ; Pat Morin
On a relationship between Completely Separating Systems and Antimagic labeling of Regular Graphs / Oudone Phanalasy ; Mirka Miller ; Leanne Rylands ; Paulette Lieby
Parameterized Complexity of k-Anonymity: Hardness and Tractability / Paola Bonizzoni ; Gianluca Della Vedova ; Riccardo Dondi ; Yuri Pirola
On fast Enummeration of Pseudo Bicliques / Zareen Alamgir ; Saira Karim ; Syed Husnine
Efficient Chaining of seeds in Ordered Trees / Julien Allali ; Cedric Chauue ; Pascal Ferraro ; Anne-Laure Gaillard
On the Computational Complexity of Degenerate Unit Distance Representations of Graphs / Boris Horvat ; Jan Kratochvíl ; Tomož Pisanski
Recognition of Probe Ptolemaic Graphs(Ectended Abstract) / Maw-Shang Chang ; Ling-Ju Hung
Graphs of Separability at Most Two: Structural Characterizations and Their Consequences / Ferdinando Cicalese
On Antimagic Labing for Generalized Web and Flower Graphs / Joe Ryan
Chains-into-Bins processes / Tugkan Batu ; Petra Berenbrink ; Colin Cooper
Complexity of Locality Injective Homomorphism to the Theta Graphs / Bernard Lidický ; Marek Tesar
Ranking and Drawing in Suberponential Time / Henning Fernau ; Fedor V. Fomin ; Daniel Lokshtanon ; Matthias Mnich ; Geevarghese Philip ; Saket Saurabh
Efficient Reconstruction of RC-Equivalent strings / Péter L. Erdos ; Zsuzsanna Lipták
Improved Points Approximation Algorithms Based on Simplical Thickness Data Structures / Danny Z. Chen ; Haitao Wang
The Cover Time of Cartesian Product Graphs / Mohammed Abdullah ; Tomasz Radzik
Dictionary-Symbolwise Flexible Parsing / Laura Giambruno ; Alessio Langiu ; Filippo Mignosi ; Antonio Restivo
Regular Language Constrained Sequence Alignment Eevisited / Gregory Kucherov ; Tomar Pinhas ; Michal Ziv-Ukelson
Author index
Parameterized algorithams for the independent set problem in some hereditary graph classes / Konrad Dabrowski ; Vadim Lozin ; Haiko Müller ; Dieter Routenbach
On the maximal Sum of Exponents of Runs in a String / Maxime Crochemore ; Marcin Kubica ; Jakub Radoszewski ; Wojciech Rytter ; Tomasz Walen
Path-Based Supports for Hypergraphs / Ulrik Brandes ; Sabine Cornelsen ; Barbara Pampel ; Arnaud Sallaberry
46.

電子ブック
ＥＢ
46. Self-Organizing Systems
Hermann Meer, Takeo Kanade, James P. G. Sterbenz, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Program / I：
Keynote
Making Self-organizing Systems Secure / Robbert van Renesse
Panel
Self-organising Networks: Panacea or Pandora's Box? / James P.G. Sterbenz
Full Papers / II：
Dynamics of Structured and Unstructured Overlays
The Challenges of Merging Two Similar Structured Overlays: A Tale of Two Networks / Anwitaman Datta ; Karl Aberer
Self-protection in P2P Networks: Choosing the Right Neighbourhood / Ivan Martinovic ; Christof Leng ; Frank A. Zdarsky ; Andreas Mauthe ; Ralf Steinmetz ; Jens B. Schmitt
Self-organization in Peer-to-Peer Networks
Modelling the Population Dynamics and the File Availability in a BitTorrent-Like P2P System with Decreasing Peer Arrival Rate / Riikka Susitaival ; Samuli Aalto
Combining Virtual and Physical Structures for Self-organized Routing / Thomas Fuhrmann
Optimizing Locality for Self-organizing Context-Based Systems / Mirko Knoll ; Torben Weis
Self-organization in Wireless Environments
Randomized Self-stabilizing Algorithms for Wireless Sensor Networks / Volker Turau ; Christoph Weyer
The Case for Virtualized Wireless Access Networks
Self-organization in Distributed and GRID Computing
Job Scheduling for Maximal Throughput in Autonomic Computing Systems / Kevin Ross ; Nicholas Bambos
Investigating Global Behavior in Computing Grids / Kevin L. Mills ; Christopher Dabrowski
Using Decentralized Clustering for Task Allocation in Networks with Reconfigurable Helper Units / Daniel Merkle ; Martin Middendorf ; Alexander Scheidler
Self-organization for Network Management and Routing
Self-tuned Refresh Rate in a Swarm Intelligence Path Management System / Poul E. Heegaard ; Otto J. Wittner
Cross-Layer Approach to Detect Data Packet Droppers in Mobile Ad-Hoc Networksz / Djamel Djenouri ; Nadjib Badache
On-Demand Distributed Energy-Aware Routing with Limited Route Length / Cheolgi Kim ; Kisoo Chang ; Joongsoo Ma
Self-managing and Autonomic Computing
Automatic Data Locality Optimization Through Self-optimization / Rainer Buchty ; Jie Tao ; Wolfgang Karl
A Bio-inspired Approach for Self-protecting an Organic Middleware with Artificial Antibodies / Andreas Pietzowski ; Benjamin Satzger ; Wolfgang Trumler ; Theo Ungerer
Autonomic Management of Edge Servers / Mikael Desertot ; Clement Escoffier ; Philippe Lalanda ; Didier Donsez
Short Papers / III：
Ubiquitous Zone Networking Technologies for Multi-hop Based Wireless Communications / Namhi Kang ; Ilkyun Park ; Younghan Kim
Proposal for Self-organizing Information Distribution in Peer-to-Peer Networks / Arne Handt
Autonomic Security for Home Networks / Mohamad Aljnidi, Jean Leneutre
Hovering Data Clouds: A Decentralized and Self-organizing Information System / Axel Wegener ; Elad M. Schiller ; Horst Hellbruck ; Sandor P. Fekete ; Stefan Fischer
Defending Grids Against Intrusions / Alexandre Schulter ; Kleber Vieira ; Carlos Becker Westphall ; Carla Westphall
ORCA - Towards an Organic Robotic Control Architecture / Florian Mosch ; Marek Litza ; Adam El Sayed Auf ; Erik Maehle ; Karl E. Grosspietsch ; Werner Brockmann
Posters / IV：
Active Element Network with P2P Control Plane / Michal Prochazka ; Petr Holub ; Eva HladkaRouting
A Monitoring Infrastructure for the Digital on-demand Computing Organism (DodOrg)
Autonomic Network Management for Wireless Mesh and Manets / shafique Ahmad Chaudhry ; Ali Hammad Akbar ; Faisal Siddiqui ; Ki-Hyung Kim
Author Index
Invited Program / I：
Keynote
Making Self-organizing Systems Secure / Robbert van Renesse
47.

電子ブック
ＥＢ
47. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation
René Leuken, Takeo Kanade, Gilles Sicard, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Design Flows / Session 1：
A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC / Tanguy Sassolas ; Nicolas Ventroux ; Nassima Boudouani ; Guillaume Blanc
An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software / Christian Bachmann ; Andreas Genser ; Christian Steger ; Reinhold Wei? ; Josef Haid
System Level Power Estimation of System-on-Chip Interconnects in Consideration of Transition Activity and Crosstalk / Martin Gag ; Tim Wegner ; Dirk Timmermann
Residue Arithmetic for Designing Low-Power Multiply-Add Units / Ioannis Kouretas ; Vassilis Paliouras
Circuit Techniques 1 / Session 2：
An On-chip Flip-Flop Characterization Circuit / Abhishek Jain ; Andrea Veggetti ; Dennis Crippa ; Pierluigi Rolandi
A Low-Voltage Log-Domain Integrator Using MOSFET in Weak Inversion / Lida Ramezani
Physical Design Aware Comparison of Flip-Flops for High-Speed Energy-Efficient VLSI Circuits / Massimo Alioto ; Elio Consoli ; Gaetano Palumbo
A Temperature-Aware Time-Dependent Dielectric Breakdown Analysis Framework / Dimitris Bekiaris ; Antonis Papanikolaou ; Christos Papameletis ; Dimitrios Soudris ; George Economakos ; Kiamal Pekmestzi
Low Power Circuits / Session 3：
An Efficient Low Power Multiple-Value Look-Up Table Targeting Quaternary FPGAs / Cristiano Lazzari ; Jorge Fernandas ; Paulo Flores ; José Monteiro
On Line Power Optimization of Data Flow Multi-core Architecture Based on Vdd-Hopping for Local DVFS / Pascal Vivet ; Edith Beigne ; Hugo Labreton ; Nacer-Eddine Zergainoh
Self-Timed SRAM for Energy Harvesting Systems / Abdullah Baz ; Delong Shang ; Fei Xia ; Alex Yakovlev
L1 Data Cache Power Reduction Using a Forwarding Predictor / P. Carazo ; R. Apolloni ; F. Castro ; D. Chaver ; L. Pinuel ; F. Tirado
Self-Timed Circuits / Session 4：
Statistical Leakage Power Optimization of Asynchronous Circuits Considering Process Variations / Mohsen Raji ; Alireza Tajary ; Behnam Ghavami ; Hossein Pedram ; Hamid R. Zarandi
Optimizing and Comparing CMOS Implementations of the C-Element in 65nm Technology: Self-Timed Ring Case / Oussama Elissati ; Eslam Yahya ; Sébastien Rieubon ; Laurent Fesquet
Hermes-A - An Asynchronous NoC Router with Distributed Routing / Julian Pontes ; Matheus Moreira ; Fernando Moraes ; Ney Galazans
Practical and Theoretical Considerations on Low-Power Probability-Codes for Networks-on-Chip / Alberto Garcia-Ortiz ; Leandro S. Indrusiak
Process Variation / Session 5：
Impact of Process Variations on Pulsed Flip-Flops: Yield Improving Circuit-Level Techniques and Comparative Analysis / Bahman Kheradmand-Boroujeni ; Christian Piguet ; Yusuf Leblebici ; Marco Lanuzza ; Raffaele De Rose ; Fabio Frustaci ; Stefania Perri ; Pasquale Corsonello
Transistor-Level Gate Modeling for Nano CMOS Circuit Verification Considering Statistical Process Variations / Qin Tang ; Amir Zjajo ; Michel Berkelaar ; Nick van der Meijs
White-Box Current Source Modeling Including Parameter Variation and Its Application in Timing Simulation / Christoph Knoth ; Irina Eichwald ; Petra Nordholz ; Ulf Schlichtmann
Circuit Techniques 2 / Session 6：
Controlled-Precision Pure-Digital Square-Wave Frequency Synthesizer / Abdelkrim Kamel Oudjida ; Ahmed Liacha ; Mohamed Lamine Berrandjia ; Rachid Tiar
An All-Digital Phase-Locked Loop with High Resolution for Local On-Chip Clock Synthesis / Oliver Schrape ; Frank Winkler ; Steffen Zeidler ; Markus Petri ; Eckhard Grass ; Ulrich Jagdhold
Clock Network Synthesis with Concurrent Gate Insertion / Jingwei Lu ; Wing-Kai Chow ; Chiu-Wing Sham
Modeling Time Domain Magnetic Emissions of ICs / Victor Lomné ; Philippe Maurine ; Lionel Torres ; Thomas Ordas ; Mathieu Lisart ; Jérome Toublanc
High-Level Modeling of Power-Aware Heterogeneous Designs in System C-AMS (Abstracts) / Special Session 1：
Power Profiling of Embedded Analog/Mixed-Signal Systems / Jan Haase ; Christoph Grimm
Open-People: Open Power and Energy Optimization PLatform and Estimator / Daniel Chillet
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS / François Pêcheux ; Khouloud Zine El Abidine ; Alain Greiner
Minalogic (Abstracts) / Special Session 2：
ASTEC: Asynchronous Technology for Low Power and Secured Embedded Systems / Pr. Marc Renaudin
OPENTLM and SOCKET: Creating an Open EcoSystem for Virtual Prototyping of Complex SOCs / Laurent Maillet-Contoz
Keynotes (Abstracts)
Variability-Conscious Circuit Designs for Low-Voltage Memory-Rich Nano-Scale CMOS LSIs / Kiyoo Itoh
3D Integration for Digital and Imagers Circuits: Opportunities and Challenges / Marc Belleville
Signing off Industrial Designs on Evolving Technologies / Sébastien Marchal
Author Index
Design Flows / Session 1：
A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC / Tanguy Sassolas ; Nicolas Ventroux ; Nassima Boudouani ; Guillaume Blanc
An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software / Christian Bachmann ; Andreas Genser ; Christian Steger ; Reinhold Wei? ; Josef Haid
48.

電子ブック
ＥＢ
48. Current Trends in Web Engineering
David Hutchison, Takeo Kanade, Josef Kittler, Nora Koch
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
Task-Based Recommendation of Mashup Components / Vincent Tietz ; Gregor Blichmann ; Stefan Pietschmann ; Klaus Meiβner
Integration of Telco Services into Enterprise Mashup Applications / Olexiy Chudnovskyy ; Frank Weinhold ; Hendrik Gebhardt ; Martin Gaedke
Orchestrated User Interface Mashups Using W3C Widgets / Scott Wilson ; Florian Daniel ; Uwe Jugel ; Stefano Soi
Cross-Domain Embedding for Vaadin Applications / Janne Lautamäki ; Tommi Mikkonen
Web Linking-Based Protocols for Guiding RESTful M2M Interaction / Jesus Bellido ; Rosa Alarcon ; Cristian Sepulveda
Batched Transactions for RESTful Web Services / Sebastian Kochman ; Pawel T. Wojciechowski ; Milosz Kmieciak
Secure Mashup-Providing Platforms - Implementing Encrypted Wiring / Matthias Herbert ; Tobias Thieme ; Jan Zibuschka ; Heiko Roβnagel
First International Workshop on Search, Exploration and Navigation of Web Data Sources (Explore Web 2011)
A Conceptual Framework for Linked Data Exploration / Alessandro Bozzon ; Marco Brambilla ; Emanuele Della Valle ; Piero Fraternali ; Chiara Pasini
Support for Reusable Explorations of Linked Data in the Semantic Web / Marcelo Cohen ; Daniel Schwabe
Generation of Semantic Clouds Based on Linked Data for Efficient Multimedia Semantic Annotation / Han-Gyu Ko ; In-Young Ko
Ontology Based Segmentation of Geo-Referenced Queries / Mamoun Abu Helou
SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud / Frederico Durao ; Peter Dolog ; Martin Leginus ; Ricardo Lage
Graph Access Pattern Diagrams (GAP-D): Towards a Unified Approach for Modeling Navigation over Hierarchical, Linear and Networked Structures / Matthias Keller ; Martin Nussbaumer
Data-Driven and User-Driven Multidimensional Data Visualization / Rober Morales-Chaparro ; Juan C. Preciado ; Fernando Sánchez-Figueroa
Second International Workshop on Enterprise Crowdsourcing (EC 2011)
Context-Aware and Adaptive Web Interfaces: A Crowdsourcing Approach / Michael Nebeling ; Moira C. Norrie
Massive Multiplayer Human Computation for Fun, Money, and Survival / Lukas Biewald
Enterprise Crowdsourcing Solution for Software Development in an Outsourcing Organization / Ranganathan Jayakanthan ; Deepak Sundararajan
Seventh Model-Driven Web Engineering Workshop (MDWE 2011)
A Model-Driven Framework for Developing Web Service Oriented Applications / Achilleas Achilleos ; Georgia M. Kapitsaki ; George A. Papadopoulos
Developing Enterprise Web Applications Using the Story Driven Modeling Approach / Christoph Eickhoff ; Nina Geiger ; Marcel Hahn ; Albert Zündorf
Aspect-Oriented Modeling of Web Applications with HiLA / Gefei Zhang ; Matthias Hölzl
Model-Driven Web Form Validation with UML and OCL / Ebon Escott ; Paul Strooper ; Paul King ; Ian J. Hayes
Modernization of Legacy Web Applications into Rich Internet Applications / Roberto Rodríguez-Echeverría ; José María Conejero ; Pedro J. Clemente
Second International Workshop on Quality in Web Engineering (QWE 2011)
Quality Models for Web [2.0] Sites: A Methodological Approach and a Proposal / Roberto Polillo
Exploring the Quality in Use of Web 2.0 Applications: The Case of Mind Mapping Services / Tihomir Orehovacki ; Andrina Granic ; Dragutin Kermek
Second Workshop on the Web and Requirements Engineering (WeRE 2011)
Detecting Conflicts and Inconsistencies in Web Application Requirements / Matias Urbieta ; Maria Jose Escalona ; Esteban Robles Luna ; Gustavo Rossi
Streamlining Complexity: Conceptual Page Re-modeling for Rich Internet Applications / Andrea Pandurino ; Davide Bolchini ; Luca Mainetti ; Roberto Paiano
Doctoral Symposium 2011
A Flexible Graph-Based Data Model Supporting Incremental Schema Design and Evolution / Katrin Braunschweig ; Maik Thiele ; Wolfgang Lehner
ProLD: Propagate Linked Data / Peter Kalchgruber
Causal Relation Detection for Activities from Heterogeneous Sources / Philipp Katz ; Alexander Schill
XML Document Versioning, Revalidation and Constraints / Jakub Malý ; Martin Necaský
A Reuse-Oriented Product-Line Method for Enterprise Web Applications / Neil Mather ; Samia Oussena
A Flexible Architecture for Client-Side Adaptation / Sergio Firmenich ; Silvia Gordillo ; Marco Winckler
Applications of Mobile Application Interface Description Language MAIDL / Prach Chaisatien ; Korawit Prutsachainimmit ; Takehiro Tokuda
A Domain-Specific Language for Do-It-Yourself Analytical Mashups / Julian Eberius
Information Extraction from Web Pages Based on Their Visual Representation / Ruslan R. Fayzrakhmanov
End-User Programming for Web Mashups: Open Research Challenges
ICWE 2011 Tutorials
Multi-dimensional Context-Aware Adaptation for Web Applications / Vivian Genaro Motti ; Jean Vanderdonckt
Engineering the Personal Social Semantic Web / Fabian Abel ; Geert-Jan Houben
Automating the Use of Web APIs through Lightweight Semantics / Guillermo Alvaro
Improving Quality in Use of Web Applications in a Systematic Way / Philip Lew ; Luis Olsina
Author Index
Third International Workshop on Lightweight Composition on the Web (ComposableWeb 2011)
An Evaluation of Mashup Tools Based on Support for Heterogeneous Mashup Components / Saeed Aghaee ; Cesare Pautasso
An Approach to Construct Dynamic Service Mashups Using Lightweight Semantics / Dong Liu ; Ning Li ; Carlos Pedrinaci ; Jacek Kopecký ; Maria Maleshkova ; John Domingue
49.

電子ブック
ＥＢ
49. Distributed Computing
Nancy A. Lynch, Takeo Kanade, Alexander A. Shvartsman, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The 2010 Edsger W. Dijkstra Prize in Distributed Computing
Consensus (Session la) / Invited Lecture I：
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov
Fast Asynchronous Consensus with Optimal Resilience / Ittai Abraham ; Marcos K. Aguilera ; Dahlia Malkhi
Transactions (Session lb)
Transactions as the Foundation of a Memory Consistency Model / Luke Dalessandro ; Michael L. Scott ; Michael F. Spear
The Cost of Privatization / Hagit Attiya ; Eshcar Hillel
A Scalable Lock-Free Universal Construction with Best Effort Transactional Hardware / Francois Carouge ; Michael Spear
Window-Based Greedy Contention Management for Transactional Memory / Gokarna Sharma ; Brett Estrade ; Costas Busch
Shared Memory Services and Concurrency (Session 1c)
Scalable Flat-Combining Based Synchronous Queues / Danny Hendler ; Itai Incze ; Nir Shavit ; Moran Tzafrir
Fast Randomized Test-and-Set and Renaming / Dan Alistarh ; Seth Gilbert ; Andrei Giurgiu ; Rachid Guerraoui
Concurrent Computing and Shellable Complexes / Maurice Herlihy ; Sergio Rajsbaum
(Session 1d) / Brief Announcements I：
Hybrid Time-Based Transactional Memory / Pascal Felber ; Christof Fetzer ; Patrick Marlier ; Martin Nowack ; Torvald Riegel
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency / Yehuda Afek ; Guy Korland ; Eitan Yanovsky
Fast Local-Spin Abortable Mutual Exclusion with Bounded Space / Hyonho Lee
Wireless Networks (Session 1e)
What Is the Use of Collision Detection (in Wireless Networks)? / Johannes Schneider ; Roger Wattenhofer
Deploying Wireless Networks with Beeps / Alejandro Cornejo ; Fabian Kuhn
Distributed Contention Resolution in Wireless Networks / Thomas Kesselheim ; Berthold Vöcking
A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks / Andrea Richa ; Christian Scheideler ; Stefan Schmid ; Jin Zhang
(Session 1f) / Brief Announcements II：
Simple Gradecast Based Algorithms / Michael Ben-Or ; Danny Dolev ; Ezra N. Hoch
Decentralized Network Bandwidth Prediction / Sukhyun Song ; Pete Keleher ; Bobby Bhattacharjee ; Alan Sussman
Synchronous Las Vegas URMT Iff Asynchronous Monte Carlo URMT / Abhinav Mehta ; Shashank Agrawal ; Kannan Srinathan
Best Student Paper (Session 2a) / Invited Lecture II：
Foundations of Speculative Distributed Computing (Invited Lecture Extended Abstract)
Anonymous Asynchronous Systems: The Case of Failure Detectors / François Bonnet ; Michel Raynal
Consensus and Leader Election (Session 2b)
The Computational Structure of Progress Conditions / Gadi Taubenfeld
Scalable Quantum Consensus for Crash Failures / Bogdan S. Chlebus ; Dariusz R. Kowalski ; Michal Strojnowski
How Much Memory Is Needed for Leader Election / Emanuele G. Fusco ; Andrzej Pelc
Leader Election Problem versus Pattern Formation Problem / Yoann Dieudonné ; Franck Petit ; Vincent Villain
Mobile Agents (Session 2c)
Rendezvous of Mobile Agents in Directed Graphs / Jérémie Chalopin ; Shantanu Das ; Peter Widmayer
Almost Optimal Asynchronous Rendezvous in Infinite Multidimensional Grids / Evangelos Bampas ; Jurek Czyzowicz ; Leszek Gasieniec ; David Ilcinkas ; Arnaud Labourel
Exclusive Perpetual Ring Exploration without Chirality / Lélia Blin ; Alessia Milani ; Maria Potop-Butucaru ; Sébastien Tixeuil
Drawing Maps with Advice / Dariusz Dereniowski
Wireless Networks (Session 3a) / Invited Lecture III：
Network-Aware Distributed Algorithms: Challenges and Opportunities in Wireless Networks (Invited Lecture Summary) / Nitin Vaidya
Connectivity Problem in Wireless Networks / Mariusz A. Rokicki
Computing in Wireless and Mobile Networks (Session 3b)
Trusted Computing for Fault-Prone Wireless Networks
Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony / Antonio Fernández Anta ; Miguel A. Mosteiro ; Shmuel Zaks
Brief Announcements III (Session 3c)
Failure Detectors Encapsulate Fairness / Scott M. Pike ; Srikanth Sastry ; Jennifer L. Welch
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study / Francesco Alberti ; Silvio Ghilardi ; Elena Pagani ; Silvio Ranise ; Gian Paolo Rossi
On Reversible and Irreversible Conversions / Mitre C. Dourado ; Lucia Draque Penso ; Dieter Rautenbach ; Jayme L. Szwarcfiter
A Decentralized Algorithm for Distributed Trigger Counting / Venkatesan T. Chakaravarthy ; Anamitra R. Choudhury ; Vijay K. Garg ; Yogish Sabharwal
Flash-Log - A High Throughput Log / Mahesh Balakrishnan ; Philip A. Bernstein ; Vijayan Prabhakaran ; Colin Reid
New Bounds for Partially Synchronous Set Agreement / Corentin Travers
Modeling Issues and Adversity (Session 3d)
It's on Me! The Benefit of Altruism in BAR Environments / Edmund L. Wong ; Joshua B. Leners ; Lorenzo Alvisi
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems / Ido Ben-Zvi ; Yoram Moses
On the Power of Non-spoofing Adversaries / H.B. Acharya ; Mohamed Gouda
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Self-stabilizing and Graph Algortihms (Session 3e)
Low Communication Self-stabilization through Randomization / Shay Kutten ; Dmitry Zinenko
Fast Self-stabilizing Minimum Spanning Tree Construction: Using Compact Nearest Common Ancestor Labeling Scheme / Shlomi Dolev ; Maria Gradinariu Potop-Butucaru ; Stephane Rovedakis
The Impact of Topology on Byzantine Containment in Stabilization / Swan Dubois ; Toshimitsu Masuzawa
Minimum Dominating Set Approximation in Graphs of Bounded Arboricity / Christoph Lenzen
Brief Announcements IV (Session 3f)
Sharing Memory in a Self-stabilizing Manner / Noga Alon ; Maria Gradinariu
Stabilizing Consensus with the Power of Two Choices / Benjamin Doerr ; Leslie Ann Goldberg ; Lorenz Minder ; Thomas Sauerwald
Author Index
The 2010 Edsger W. Dijkstra Prize in Distributed Computing
Consensus (Session la) / Invited Lecture I：
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov
50.

電子ブック
ＥＢ
50. Computer Safety, Reliability, and Security
Erwin Schoitsch, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
System Analysis / Session 1：
Reliability Analysis of Safety-Related Communication Architectures / Oliver Schulz ; Jan Peleska
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children / Peter Böhm ; Thomas Gruber
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees / Carolina Gómez ; Peter Liggesmeyer ; Ariane Sutor
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams / Roberta Terruggia ; Andrea Bobbio
Safety Cases and Certification / Session 2：
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain / Jussi Lahtinen ; Mika Johansson ; Jukka Ranta ; Hannu Harju ; Risto Nevalainen
Deriving Safety Cases for Hierarchical Structure in Model-Based Development / Nurlida Basir ; Ewen Denney ; Bernd Fischer
Assurance of Automotive Safety - A Safety Case Approach / Robert Palin ; Ibrahim Habli
How to "Survive" a Safety Case According to ISO 26262 / Torsten Dittel ; Hans-Jörg Aryus
Aerospace / Session 3：
Benchmarking Software Requirements Documentation for Space Application / Paulo C. Véras ; Emilia Villani ; Ana Maria Ambrósio ; Rodrigo P. Pontes ; Marco Vieira ; Henrique Madeira
Verifying Mode Consistency for On-Board Satellite Software / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky ; Kimmo Varpaaniemi ; Pauli Väisänen ; Dubravka Ilic ; Timo Latvala
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace / Christopher W. Johnson
Error Detection / Session 4：
Residual Error Probability of Embedded CRC by Stochastic Automata / Frank Schiller ; Tina Mattes
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software / Ute Schiffel ; André Schmitt ; Martin Sü?kraut ; Christof Fetzer
Validation and Verification / Session 5：
Field Test Methods for a Co-operative Integrated Traffic Management System / Egbert Althammer ; Erwin Schoitsch
100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis / Daniel Kästner ; Reinhold Heckmann ; Christian Ferdinand
MODIFI: A MODel-Implemented Fault Injection Tool / Richard Svenningsson ; Jonny Vinter ; Henrik Eriksson ; Martin Törngren
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram / Eunkyoung Jee ; Suin Kim ; Sungdeok Cha ; Insup Lee
Testing / Session 6：
Overcoming Non-determinism in Testing Smart Devices: A Case Study / Peter Bishop ; Lukasz Cyra
Software Testing by People with Autism / Suzanne Haanappel ; Sjaak Brinkkemper
Critical Infrastructure - Smart Grid / Session 7：
Information Flow Analysis of Energy Management in a Smart Grid / Ravi Akella ; Bruce M. McMillin
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid / Ayman Faza ; Sahra Sedigh ; Bruce McMillin
A Metrics for Measuring the Strength of Inter-dependencies / Silvia Ruzzante ; Elisa Castorini ; Elena Marchei ; Vincenzo Fioriti
Security and Safety / Session 8：
Security Analysis of Open Building Automation Systems / Wolfgang Granzer ; Wolfgang Kastner
A UML Profile for Requirements Analysis of Dependable Software / Denis Hatebur ; Maritta Heisel
Safety Engineering (1) / Session 9：
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 / Anders Sandberg ; DeJiu Chen ; Henrik Lönn ; Rolf Johansson ; Lei Feng ; Sandra Torchiaro ; Ramin Tavakoli-Kolagari ; Andreas Abele
Experiences in Applying Formal Verification in Robotics / Dennis Walter ; Holger Täubig ; Christoph Lüth
Evolving a Safe System Design Iteratively / Alexandre Mota ; Joabe Jesus ; Adriano Gomes ; Felipe Ferri ; Edson Watanabe
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems / Kostas Tourlas ; Nick Chozos
Safety Engineering (2) / Session 10：
Development of High-Integrity Software Product Lines Using Model Transformation / Stuart Hutchesson ; John McDermid
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications / Stefan Raue
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs / Thomas Novak ; Christoph Stoegerer
INDEXYS, a Logical Step beyond GENESYS: INDustrial EXploitation of the genesYS cross-domain architecture / Andreas Eckel ; Paul Milbredt ; Zaid Al-Ars ; Stefan Schneele ; Bart Vermeulen ; György Csertán ; Christoph Scheerer ; Neeraj Suri ; Abdelmajid Khelil ; Gerhard Fohler ; Roman Obermaisser ; Christian Fidi
System Modelling and Fault Tolerance / Session 11：
Integrating System Modelling with Safety Activities / Bernhard Kaiser ; Vanessa Klaas ; Stefan Schulz ; Christian Herbst ; Peter Lascych
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead / Ruben Alexandersson ; Peter Öhman ; Johan Karlsson
Invited Talks (Keynote Abstracts)
System of Systems Challenges / Hermann Kopetz
Murphy Was an Optimist / Kevin R. Driscoll
Process Control Security: Go Dutch! (United, Shared, Lean and Mean) / Eric Luiijf
Author Index
System Analysis / Session 1：
Reliability Analysis of Safety-Related Communication Architectures / Oliver Schulz ; Jan Peleska
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children / Peter Böhm ; Thomas Gruber
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼