close
1.

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

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

電子ブック
ＥＢ
3. Data Management in Cloud, Grid and P2P Systems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Data Management in Cloud, Grid and P2P Systems
David Hutchison, Takeo Kanade, Farookh Khadeer Hussain, Franck Morvan, A. Min Tjoa
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Research in Cryptology
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , 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
6.

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

電子ブック
ＥＢ
7. Rapid Integration of Software Engineering Techniques
Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek
Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini
Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti
Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral
Invited Paper
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg
Author Index
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
8.

電子ブック
ＥＢ
8. Rapid Integration of Software Engineering Techniques
Nicolas Guelfi, Didier Buchs, David Hutchison, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain / Massimo Felici
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture / Mario Anzures-Garcia ; Miguel J. Hornos ; Patricia Paderewski-Rodriguez
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS / Marc-Elian Begin ; Guillermo Diez-Andino Sancho ; Alberto Di Meglio ; Enrico Ferro ; Elisabetta Ronchieri ; Matteo Selmi ; Marian Zurek
Architectural Verification of Black-Box Component-Based Systems / Antonia Bertolino ; Henry Muccini ; Andrea Polini
Systematic Generation of XML Instances to Test Complex Software Applications / Jinghua Gao ; Eda Marchetti
Transformations of UML 2 Models Using Concrete Syntax Patterns / Markus Schmidt
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping / Matteo Risoldi ; Vasco Amaral
Invited Paper
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping / Adrien Coyette ; Jean Vanderdonckt ; Quentin Limbourg
Author Index
Graphical Composition of Grid Services / Kenneth J. Turner ; Koon Leai Larry Tan
A UML 2.0 Profile for Architecting B3G Applications / Mauro Caporuscio ; Valerie Issarny
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation / Giovanni Aiello ; Marco Alessi ; Massimo Cossentino ; Alfonso Urso ; Giuseppe Vella
9.

電子ブック
ＥＢ
9. Formal Methods for Components and Objects
David Hutchison, Frank S. de Boer, Takeo Kanade, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
David Hutchison, Guihai Chen, Takeo Kanade, Minyi Guo, Jian Lu, Yi Pan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Data Management in a Connected World
David Hutchison, Theo H?rder, Takeo Kanade, Wolfgang Lehner, Hartmut Wedekind
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Motivation and Modeling Issues / Part I：
Databases: The Integrative Force in Cyberspace / Andreas Reuter
Introduction / 1：
New Data Sources, New Usage Patterns / 2：
Technological Trends / 3：
The Shape of Future Database Systems / 4：
Conclusions / 5：
Federating Location-Based Data Services / Bernhard Mitschang ; Daniela Nicklas ; Matthias Grossmann ; Thomas Schwarz ; Nicola Hönle
On Location-Based Data
Classification of Data Services
Federation Issues
Nexus - A Service-Oriented Architecture
Conclusion / 6：
Acknowledgments / 7：
An Agent-Based Approach to Correctness in Databases / Herbert Stoyan ; Stefan Mandl ; Sebastian Schmidt ; Mario Vogel
The Problem, Preliminaries
The WW-Person Database
Means of Databases: Constraints and Triggers
An Agent-Based Approach
Prototypical Implementation
Infrastructural Services / Part II：
Thirty Years of Server Technology - From Transaction Processing to Web Services / Klaus Meyer-Wegener
Kinds of Servers
A General Server Concept
The Task
Server Implementation
Discussion of Server Architecture
Summary and Conclusion
Caching over the Entire User-to-Data Path in the Internet / Theo Härder
Motivation
The Client-to-Server Path
Web Caching
The User-to-Data Path
Constraint-Based Database Caching
Seamless Processing of Web Objects
Open Problems
Reweaving the Tapestry: Integrating Database and Messaging Systems in the Wake of New Middleware Technologies / Sangeeta Doraiswamy ; Mehmet Altinel ; Lakshmikant Shrinivas ; Stewart Palmer ; Francis Parr ; Berthold Reinwald ; C. Mohan
Advanced Messaging Systems - The Frontier Beyond Basic Queuing
What Can Databases Do for Advanced Messaging Systems?
A Survey of Database and Messaging System Integrations
An Integrated Database Messaging Prototype
Data Management Support for Notification Services / Wolfgang Lehner
General Architecture and Characteristics
Subscription Message Data Model
Subscription Processing Model
Search Support in Data Management Systems / Andreas Henrich
Processing Complex Similarity Queries
Processing Similarity Queries in P2P Networks
Application Design / Part III：
Toward Automated Large-Scale Information Integration and Discovery / Paul Brown ; Peter Haas ; Jussi Myllymaki ; Hamid Pirahesh ; Yannis Sismanis
A Next-Generation Integrated Database Management System
Automated Similarity Analysis
Identifying UBOs
Querying
Component-Based Application Architecture for Enterprise Information Systems / Erich Ortner
Components
Tools
Construction Methodology
Application Systems Architecture
Future Perspectives
Processes, Workflows, Web Service Flows: A Reconstruction / Stefan Jablonski
Application Integration
A General Model for Processes
Workflow Management - Revisited
Web Service Flows - Revisited
Comparison and Assessment
Pros and Cons of Distributed Workflow Execution Algorithms / Hans Schuster
Requirements on Distributed Workflow Execution
Approaches to Distributed Workflow Execution
Performance Analysis
Related Work
Business-to-Business Integration Technology / Christoph Bussler
Business Events
B2B Integration Technology Architecture
Database Support for B2B Integration Technology
Future Trends and Extended Database Technology
Application Scenarios / Part IV：
Information Dissemination in Modern Banking Applications / Peter Peinl ; Uta Störl
A Large Scale Real-Time System for FX Trading
Setting Up an Infrastructure for Efficient Retrieval of Unstructured Information
An Intermediate Information System Forms Mutual Trust / Dieter Steinbauer
The Credit Bureau - Benefits for the Credit Grantor and the Consumer
Data Base as Mutual Trust - The Principle of Reciprocity
Scoring - Risk Evaluation Based on the Common Data Base
Decision Support at Point of Sale
Integrated Scoring Systems
Automation of the Credit Transaction Process
Risk Evaluation and Risk Management of the Credit Stock / 8：
Perspective: "Glass Citizen" or "Mobile Trust" / 9：
Data Refinement in a Market Research Applications' Data Production Process / Thomas Ruf ; Thomas Kirsche
Data Production at GfK Marketing Services
Data Refinement in the Master Data System
Data Refinement in the Data Acquisition System
Data Refinement in the Analysis System
Data Refinement in the Reporting System
Summary and Outlook
Information Management in Distributed Healthcare Networks / Richard Lenz
Integrating Health Information Systems
Embedding Decision Support into the Healthcare Process
Evolutionary Information Systems in Healthcare
Infrastructure for Healthcare Networks
Data Managment for Engineering Applications / Hans-Peter Steiert
Applying Integration Technology in Engineering Domains
Enabling Agility in the Presence of Integration
Data Flow in Engineering Processes
List of Authors
Children - Grandchildren - Great-Grandchildren
Motivation and Modeling Issues / Part I：
Databases: The Integrative Force in Cyberspace / Andreas Reuter
Introduction / 1：
12.

電子ブック
ＥＢ
12. Data Management in a Connected World
David Hutchison, Theo Härder, Takeo Kanade, Wolfgang Lehner, Hartmut Wedekind
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Motivation and Modeling Issues / Part I：
Databases: The Integrative Force in Cyberspace / Andreas Reuter
Introduction / 1：
New Data Sources, New Usage Patterns / 2：
Technological Trends / 3：
The Shape of Future Database Systems / 4：
Conclusions / 5：
Federating Location-Based Data Services / Bernhard Mitschang ; Daniela Nicklas ; Matthias Grossmann ; Thomas Schwarz ; Nicola Hönle
On Location-Based Data
Classification of Data Services
Federation Issues
Nexus - A Service-Oriented Architecture
Conclusion / 6：
Acknowledgments / 7：
An Agent-Based Approach to Correctness in Databases / Herbert Stoyan ; Stefan Mandl ; Sebastian Schmidt ; Mario Vogel
The Problem, Preliminaries
The WW-Person Database
Means of Databases: Constraints and Triggers
An Agent-Based Approach
Prototypical Implementation
Infrastructural Services / Part II：
Thirty Years of Server Technology - From Transaction Processing to Web Services / Klaus Meyer-Wegener
Kinds of Servers
A General Server Concept
The Task
Server Implementation
Discussion of Server Architecture
Summary and Conclusion
Caching over the Entire User-to-Data Path in the Internet / Theo Härder
Motivation
The Client-to-Server Path
Web Caching
The User-to-Data Path
Constraint-Based Database Caching
Seamless Processing of Web Objects
Open Problems
Reweaving the Tapestry: Integrating Database and Messaging Systems in the Wake of New Middleware Technologies / Sangeeta Doraiswamy ; Mehmet Altinel ; Lakshmikant Shrinivas ; Stewart Palmer ; Francis Parr ; Berthold Reinwald ; C. Mohan
Advanced Messaging Systems - The Frontier Beyond Basic Queuing
What Can Databases Do for Advanced Messaging Systems?
A Survey of Database and Messaging System Integrations
An Integrated Database Messaging Prototype
Data Management Support for Notification Services / Wolfgang Lehner
General Architecture and Characteristics
Subscription Message Data Model
Subscription Processing Model
Search Support in Data Management Systems / Andreas Henrich
Processing Complex Similarity Queries
Processing Similarity Queries in P2P Networks
Application Design / Part III：
Toward Automated Large-Scale Information Integration and Discovery / Paul Brown ; Peter Haas ; Jussi Myllymaki ; Hamid Pirahesh ; Yannis Sismanis
A Next-Generation Integrated Database Management System
Automated Similarity Analysis
Identifying UBOs
Querying
Component-Based Application Architecture for Enterprise Information Systems / Erich Ortner
Components
Tools
Construction Methodology
Application Systems Architecture
Future Perspectives
Processes, Workflows, Web Service Flows: A Reconstruction / Stefan Jablonski
Application Integration
A General Model for Processes
Workflow Management - Revisited
Web Service Flows - Revisited
Comparison and Assessment
Pros and Cons of Distributed Workflow Execution Algorithms / Hans Schuster
Requirements on Distributed Workflow Execution
Approaches to Distributed Workflow Execution
Performance Analysis
Related Work
Business-to-Business Integration Technology / Christoph Bussler
Business Events
B2B Integration Technology Architecture
Database Support for B2B Integration Technology
Future Trends and Extended Database Technology
Application Scenarios / Part IV：
Information Dissemination in Modern Banking Applications / Peter Peinl ; Uta Störl
A Large Scale Real-Time System for FX Trading
Setting Up an Infrastructure for Efficient Retrieval of Unstructured Information
An Intermediate Information System Forms Mutual Trust / Dieter Steinbauer
The Credit Bureau - Benefits for the Credit Grantor and the Consumer
Data Base as Mutual Trust - The Principle of Reciprocity
Scoring - Risk Evaluation Based on the Common Data Base
Decision Support at Point of Sale
Integrated Scoring Systems
Automation of the Credit Transaction Process
Risk Evaluation and Risk Management of the Credit Stock / 8：
Perspective: "Glass Citizen" or "Mobile Trust" / 9：
Data Refinement in a Market Research Applications' Data Production Process / Thomas Ruf ; Thomas Kirsche
Data Production at GfK Marketing Services
Data Refinement in the Master Data System
Data Refinement in the Data Acquisition System
Data Refinement in the Analysis System
Data Refinement in the Reporting System
Summary and Outlook
Information Management in Distributed Healthcare Networks / Richard Lenz
Integrating Health Information Systems
Embedding Decision Support into the Healthcare Process
Evolutionary Information Systems in Healthcare
Infrastructure for Healthcare Networks
Data Managment for Engineering Applications / Hans-Peter Steiert
Applying Integration Technology in Engineering Domains
Enabling Agility in the Presence of Integration
Data Flow in Engineering Processes
List of Authors
Children - Grandchildren - Great-Grandchildren
Motivation and Modeling Issues / Part I：
Databases: The Integrative Force in Cyberspace / Andreas Reuter
Introduction / 1：
13.

電子ブック
ＥＢ
13. Formal Methods for Components and Objects
David Hutchison, Frank S. de Boer, Takeo Kanade, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Parallel and Distributed Processing and Applications - ISPA 2005 Workshops
David Hutchison, Guihai Chen, Takeo Kanade, Minyi Guo, Jian Lu, Yi Pan
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Parameterized and Exact Computation
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata
Contracting Graphs to Paths and Trees / Pinar Heggernes ; Pim van 't Hof ; Benjamin Lévêque ; Daniel Lokshtanov ; Christophe Paul
Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach ; Marcin Kaminski ; Daniël Paulusma ; Dimitrios M. Thilikos
Planar Disjoint-Paths Completion / Isolde Adler ; Stavros G. Kolliopoulos
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke
New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev
Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim ; Ryan Williams
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen ; Stefan Kratsch
Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender
On the Hardness of Losing Width / Saket Saurabh
Safe Approximation and Its Relation to Kernelization / Jiong Guo ; Iyad Kanj
Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup
Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern ; Sepp Hartung ; Frank Kammer ; Rolf Niedermeier ; Mathias Weller
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma ; Viresh Patel
Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold ; Sadia Sharmin ; Jan Arne Telle ; Martin Vatshelle
Parameterized Maximum Path Coloring / Michael Lampis
On Cutwidth Parameterized by Vertex Cover / Marcl Pilipczuk
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian
Author Index
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
16.

電子ブック
ＥＢ
16. Model-Based Testing of Reactive Systems
David Hutchison, M. Broy, Takeo Kanade, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
State Verification / Henrik Björklund3：
Conformance Testing / Angelo Gargantini4：
Testing of Labeled Transition Systems / Part II：
Preorder Relations / Stefan D. Bruda5：
Test Generation Algorithms Based on Preorder Relations / Valéry Tschaen6：
I/O-automata Based Testing / Machiel van der Bijl ; Fabien Peureux7：
Test Derivation from Timed Automata / Laura Brandán Briones ; Mathias Röhl8：
Testing Theory for Probabilistic Systems / Verena Wolf9：
Model-Based Test Case Generation / Part III：
Methodological Issues in Model-Based Testing / Alexander Pretschner ; Jan Philipps10：
Evaluating Coverage Based Testing / Christophe Gaston ; Dirk Seifert11：
Technology of Test-Case Generation / Levi Lúcio ; Marko Samer12：
Real-Time and Hybrid Systems Testing / Kirsten Berkenkötter ; Raimund Kirner13：
Tools and Case Studies / Part IV：
Tools for Test Case Generation / Axel Belinfante ; Lars Frantzen ; Christian Schallhart14：
Case Studies / Wolfgang Prenninger ; Mohammad El-Ramly ; Marc Horstmann15：
Standardized Test Notation and Execution Architecture / Part V：
TTCN-3 / George Din16：
UML 2.0 Testing Profile / Zhen Ru Dai17：
Beyond Testing / Part VI：
Run-Time Verification / Séverine Colin ; Leonardo Mariani18：
Model Checking / Therese Berg ; Harald Raffelt19：
Appendices / Part VII：
Model-Based Testing - A Glossary / Martin Leucker20：
Finite State Machines / Bengt Jonsson21：
Labelled Transition Systems / Joost-Pieter Katoen22：
Literature
Index
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
17.

電子ブック
ＥＢ
17. Parameterized and Exact Computation
David Hutchison, Takeo Kanade, Dániel Marx, Peter Rossmanith
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata
Contracting Graphs to Paths and Trees / Pinar Heggernes ; Pim van 't Hof ; Benjamin Lévêque ; Daniel Lokshtanov ; Christophe Paul
Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach ; Marcin Kaminski ; Daniël Paulusma ; Dimitrios M. Thilikos
Planar Disjoint-Paths Completion / Isolde Adler ; Stavros G. Kolliopoulos
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke
New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev
Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim ; Ryan Williams
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen ; Stefan Kratsch
Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender
On the Hardness of Losing Width / Saket Saurabh
Safe Approximation and Its Relation to Kernelization / Jiong Guo ; Iyad Kanj
Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup
Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern ; Sepp Hartung ; Frank Kammer ; Rolf Niedermeier ; Mathias Weller
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma ; Viresh Patel
Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold ; Sadia Sharmin ; Jan Arne Telle ; Martin Vatshelle
Parameterized Maximum Path Coloring / Michael Lampis
On Cutwidth Parameterized by Vertex Cover / Marcl Pilipczuk
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian
Author Index
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
18.

電子ブック
ＥＢ
18. Model-Based Testing of Reactive Systems
David Hutchison, M. Broy, Takeo Kanade, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
State Verification / Henrik Björklund3：
Conformance Testing / Angelo Gargantini4：
Testing of Labeled Transition Systems / Part II：
Preorder Relations / Stefan D. Bruda5：
Test Generation Algorithms Based on Preorder Relations / Valéry Tschaen6：
I/O-automata Based Testing / Machiel van der Bijl ; Fabien Peureux7：
Test Derivation from Timed Automata / Laura Brandán Briones ; Mathias Röhl8：
Testing Theory for Probabilistic Systems / Verena Wolf9：
Model-Based Test Case Generation / Part III：
Methodological Issues in Model-Based Testing / Alexander Pretschner ; Jan Philipps10：
Evaluating Coverage Based Testing / Christophe Gaston ; Dirk Seifert11：
Technology of Test-Case Generation / Levi Lúcio ; Marko Samer12：
Real-Time and Hybrid Systems Testing / Kirsten Berkenkötter ; Raimund Kirner13：
Tools and Case Studies / Part IV：
Tools for Test Case Generation / Axel Belinfante ; Lars Frantzen ; Christian Schallhart14：
Case Studies / Wolfgang Prenninger ; Mohammad El-Ramly ; Marc Horstmann15：
Standardized Test Notation and Execution Architecture / Part V：
TTCN-3 / George Din16：
UML 2.0 Testing Profile / Zhen Ru Dai17：
Beyond Testing / Part VI：
Run-Time Verification / Séverine Colin ; Leonardo Mariani18：
Model Checking / Therese Berg ; Harald Raffelt19：
Appendices / Part VII：
Model-Based Testing - A Glossary / Martin Leucker20：
Finite State Machines / Bengt Jonsson21：
Labelled Transition Systems / Joost-Pieter Katoen22：
Literature
Index
Testing of Finite State Machines / Part I：
Homing and Synchronizing Sequences / Sven Sandberg1：
State Identification / Moez Krichen2：
19.

電子ブック
ＥＢ
19. Reachability Problems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , 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
20.

電子ブック
ＥＢ
20. 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
21.

電子ブック
ＥＢ
21. Current Trends in Web Engineering
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , 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
22.

電子ブック
ＥＢ
22. Mathematical Foundations of Computer Science 2010
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
New Developments in Quantum Algorithms (Invited Talk) / Andris Ambainis
Persistent Homology under Non-uniform Error (Invited Talk) / Paul Bendich ; Herbert Edelsbrunner ; Michael Kerber ; Amit Patel
Information Complexity of Online Problems (Invited Talk) / Juraj Hromkovic ; Rastislav Královic ; Richard Královic
Algorithmic Lower Bounds for Problems on Decomposable Graphs (Abstract of Invited Talk) / Daniel Lokshtanov
Do We Really Understand the Crossing Numbers? (Invited Talk) / Bojan Mohar
Balanced Queries: Divide and Conquer / Dmitri Akatov ; Georg Gottlob
Slowly Synchronizing Automata and Digraphs / Dmitry Ananichev ; Vladimir Gusev ; Mikhail Volkov
Weights of Exact Threshold Functions / László Babai ; Kristoffer Arnsfelt Hansen ; Vladimir V. Podolskii ; Xiaoming Sun
Proof Systems and Transformation Games / Yoram Bachrach ; Michael Zuckerman ; Michael Wooldridge ; Jeffrey S. Rosenschein
Scheduling Real-Time Mixed-Criticality Jobs / Sanjoy K. Baruah ; Vincenzo Bonifaci ; Gianlorenzo D'Angelo ; Haohan Li ; Alberto Marchetti-Spaccamela ; Nicole Megow ; Leen Stougie
A DEXPTIME-Complete Dolev-Yao Theory with Distributive Encryption / A. Baskar ; R. Ramanujam ; S.P. Suresh
On Problem Kernels for Possible Winner Determination under the k-Approval Protocol / Nadja Betzler
Counting Minimum (s, t)-Cuts in Weighted Planar Graphs in Polynomial Time / Ivona Bezáková ; Adam J. Friedlander
Finding Best Swap Edges Minimizing the Routing Cost of a Spanning Tree / Davide Biló ; Luciano Gualà ; Guido Proietti
Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems / Davide Bilò
Distance Constraint Satisfaction Problems / Manuel Bodirsky ; Victor Dalmau ; Barnaby Martin ; Michael Pinsker
Faster Algorithms on Branch and Clique Decompositions / Hans L. Bodlaender ; Erik Jan van Leeuwen ; Johan M.M. van Rooij ; Martin Vatshelle
Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks / Beate Bollig
Robust Computations with Dynamical Systems / Olivier Bournez ; Daniel S. Graça ; Emmanuel Hainry
On Factor University in Symbolic Spaces / Laurent Boyer ; Guillaume Theyssier
Toward a Deterministic Polynomial Time Algorithm with Optimal Additive Query Complexity / Nader H. Bshouty ; Hanna Mazzawi
Resource Combinatory Algebras / Alberto Carraro ; Thomas Ehrhard ; Antonino Salibra
Randomness for Free / Krishnendu Chatterjee ; Laurent Doyen ; Hugo Gimbert ; Thomas A. Henzinger
Qualitative Analysis of Partially-Observable Markov Decision Processes
Online Clustering with Variable Sized Clusters / Ioannis Chatzigiannakis ; Othon Michail ; Stavros Nikolaou ; Andreas Pavlogiannis ; Paul G. Spirakis ; János Csirik ; Leah Epstein ; Csanád Imreh ; Asaf Levin
Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains / Jurek Czyzowicz ; Adrian Kosowski ; Andrzej Pelc
The Average Complexity of Moore's State Minimization Algorithm Is O (n log log n) / Samir Datta ; Meena Mahajan ; B.V. Raghavendra Rao ; Michael Thomas ; Heribert Vollmer ; Julien David
Connected Searching of Weighted Trees / Dariusz Dereniowski
Iterated Regret Minimization in Game Graphs / Emmanuel Filiot ; Tristan Le Gall ; Jean-François Raskin
Properties of Visibly Pushdown Transducers / Pierre-Alain Reynier ; Frédéric Servais ; Jean-Marc Talbot
Second-Order Algebraic Theories (Extended Abstract) / Marcelo Fiore ; Ola Mahmoud
Frame Definability for Classes of Trees in the ?-calculus / Gaëlle Fontaine ; Thomas Place
Evaluating Non-square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model / Gero Greiner ; Riko Jacob
Finding and Counting Vertex-Colored Subtrees / Sylvain Guillemot ; Florian Sikora
Limiting Negations in Bounded Treewidth and Upward Planar Circuits / Jing He ; Hongyu Liang ; Jayalal M. N. Sarma
On the Topological Complexity of MSO+U and Related Automata Models / Szczepan Hummel ; Michal Skrzypczak ; Szymon Torunczyk
Least and Greatest Solutions of Equations over Sets of Integers / Artur Jez ; Alexander Okhotin
Improved Simulation of Nondeterministic Turing Machines / Subrahmanyam Kalyanasundaram ; Richard J. Lipton ; Kenneth W. Regan ; Farbod Shokrieh
The Prize-Collecting Edge Dominating Set Problem in Trees / Naoyuki Kamiyama
The Multivariate Resultant Is NP-hard in Any Characteristic / Bruno Grenet ; Pascal Koiran ; Natacha Portier
Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems / Stefan Kratsch ; Dániel Marx ; Magnus Wahlström
Meta-Envy-Free Cake-Cutting Protocols / Yoshifumi Manabe ; Tatsuaki Okamoto
Two Variables and Two Successors / Amaldev Manuel
Describing Average- and Longtime-Behavior by Weighted MSO Logics / Giulio Manzonetto ; Paolo Tranquilli ; Manfred Droste ; Ingmar Meinecke
Solving MINONES-2-SAT as Fast as VERTEX COVER / Neeldhara Misra ; N.S. Narayanaswamy ; Venkatesh Raman ; Bal Sri Shankar
Unambiguous Finite Automata over a Unary Alphabet
The Complexity of Finding Reset Words in Finite Automata / Jörg Olschewski ; Michael Ummels
Does Treewidth Help in Modal Satisfiability? (Extended Abstract) / M. Praveen
Asynchronous Omega-Regular Games with Partial Information / Bernd Puchala
Parity Games with Partial Information Played on Graphs of Bounded Complexity / Roman Rabinovich
Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets / Philippe Schnoebelen
Enumeration of the Monomials of a Polynomial and Related Complexity Classes / Yann Strozecki
Faster Approximation Schemes and Parameterized Algorithms on H-Minor-Free and Odd-Minor-Free Graphs / Siamak Tazari
Semi-linear Parikh Images of Regular Expressions via Reduction / Bahareh Badban ; Mohammad Torabi Dashti
Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds / Kenya Ueno
Mesh Deformation of Dynamic Smooth Manifolds with Surface Correspondences / Ho-Lun Cheng ; Ke Yan
Counting Dependent and Independent Strings / Marius Zimand
Impossibility of Independence Amplification in Kolmogorov Complexity Theory
Author Index
New Developments in Quantum Algorithms (Invited Talk) / Andris Ambainis
Persistent Homology under Non-uniform Error (Invited Talk) / Paul Bendich ; Herbert Edelsbrunner ; Michael Kerber ; Amit Patel
Information Complexity of Online Problems (Invited Talk) / Juraj Hromkovic ; Rastislav Královic ; Richard Královic
23.

電子ブック
ＥＢ
23. 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
24.

電子ブック
ＥＢ
24. Mathematical Foundations of Computer Science 2010
David Hutchison, Takeo Kanade, Josef Kittler, Antonin Kucera
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
New Developments in Quantum Algorithms (Invited Talk) / Andris Ambainis
Persistent Homology under Non-uniform Error (Invited Talk) / Paul Bendich ; Herbert Edelsbrunner ; Michael Kerber ; Amit Patel
Information Complexity of Online Problems (Invited Talk) / Juraj Hromkovic ; Rastislav Královic ; Richard Královic
Algorithmic Lower Bounds for Problems on Decomposable Graphs (Abstract of Invited Talk) / Daniel Lokshtanov
Do We Really Understand the Crossing Numbers? (Invited Talk) / Bojan Mohar
Balanced Queries: Divide and Conquer / Dmitri Akatov ; Georg Gottlob
Slowly Synchronizing Automata and Digraphs / Dmitry Ananichev ; Vladimir Gusev ; Mikhail Volkov
Weights of Exact Threshold Functions / László Babai ; Kristoffer Arnsfelt Hansen ; Vladimir V. Podolskii ; Xiaoming Sun
Proof Systems and Transformation Games / Yoram Bachrach ; Michael Zuckerman ; Michael Wooldridge ; Jeffrey S. Rosenschein
Scheduling Real-Time Mixed-Criticality Jobs / Sanjoy K. Baruah ; Vincenzo Bonifaci ; Gianlorenzo D'Angelo ; Haohan Li ; Alberto Marchetti-Spaccamela ; Nicole Megow ; Leen Stougie
A DEXPTIME-Complete Dolev-Yao Theory with Distributive Encryption / A. Baskar ; R. Ramanujam ; S.P. Suresh
On Problem Kernels for Possible Winner Determination under the k-Approval Protocol / Nadja Betzler
Counting Minimum (s, t)-Cuts in Weighted Planar Graphs in Polynomial Time / Ivona Bezáková ; Adam J. Friedlander
Finding Best Swap Edges Minimizing the Routing Cost of a Spanning Tree / Davide Biló ; Luciano Gualà ; Guido Proietti
Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems / Davide Bilò
Distance Constraint Satisfaction Problems / Manuel Bodirsky ; Victor Dalmau ; Barnaby Martin ; Michael Pinsker
Faster Algorithms on Branch and Clique Decompositions / Hans L. Bodlaender ; Erik Jan van Leeuwen ; Johan M.M. van Rooij ; Martin Vatshelle
Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks / Beate Bollig
Robust Computations with Dynamical Systems / Olivier Bournez ; Daniel S. Graça ; Emmanuel Hainry
On Factor University in Symbolic Spaces / Laurent Boyer ; Guillaume Theyssier
Toward a Deterministic Polynomial Time Algorithm with Optimal Additive Query Complexity / Nader H. Bshouty ; Hanna Mazzawi
Resource Combinatory Algebras / Alberto Carraro ; Thomas Ehrhard ; Antonino Salibra
Randomness for Free / Krishnendu Chatterjee ; Laurent Doyen ; Hugo Gimbert ; Thomas A. Henzinger
Qualitative Analysis of Partially-Observable Markov Decision Processes
Online Clustering with Variable Sized Clusters / Ioannis Chatzigiannakis ; Othon Michail ; Stavros Nikolaou ; Andreas Pavlogiannis ; Paul G. Spirakis ; János Csirik ; Leah Epstein ; Csanád Imreh ; Asaf Levin
Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains / Jurek Czyzowicz ; Adrian Kosowski ; Andrzej Pelc
The Average Complexity of Moore's State Minimization Algorithm Is O (n log log n) / Samir Datta ; Meena Mahajan ; B.V. Raghavendra Rao ; Michael Thomas ; Heribert Vollmer ; Julien David
Connected Searching of Weighted Trees / Dariusz Dereniowski
Iterated Regret Minimization in Game Graphs / Emmanuel Filiot ; Tristan Le Gall ; Jean-François Raskin
Properties of Visibly Pushdown Transducers / Pierre-Alain Reynier ; Frédéric Servais ; Jean-Marc Talbot
Second-Order Algebraic Theories (Extended Abstract) / Marcelo Fiore ; Ola Mahmoud
Frame Definability for Classes of Trees in the ?-calculus / Gaëlle Fontaine ; Thomas Place
Evaluating Non-square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model / Gero Greiner ; Riko Jacob
Finding and Counting Vertex-Colored Subtrees / Sylvain Guillemot ; Florian Sikora
Limiting Negations in Bounded Treewidth and Upward Planar Circuits / Jing He ; Hongyu Liang ; Jayalal M. N. Sarma
On the Topological Complexity of MSO+U and Related Automata Models / Szczepan Hummel ; Michal Skrzypczak ; Szymon Torunczyk
Least and Greatest Solutions of Equations over Sets of Integers / Artur Jez ; Alexander Okhotin
Improved Simulation of Nondeterministic Turing Machines / Subrahmanyam Kalyanasundaram ; Richard J. Lipton ; Kenneth W. Regan ; Farbod Shokrieh
The Prize-Collecting Edge Dominating Set Problem in Trees / Naoyuki Kamiyama
The Multivariate Resultant Is NP-hard in Any Characteristic / Bruno Grenet ; Pascal Koiran ; Natacha Portier
Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems / Stefan Kratsch ; Dániel Marx ; Magnus Wahlström
Meta-Envy-Free Cake-Cutting Protocols / Yoshifumi Manabe ; Tatsuaki Okamoto
Two Variables and Two Successors / Amaldev Manuel
Describing Average- and Longtime-Behavior by Weighted MSO Logics / Giulio Manzonetto ; Paolo Tranquilli ; Manfred Droste ; Ingmar Meinecke
Solving MINONES-2-SAT as Fast as VERTEX COVER / Neeldhara Misra ; N.S. Narayanaswamy ; Venkatesh Raman ; Bal Sri Shankar
Unambiguous Finite Automata over a Unary Alphabet
The Complexity of Finding Reset Words in Finite Automata / Jörg Olschewski ; Michael Ummels
Does Treewidth Help in Modal Satisfiability? (Extended Abstract) / M. Praveen
Asynchronous Omega-Regular Games with Partial Information / Bernd Puchala
Parity Games with Partial Information Played on Graphs of Bounded Complexity / Roman Rabinovich
Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets / Philippe Schnoebelen
Enumeration of the Monomials of a Polynomial and Related Complexity Classes / Yann Strozecki
Faster Approximation Schemes and Parameterized Algorithms on H-Minor-Free and Odd-Minor-Free Graphs / Siamak Tazari
Semi-linear Parikh Images of Regular Expressions via Reduction / Bahareh Badban ; Mohammad Torabi Dashti
Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds / Kenya Ueno
Mesh Deformation of Dynamic Smooth Manifolds with Surface Correspondences / Ho-Lun Cheng ; Ke Yan
Counting Dependent and Independent Strings / Marius Zimand
Impossibility of Independence Amplification in Kolmogorov Complexity Theory
Author Index
New Developments in Quantum Algorithms (Invited Talk) / Andris Ambainis
Persistent Homology under Non-uniform Error (Invited Talk) / Paul Bendich ; Herbert Edelsbrunner ; Michael Kerber ; Amit Patel
Information Complexity of Online Problems (Invited Talk) / Juraj Hromkovic ; Rastislav Královic ; Richard Královic
25.

電子ブック
ＥＢ
25. RFID. Security and Privacy
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
KLEIN: A New Family of Lightweight Block Ciphers / Zheng Gong ; Svetla Nikova ; Yee Wei Law
The Hummingbird-2 Lightweight Authenticated Encryption Algorithm / Daniel Engels ; Markka- Juhani O. Saarinen ; Peter Schweitzer ; Eric M. Smith
Elliptic Curve Cryptography on the WISP UHF RFID Tag / Christian Pendl ; Markus Pelnar ; Michael Hutter
Exploring the Feasibility of Low Cost Fault Injection Attacks on Sub-threshold Devices through an Example of a 65nm AES Implementation / Alessandro Barenghi ; Cédric Hocquet ; David Bol ; François-Xavier Standaert ; Francesco Regazzoni ; Israel Koren
Side-Channel Analysis of Cryptographic RFIDs with Analog Demodulation / Timo Kasper ; David Oswald ; Christof Paar
A Novel RFID Distance Bounding Protocol Based on Physically Unclonable Functions / Süleyman Kardaş ; Mehmet Sabir Kiraz ; Muhammed Ali Bingöl ; Hüseyin Demirci
Security Analysis of Two Distance-Bounding Protocols / Mohammad Reza Sohizadeh Abyaneh
An Automatic, Time-Based, Secure Pairing Protocol for Passive RFID / George T. Amariucai ; Clifford Bergman ; Yong Guan
BUPLE: Securing Passive RFID Communication through Physical Layer Enhancements / Qi Chai ; Guang Gong
A Scalable RFID Authentication Protocol Supporting Ownership Transfer and Controlled Delegation / Albert Fernàndez-Mir ; Rolando Trujillo-Rasua ; Jordi Castellà-Roca ; Josep Domingo-Ferrer
ROTIV: RFID Ownership Transfer with Issuer Verification / Kaoutar Elkhiyaoui ; Erik-Oliver Blass ; Refik Molva
Hierarchical ECC-Based RFID Authentication Protocol / Lejla Batina ; Stefaan Seys ; Dave Singelée ; Ingrid Verbauwhede
Author Index
KLEIN: A New Family of Lightweight Block Ciphers / Zheng Gong ; Svetla Nikova ; Yee Wei Law
The Hummingbird-2 Lightweight Authenticated Encryption Algorithm / Daniel Engels ; Markka- Juhani O. Saarinen ; Peter Schweitzer ; Eric M. Smith
Elliptic Curve Cryptography on the WISP UHF RFID Tag / Christian Pendl ; Markus Pelnar ; Michael Hutter
26.

電子ブック
ＥＢ
26. RFID. Security and Privacy
David Hutchison, Takeo Kanade, Christof Paar
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
KLEIN: A New Family of Lightweight Block Ciphers / Zheng Gong ; Svetla Nikova ; Yee Wei Law
The Hummingbird-2 Lightweight Authenticated Encryption Algorithm / Daniel Engels ; Markka- Juhani O. Saarinen ; Peter Schweitzer ; Eric M. Smith
Elliptic Curve Cryptography on the WISP UHF RFID Tag / Christian Pendl ; Markus Pelnar ; Michael Hutter
Exploring the Feasibility of Low Cost Fault Injection Attacks on Sub-threshold Devices through an Example of a 65nm AES Implementation / Alessandro Barenghi ; Cédric Hocquet ; David Bol ; François-Xavier Standaert ; Francesco Regazzoni ; Israel Koren
Side-Channel Analysis of Cryptographic RFIDs with Analog Demodulation / Timo Kasper ; David Oswald ; Christof Paar
A Novel RFID Distance Bounding Protocol Based on Physically Unclonable Functions / Süleyman Kardaş ; Mehmet Sabir Kiraz ; Muhammed Ali Bingöl ; Hüseyin Demirci
Security Analysis of Two Distance-Bounding Protocols / Mohammad Reza Sohizadeh Abyaneh
An Automatic, Time-Based, Secure Pairing Protocol for Passive RFID / George T. Amariucai ; Clifford Bergman ; Yong Guan
BUPLE: Securing Passive RFID Communication through Physical Layer Enhancements / Qi Chai ; Guang Gong
A Scalable RFID Authentication Protocol Supporting Ownership Transfer and Controlled Delegation / Albert Fernàndez-Mir ; Rolando Trujillo-Rasua ; Jordi Castellà-Roca ; Josep Domingo-Ferrer
ROTIV: RFID Ownership Transfer with Issuer Verification / Kaoutar Elkhiyaoui ; Erik-Oliver Blass ; Refik Molva
Hierarchical ECC-Based RFID Authentication Protocol / Lejla Batina ; Stefaan Seys ; Dave Singelée ; Ingrid Verbauwhede
Author Index
KLEIN: A New Family of Lightweight Block Ciphers / Zheng Gong ; Svetla Nikova ; Yee Wei Law
The Hummingbird-2 Lightweight Authenticated Encryption Algorithm / Daniel Engels ; Markka- Juhani O. Saarinen ; Peter Schweitzer ; Eric M. Smith
Elliptic Curve Cryptography on the WISP UHF RFID Tag / Christian Pendl ; Markus Pelnar ; Michael Hutter
27.

電子ブック
ＥＢ
27. Intelligent Computer Mathematics
Jacques Carette, Claudio Sacerdoti Coen, Lucas Dixon, David Hutchison, Takeo Kanade, Stephen M. Watt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Joint Invited Talks / 1：
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning / Jacques Calmet
Software Engineering for Mathematics / Georges Gonthier
Calculemus Talks / 2：
Some Traditional Mathematical Knowledge Management / Patrick D.F. Ion
Math Handwriting Recognition in Windows 7 and Its Benefits / Marko Panic
Assembling the Digital Mathematics Library / David Ruddy
CAMAL 40 Years on - Is Small Still Beautiful? / John Fitch
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations / Gonzalo A. Aranda-Corral ; Joaquín Borrego-Díaz ; M. Magdalena Fernández-Lebrón
Combining Coq and Gappa for Certifying Floating-Point Programs / Sylvie Boldo ; Jean-Christophe Filliâtre ; Guillaume Melquiond
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy / Russell Bradford ; James H. Davenport ; Christopher J. Sangwin
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra / Aleks Kissinger
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System / Francisco-Jesus ; Martín-Mateos ; Julio Rubio ; Jose-Luis Ruiz-Reina
Combined Decision Techniques for the Existential Theory of the Reals / Grant Olney Passmore ; Paul B. Jackson
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators / Ekaterina Shemyakova
A Groupoid of Isomorphic Data Transformations / Paul Tarau
Algorithms for the Functional Decomposition of Laurent Polynomials
MKM Talks / 3：
A Linear Grammar Approach to Mathematical Formula Recognition from PDF / Josef B. Baker
Formal Proof: Reconciling Correctness and Understanding / Cristian S. Calude ; Christine Müller
A Review of Mathematical Knowledge Management / Jacques Carette ; William M. Farmer
OpenMath Content Dictionaries for SI Quantities and Units / Joseph B. Collins
Unifying Math Ontologies: A Tale of Two Standards / Michael Kohlhase
Integrating Web Services into Active Mathematical Documents / Jana Giceva ; Christoph Lange ; Florian Rabe
Representation for Interactive Exercises / George Goguadze
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability / Davood G. Gozli ; Marco Pollanen ; Michael Reynolds
Canonical Forms in Interactive Exercise Assistants / Bastiaan Heeren ; Johan Jeuring
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice / Andrea Kohlhase
Compensating the Computational Bias of Spreadsheets with MKM Techniques
MathLang Translation to Isabelle Syntax / Robert Lamar ; Fairouz Kamareddine ; J.B. Wells
A Mathematical Approach to Ontology Authoring and Documentation
A Logically Saturated Extension of λ&bar;μμ&bar; / Lionel Elie Mamane ; Herman Geuvers ; James McKinna
From Tessellations to Table Interpretation / Ramana C. Jandhyala ; Mukkai Krishnamoorthy ; George Nagy ; Raghav Padmanabhan ; Sharad Seth ; William Silversmith
Finite Groups Representation Theory with CoQ / Sidi Ould Biha
Collaborative Assistant to Handle MathML Expressions / Aslam Muhammad ; Ana Maria Martinez Enriquez ; Gonzalo Escalada-Imaz
Confidence Measures in Recognizing Handwritten Mathematical Symbols / Oleg Golubitsky
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems / Jónathan Heras ; Vico Pascual
OpenMath in SCIEnce: SCSCP and POPCORN / Peter Horn ; Dan Roozemond
A Knowledge Repository for Indefinite Integration Based on Transformation Rules / A.D. Rich ; D.J. Jeffrey
Natural Deduction Environment for Matita / Claudio Sacerdoti Coen ; Enrico Tassi
Author Index
Joint Invited Talks / 1：
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
28.

電子ブック
ＥＢ
28. Multi-Agent Systems for Society
Dickson Lukose, David Hutchison, Takeo Kanade, Zhongzhi Shi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
Full Papers
A Co-operative Intelligent Assisting Agent Architecture for Web Searching and Desktop Management / Nandan Chaturbhuj ; V. Shyam Prakash ; Shivashankar B. Nair
Prisoner's Dilemma Game on Network / Masahiro Ono ; Mitsuru Ishizuka
Addressing Constraint Failures in Agent Interaction Protocol / Fadzil Hassan ; Dave Robertson ; Chris Walton
Reasoning about Success and Failure in Intentional Agents / Timothy William Cleaver ; Abdul Sattar ; Kewen Wang
Agent-Base Workflow Management System Architecture-An Example on Conference Info System / Feng-Chao Yang
Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation / Gowun Jeong ; Hajime Sawamura
Dynamic Interaction Protocol Load in Multi-Agent System Collaboration / Maoguang Wang ; Zhongzhi Shi ; Wenpin Jiao
Towards a Component-Based Architecture for TeleAgents / Ockmer L. Oosthuizen ; Elizabeth M. Ehlers
Development of a Lightweight Middleware Technologies Supporting Mobile Agents / Gu Su Kim ; Jaegon Kim ; Hyun-jin Cho ; Won-taek Lim ; Young Ik Eom
The Roles of Active Perception in Intelligent Agent Systems / Raymond So ; Liz Sonenberg
Fairness in Cooperating Multi-agent Systems-Using Profit Sharing as an Example / Ming-Chih Hsu ; Von-Wun Soo
Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 X 2 Risk Games / Ka-man Lam ; Ho-fung Leung
A Crowd Model for Emergency and Panic Situations: Structure, Characteristics and Behaviours / Mohd Bazli Ab Karim ; Abdullah Zawawi Talib ; Ahmad Izani Ismail ; Bahari Belaton
Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering (Preliminary Version) / Valentin Robu ; Han La Poutré
Artiste: Agent Organization Management System for Multi-Agent Systems / Atsushi Terauchi ; Osamu Akashi ; Mitsuru Maruyama ; Kensuke Fukuda ; Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara
Sensor Management Model Using Multi-agent in Small-Area Sensor Networks / Keonsoo Lee ; Minkoo Kim
Conflict Resolution Method for Multi-context Situation
Multi-auction Approach for Solving Task Allocation Problem / Chi-Kong Chan ; Ho-Fung Leung
Using Classification Learning in Companion Modeling / Daisuke Torii ; Francois Bousquet ; Toru Ishida ; Guy Trébuil ; Chirawat Vejpas
Modeling a MultiAgent Mobile Robotics Test Bed Using a Biologically Inspired Artificial Immune System / Tejbanta Singh Chingtham
Deploying Multi-Agents for Intelligent Aspect-Oriented Web Services / Santokh Singh ; John Hosking ; John Grundy
Multi-Agent System Using G-XMDR for Data Synchronization in Pervasive Computing Environments / Young-Gyou Kook ; R. Young-Chul Kim ; Young-Keun Choi
An Interval-Based Knowledge Model and Query Language for Temporal Information / He Huang ; Xiaoxiao He ; Lirong Qiu ; Jiewen Luo
A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce / Shujuan Ji ; Qijia Tian ; Yongquan Liang
Agent Based Interaction Model for Electronic Health Record System / Il Kon Kim ; Sung Hyun Lee ; Hyoung Jun Seo
Implementation of MedVI Agent a Medical Vocabulary Interpreter for Medical Agents / Beesung Kam ; Il kon Kim ; Hune Cho ; Yun Sik Kwak
Multi-agent Cooperation: A Description Logic View
Enhancing Bidding Strategies in CDAs by Adaptive Judgement of Price Acceptability / Huiye Ma
Dealing with Objectives in a Constraint-Based Extension to AgentSpeak(L) / Aniruddha Dasgupta ; Aditya K. Ghose
Author Index
Keynote Papers
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
29.

電子ブック
ＥＢ
29. Graph Drawing
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Obituary
Kozo Sugiyama 1945 - 2011 / Peter Eades ; Seok-Hee Hong ; Kazuo Misue
Papers
Confluent Hasse Diagrams / David Eppstein ; Joseph A. Simons
Planar Open Rectangle-of-Influence Drawings with Non-aligned Frames / Soroush Alamdari ; Therese Biedl
Propprtional Contact Representations of Planar Graphs / Muhammad Jawaherul Alam ; Stefan Felsner ; Michael Kaufmann ; Stephen G. Kobourov
Embedding Plane 3-Trees in R2 and R3 / Stephane Durocher ; Debajyoti Mondal ; Rahnuma Islam Nishat ; Md. Saidur Rahman ; Sue Whitesides
Orthogeodesic Point-Set Embedding of Trees / Emilio Di Giacomo ; Fabrizio Frati ; Radoslav Fulek ; Luca Grilli ; Marcus Krug
On Point-Sets That Support Planar Graphs / Vida Dujmovic ; William Evans ; Sylvain Lazard ; William Lenhart ; Giuseppe Liotta ; David Rappaport ; Stephen Wismath
Small Point Sets for Simply-Nested Planar Graphs / Patrizio Angelini ; Giuseppe Di Battista ; Tamara Mchedlidze ; Vincenzo Roselli ; Claudio Squarcella
Graph Visualization (Invited Talk) / Jarke J. van Wijk
Advances in the Planarization Method: Effective Multiple Edge Insertions / Markus Chimani ; Carsten Gutwenger
A Quantitative Comparison of(Stress-Minimization Approaches for Offline Dynamic Graph Drawing / Ulrik Brandes ; Martin Mader
Accelerated Bend Minimization / Sabine Cornelsen ; Andreas Karrenbauer
TGI-EB: A New Framework for Edge Bundling Integrating Topology, Geometry and Importance / Quan Nguyen
Edge Routing with Ordered Bundles / Sergey Pupyrev ; Lev Nachmanson ; Sergey Bereg ; Alexander E. Holroyd
Right Angle Crossing Graphs and 1-Planarity
Pinning Balloons with Perfect Angles and Optimal Area / Immanuel Halupczok ; André Schulz
Approximate Proximity Drawings / Emden R. Gansner ; Henk Meijer ; Andreas Spillner
Generalizing Geometric Graphs / Edith Brunei ; Andreas Gemsa ; Ignaz Rutter ; Dorothea Wagner
How to Visualize the K-Root Name Server (Demo) / Wolfgang Nagele
Optimizing a Radial Layout of Bipartite Graphs for a Tool Visualizing Security Alerts / Maxime Dumas ; Michael J. McGuffin ; Jean-Marc Robert ; Marie-Claire Willig
Visual Community Detection: An Evaluation of 2D, 3D Perspective and 3D Stereoscopic Displays / Nicolas Greffard ; Fabien Picarougne ; Pascale Kuntz
Evaluating Partially Drawn Links for Directed Graph Edges / Michael Burch ; Corinna Vehlow ; Natalia Konevtsova ; Daniel Weiskopf
Realizing Planar Graphs as Convex Polytopes (Invited Talk) / Günter Rote
Overloaded Orthogonal Drawings / Evgenios M. Kornaropoulos ; Ioannis G. Tollis
Drawing Cubic Graphs with the Four Basic Slopes / Padmini Mukkamala ; Dömötör Pálvölgyi
k-Quasi-Planar Graphs / Andrew Suk
Monotone Crossing Number / János Pach ; Géza Tóth
Upper Bound Constructions for Untangling Planar Geometric Graphs / Javier Cano ; Csaba D. Tóth ; Jorge Urrutia
Triangulations with Circular Arcs / Oswin Aichholzer ; Wolfgang Aigner ; Frenz Aurenhammer ; Katerina Cech Dobiásová ; Bert Jüttler
Planar and Poly-arc Lombardi Drawings / Christian A. Duncan ; Michael T. Goodrich ; Maarten Löffler
Force-Directed Lombardi-Style Graph Drawing / Roman Chernobelskiy ; Kathryn I. Cunningham ; Lowell Trott
Every Graph Admits an Unambiguous Bold Drawing
Adjacent Crossings Do Matter / Michael J. Pelsmajer ; Marcus Schaefer ; Daniel Stefankovic
Low Distortion Delaunay Embedding of Trees in Hyperbolic Plane / Rik Sarkar
Hardness of Approximate Compaction for Nonplanar Orthogonal Graph Drawings / Michael J. Bannister
Monotone Drawings of Graphs with Fixed Embedding / Walter Didimo ; Stephen Kobourov ; Antonios Symvonis
On the Page Number of Upward Planar Directed Acyclic Graphs / Andres J. Ruiz-Vargas
Upward Point Set Embeddability for Convex Point Sets Is in P
Classification of Planar Upward Embedding / Christopher Auer ; Christian Bachmaier ; Franz Josef Brandenburg ; Andreas Gleiβner
Upward Planarity Testing of Embedded Mixed Graphs / Curia Binucci
Posters
Combining Problems on RAC Drawings and Simultaneous Graph Drawings / Evmorfia N. Argyriou ; Michael A. Bekos
The Open Graph Archive: A Community-Driven Effort / Philip Effinger ; Jyrki Katajainen ; Karsten Klein ; Miro Spönemann ; Matthias Stegmaier ; Michael Wybrow
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Joachim Spoerhase ; Alexander Wolff
Viewport for Component Diagrams / Lukas Holy ; Premek Brada
Shortest-Paths Preserving Metro Maps / Tal Milea ; Okke Schrijvers ; Kevin Buchin ; Herman Haverkort
Challenger, a New Way to Visualize Data / Remus Zelina ; Sebastian Bota ; Siebren Houtman ; Jaap Jan van Assen ; Bas Hattink
Graph Drawing Contest
Graph Drawing Contest Report / Georg Sander
Author Index
Obituary
Kozo Sugiyama 1945 - 2011 / Peter Eades ; Seok-Hee Hong ; Kazuo Misue
Papers
30.

電子ブック
ＥＢ
30. Graph-Theoretic Concepts in Computer Science
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
Account on Intervals / Dieter Rautenbach
Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault-Tolerance / David Peleg
Alternating Reachabillity and Integer Sum of Closed Alternating Trails: The 3rd Annual Uri N. Peled Memorial Lecture / Amitava Bhattacharya
Poster Session
Student Poster Session
Papers
Triangulation and Clique Separator Decomposition of Claw-Free Graphs / Anne Berry ; Annegret Wagler
Minimum Weighted Clique Cover on Strip-Composed Perfect Graphs / Flavia Bonomo ; Gianpaolo Oriolo ; Claudia Snels
Graph Isomorphism for Graph Classes Characterized by Two Forbidden Induced Subgraphs / Stefan Kratsch ; Pascal Schweitzer
Optimization Problems in Dotted Interval Graphs / Danny Hermelin ; Julián Mestre ; Dror Rawitz
The Maximum Clique Problem in Multiple Interval Graphs (Extended Abstract) / Mathew C. Francis ; Daniel Gonçalves ; Pascal Ochem
Solutions for the Stable Roommates Problem with Payments / Péter Biró ; Matthijs Bornhoff ; Petr A. Golovach ; Walter Kern ; Daniël Paulusma
Which Multi-peg Tower of Hanoi Problems Are Exponential? / Daniel Berend ; Amir Sapir
h-Quasi Planar Drawings of Bounded Treewidth Graphs in Linear Area / Emilio Di Giacomo ; Walter Didimo ; Giuseppe Liotta ; Fabrizio Montecchiani
The Duals of Upward Planar Graphs on Cylinders / Christopher Auer ; Christian Bachmaier ; Franz J. Brandenburg ; Andreas Gleiβner ; Kathrin Hanauer
The (Weighted) Metric Dimension of Graphs: Hard and Easy Cases / Leah Epstein ; Asaf Levin ; Gerhard J. Woeginger
Determining the L(2,1)-Span in Polynomial Space / Konstanty Junosza-Szaniawski ; Jan Kratochvíl ; Mathieu Liedloff ; Pawel Rzazewski
On the Minimum Degree Up to Local Complementation: Bounds and Complexity / Jérôme Javelle ; Mehdi Mhalla ; Simon Perdrix
On the Stable Degree of Graphs / Haiko Müller
A 9k Kernel for Nonseparating Independent Set in Planar Graphs / Lukasz Kowalik ; Marcin Mucha
Parameterized Algorithms for Even Cycle Transversal / Pranabendu Misra ; Venkatesh Raman ; M.S. Ramanujan ; Saket Saurabh
Bisections about Tight Lower Bounds / Matthias Mnich ; Rico Zenklusen
On Group Feedback Vertex Set Parameterized by the Size of the Cutset / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk
Fault Tolerant Additive Spanners / Gilad Braunschvig ; Shiri Chechik
Multi-rooted Greedy Approximation of Directed Steiner Trees with Applications / Tomoya Hibi ; Toshihiro Fujito
Approximating Infeasible 2VPI-Systems / Neele Leithäuser ; Sven O. Krumke ; Maximilian Merkert
Hydras: Directed Hypergraphs and Horn Formulas / Robert H. Sloan ; Despina Stasi ; György Turán
Minimum Weight Dynamo and Fast Opinion Spreading (Extended Abstract) / Sara Brunetti ; Gennaro Cordasco ; Luisa Gargano ; Elena Lodi ; Walter Quattrociocchi
Immediate versus Eventual Conversion: Comparing Geodetic and Hull Numbers in P3-Convexity / Carmen Cecilia Centeno ; Lucia Draque Penso ; Vinícius Gusmão Pereira de Sá
Bend-Bounded Path Intersection Graphs: Sausages, Noodles, and Waffles on a Grill / Steven Chaplick ; Vít Jelínek ; Tomáš Vyskocil
On the Recognition of k-Equistable Graphs / Vadim E. Levit ; Martin Milanic ; David Tankus
Maximum Induced Multicliques and Complete Multipartite Subgraphs in Polygon-Circle Graphs and Circle Graphs / Fanica Gavril
Parameterized Domination in Circle Graphs / Nicolas Bousquet ; George B. Mertzios ; Christophe Paul ; Ignasi Sau ; Stéphan Thomassé
How to Eliminate a Graph / Pinar Heggernes ; Pim van 't Hof ; Fredrik Manne
On the Parameterized Complexity of Finding Separators with Non-hereditary Properties / Dániel Marx ; Neeldhara Misra ; Yngve Villanger
Author Index
Invited Talks (Abstracts)
Account on Intervals / Dieter Rautenbach
Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault-Tolerance / David Peleg
31.

電子ブック
ＥＢ
31. Empirical Software Engineering Issues. Critical Assessment and Future Directions
Victor R. Basili, David Hutchison, Takeo Kanade, Barbara Kitchenham, Dietmar Pfahl, Dieter Rombach, Kurt Schneider, Richard W. Selby
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
Techniques for Empirical Validation / Marvin V. Zelkowitz
Status of Empirical Research in Software Engineering / Andreas Hofer ; Walter F. Tichy
Position Papers
Aggregation of Empirical Evidence / Marcus Ciolkowski
Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations / Lionel C. Briand
New Opportunities for Empirical Research / Markku Oivo
Empirical Paradigm: Position Paper / Carolyn B. Seaman
The Value of Empirical Evidence for Practitioners and Researchers / Austen Rainer
Exploration Versus Confirmation
Empirical Paradigm - The Role of Experiments / Barbara Kitchenham
The Role of Controlled Experiments in Software Engineering Research / Victor R. Basili
Creating Real Value in Software Engineering Experiments / James Miller
From Silver Bullets to Philosophers' Stones: Who Wants to Be Just an Empiricist? / Guilherme H. Travassos
Social and Human Aspects of Software Engineering / Helen Sharp
Longitudinal Studies in Evidence-Based Software Engineering / Tracy Hall
The Use of Grounded Theory in Empirical Software Engineering / Jeffrey Carver
Historical Review
Exploration and Confirmation: An Historical Perspective / Michael S. Mahoney
Working Group Results
Combining Study Designs and Techniques Working Group Results
Optimizing Return-On-Investment (ROI) for Empirical Software Engineering Studies Working Group Results / Lutz Prechelt
The Role of Controlled Experiments Working Group Results / Andreas Jedlitschka
Discussion and Summary
The Empirical Paradigm Discussion and Summary
Measurement and Model Building / Session 2：
Measurement and Model Building Introduction
Data Sharing
Data Collection, Analysis, and Sharing Strategies for Enabling Software Measurement and Model Building / Richard W. Selby
Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts / Dag I.K. Sjoberg
Effective Data Interpretation
Software Support Tools and Experimental Work / Jurgen Munch ; Audris Mockus
Measurement and Interpretation of Productivity and Functional Correctness / Hakan Erdogmus
Synthesising Research Results
On the Quality of Data / Thomas Ostrand
Potential of Open Source Systems as Project Repositories for Empirical Studies Working Group Results / Nachiappan Nagappan
Data Sharing Enabling Technologies Working Group Results
Documenting Theories Working Group Results
Measurement and Model Building Discussion and Summary / Sira Vegas ; Vic Basili
Technology Transfer and Education / Session 3：
Technology Transfer and Education Introduction / Kurt Schneider
Technology Transfer
Empirical Studies as a Basis for Technology Transfer / Elaine J. Weyuker
Relationships and Responsibilities of Software Experimentation / Giovanni Cantone
The (Practical) Importance of SE Experiments / Tore Dyba
How to Improve the Use of Controlled Experiments as a Means for Early Technology Transfer
Extending Empirical Studies to Cover More Realistic Industrial Development and Project Management Issues / Marek Leszak
Empirical Case Studies in Industry: Some Thoughts
Software Process Simulation Frameworks in Support of Packaging and Transferring Empirical Evidence / Dietmar Pfahl
Structuring Families of Industrial Case Studies / Laurie Williams
Education
Empirical Software Engineering: Teaching Methods and Conducting Studies / Claes Wohlin
Educational Objectives for Empirical Methods / Natalia Juristo
On "Landscaping" and Influence of Empirical Studies / Frank Houdek
Involving Industry Professionals in Empirical Studies with Students / Letizia Jaccheri ; Sandro Morasca
Industry-Research Collaboration Working Group Results
Teaching Empirical Methods to Undergraduate Students Working Group Results / Matthias M. Muller
Technology Transfer and Education Discussion and Summary
Roadmapping
Empirical Software Engineering Research Roadmap Introduction
Roadmapping Working Group 1 Results / Ross Jeffery
Roadmapping Working Group 2 Results / Lionel Briand
Roadmapping Working Group 3 Results
Roadmapping Working Group 4 Results / Rick Selby
Empirical Software Engineering Research Roadmap Discussion and Summary
Appendix
List of Participants
Author Index
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
32.

電子ブック
ＥＢ
32. Graph Drawing
David Hutchison, Takeo Kanade, Josef Kittler, Bettina Speckmann
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Obituary
Kozo Sugiyama 1945 - 2011 / Peter Eades ; Seok-Hee Hong ; Kazuo Misue
Papers
Confluent Hasse Diagrams / David Eppstein ; Joseph A. Simons
Planar Open Rectangle-of-Influence Drawings with Non-aligned Frames / Soroush Alamdari ; Therese Biedl
Propprtional Contact Representations of Planar Graphs / Muhammad Jawaherul Alam ; Stefan Felsner ; Michael Kaufmann ; Stephen G. Kobourov
Embedding Plane 3-Trees in R2 and R3 / Stephane Durocher ; Debajyoti Mondal ; Rahnuma Islam Nishat ; Md. Saidur Rahman ; Sue Whitesides
Orthogeodesic Point-Set Embedding of Trees / Emilio Di Giacomo ; Fabrizio Frati ; Radoslav Fulek ; Luca Grilli ; Marcus Krug
On Point-Sets That Support Planar Graphs / Vida Dujmovic ; William Evans ; Sylvain Lazard ; William Lenhart ; Giuseppe Liotta ; David Rappaport ; Stephen Wismath
Small Point Sets for Simply-Nested Planar Graphs / Patrizio Angelini ; Giuseppe Di Battista ; Tamara Mchedlidze ; Vincenzo Roselli ; Claudio Squarcella
Graph Visualization (Invited Talk) / Jarke J. van Wijk
Advances in the Planarization Method: Effective Multiple Edge Insertions / Markus Chimani ; Carsten Gutwenger
A Quantitative Comparison of(Stress-Minimization Approaches for Offline Dynamic Graph Drawing / Ulrik Brandes ; Martin Mader
Accelerated Bend Minimization / Sabine Cornelsen ; Andreas Karrenbauer
TGI-EB: A New Framework for Edge Bundling Integrating Topology, Geometry and Importance / Quan Nguyen
Edge Routing with Ordered Bundles / Sergey Pupyrev ; Lev Nachmanson ; Sergey Bereg ; Alexander E. Holroyd
Right Angle Crossing Graphs and 1-Planarity
Pinning Balloons with Perfect Angles and Optimal Area / Immanuel Halupczok ; André Schulz
Approximate Proximity Drawings / Emden R. Gansner ; Henk Meijer ; Andreas Spillner
Generalizing Geometric Graphs / Edith Brunei ; Andreas Gemsa ; Ignaz Rutter ; Dorothea Wagner
How to Visualize the K-Root Name Server (Demo) / Wolfgang Nagele
Optimizing a Radial Layout of Bipartite Graphs for a Tool Visualizing Security Alerts / Maxime Dumas ; Michael J. McGuffin ; Jean-Marc Robert ; Marie-Claire Willig
Visual Community Detection: An Evaluation of 2D, 3D Perspective and 3D Stereoscopic Displays / Nicolas Greffard ; Fabien Picarougne ; Pascale Kuntz
Evaluating Partially Drawn Links for Directed Graph Edges / Michael Burch ; Corinna Vehlow ; Natalia Konevtsova ; Daniel Weiskopf
Realizing Planar Graphs as Convex Polytopes (Invited Talk) / Günter Rote
Overloaded Orthogonal Drawings / Evgenios M. Kornaropoulos ; Ioannis G. Tollis
Drawing Cubic Graphs with the Four Basic Slopes / Padmini Mukkamala ; Dömötör Pálvölgyi
k-Quasi-Planar Graphs / Andrew Suk
Monotone Crossing Number / János Pach ; Géza Tóth
Upper Bound Constructions for Untangling Planar Geometric Graphs / Javier Cano ; Csaba D. Tóth ; Jorge Urrutia
Triangulations with Circular Arcs / Oswin Aichholzer ; Wolfgang Aigner ; Frenz Aurenhammer ; Katerina Cech Dobiásová ; Bert Jüttler
Planar and Poly-arc Lombardi Drawings / Christian A. Duncan ; Michael T. Goodrich ; Maarten Löffler
Force-Directed Lombardi-Style Graph Drawing / Roman Chernobelskiy ; Kathryn I. Cunningham ; Lowell Trott
Every Graph Admits an Unambiguous Bold Drawing
Adjacent Crossings Do Matter / Michael J. Pelsmajer ; Marcus Schaefer ; Daniel Stefankovic
Low Distortion Delaunay Embedding of Trees in Hyperbolic Plane / Rik Sarkar
Hardness of Approximate Compaction for Nonplanar Orthogonal Graph Drawings / Michael J. Bannister
Monotone Drawings of Graphs with Fixed Embedding / Walter Didimo ; Stephen Kobourov ; Antonios Symvonis
On the Page Number of Upward Planar Directed Acyclic Graphs / Andres J. Ruiz-Vargas
Upward Point Set Embeddability for Convex Point Sets Is in P
Classification of Planar Upward Embedding / Christopher Auer ; Christian Bachmaier ; Franz Josef Brandenburg ; Andreas Gleiβner
Upward Planarity Testing of Embedded Mixed Graphs / Curia Binucci
Posters
Combining Problems on RAC Drawings and Simultaneous Graph Drawings / Evmorfia N. Argyriou ; Michael A. Bekos
The Open Graph Archive: A Community-Driven Effort / Philip Effinger ; Jyrki Katajainen ; Karsten Klein ; Miro Spönemann ; Matthias Stegmaier ; Michael Wybrow
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Joachim Spoerhase ; Alexander Wolff
Viewport for Component Diagrams / Lukas Holy ; Premek Brada
Shortest-Paths Preserving Metro Maps / Tal Milea ; Okke Schrijvers ; Kevin Buchin ; Herman Haverkort
Challenger, a New Way to Visualize Data / Remus Zelina ; Sebastian Bota ; Siebren Houtman ; Jaap Jan van Assen ; Bas Hattink
Graph Drawing Contest
Graph Drawing Contest Report / Georg Sander
Author Index
Obituary
Kozo Sugiyama 1945 - 2011 / Peter Eades ; Seok-Hee Hong ; Kazuo Misue
Papers
33.

電子ブック
ＥＢ
33. Graph-Theoretic Concepts in Computer Science
David Hutchison, Takeo Kanade, Avivit Levy, Gila Morgenstern, Michael Stern
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
Account on Intervals / Dieter Rautenbach
Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault-Tolerance / David Peleg
Alternating Reachabillity and Integer Sum of Closed Alternating Trails: The 3rd Annual Uri N. Peled Memorial Lecture / Amitava Bhattacharya
Poster Session
Student Poster Session
Papers
Triangulation and Clique Separator Decomposition of Claw-Free Graphs / Anne Berry ; Annegret Wagler
Minimum Weighted Clique Cover on Strip-Composed Perfect Graphs / Flavia Bonomo ; Gianpaolo Oriolo ; Claudia Snels
Graph Isomorphism for Graph Classes Characterized by Two Forbidden Induced Subgraphs / Stefan Kratsch ; Pascal Schweitzer
Optimization Problems in Dotted Interval Graphs / Danny Hermelin ; Julián Mestre ; Dror Rawitz
The Maximum Clique Problem in Multiple Interval Graphs (Extended Abstract) / Mathew C. Francis ; Daniel Gonçalves ; Pascal Ochem
Solutions for the Stable Roommates Problem with Payments / Péter Biró ; Matthijs Bornhoff ; Petr A. Golovach ; Walter Kern ; Daniël Paulusma
Which Multi-peg Tower of Hanoi Problems Are Exponential? / Daniel Berend ; Amir Sapir
h-Quasi Planar Drawings of Bounded Treewidth Graphs in Linear Area / Emilio Di Giacomo ; Walter Didimo ; Giuseppe Liotta ; Fabrizio Montecchiani
The Duals of Upward Planar Graphs on Cylinders / Christopher Auer ; Christian Bachmaier ; Franz J. Brandenburg ; Andreas Gleiβner ; Kathrin Hanauer
The (Weighted) Metric Dimension of Graphs: Hard and Easy Cases / Leah Epstein ; Asaf Levin ; Gerhard J. Woeginger
Determining the L(2,1)-Span in Polynomial Space / Konstanty Junosza-Szaniawski ; Jan Kratochvíl ; Mathieu Liedloff ; Pawel Rzazewski
On the Minimum Degree Up to Local Complementation: Bounds and Complexity / Jérôme Javelle ; Mehdi Mhalla ; Simon Perdrix
On the Stable Degree of Graphs / Haiko Müller
A 9k Kernel for Nonseparating Independent Set in Planar Graphs / Lukasz Kowalik ; Marcin Mucha
Parameterized Algorithms for Even Cycle Transversal / Pranabendu Misra ; Venkatesh Raman ; M.S. Ramanujan ; Saket Saurabh
Bisections about Tight Lower Bounds / Matthias Mnich ; Rico Zenklusen
On Group Feedback Vertex Set Parameterized by the Size of the Cutset / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk
Fault Tolerant Additive Spanners / Gilad Braunschvig ; Shiri Chechik
Multi-rooted Greedy Approximation of Directed Steiner Trees with Applications / Tomoya Hibi ; Toshihiro Fujito
Approximating Infeasible 2VPI-Systems / Neele Leithäuser ; Sven O. Krumke ; Maximilian Merkert
Hydras: Directed Hypergraphs and Horn Formulas / Robert H. Sloan ; Despina Stasi ; György Turán
Minimum Weight Dynamo and Fast Opinion Spreading (Extended Abstract) / Sara Brunetti ; Gennaro Cordasco ; Luisa Gargano ; Elena Lodi ; Walter Quattrociocchi
Immediate versus Eventual Conversion: Comparing Geodetic and Hull Numbers in P3-Convexity / Carmen Cecilia Centeno ; Lucia Draque Penso ; Vinícius Gusmão Pereira de Sá
Bend-Bounded Path Intersection Graphs: Sausages, Noodles, and Waffles on a Grill / Steven Chaplick ; Vít Jelínek ; Tomáš Vyskocil
On the Recognition of k-Equistable Graphs / Vadim E. Levit ; Martin Milanic ; David Tankus
Maximum Induced Multicliques and Complete Multipartite Subgraphs in Polygon-Circle Graphs and Circle Graphs / Fanica Gavril
Parameterized Domination in Circle Graphs / Nicolas Bousquet ; George B. Mertzios ; Christophe Paul ; Ignasi Sau ; Stéphan Thomassé
How to Eliminate a Graph / Pinar Heggernes ; Pim van 't Hof ; Fredrik Manne
On the Parameterized Complexity of Finding Separators with Non-hereditary Properties / Dániel Marx ; Neeldhara Misra ; Yngve Villanger
Author Index
Invited Talks (Abstracts)
Account on Intervals / Dieter Rautenbach
Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault-Tolerance / David Peleg
34.

電子ブック
ＥＢ
34. Empirical Software Engineering Issues. Critical Assessment and Future Directions
Victor R. Basili, David Hutchison, Takeo Kanade, Barbara Kitchenham, Dietmar Pfahl, Dieter Rombach, Kurt Schneider, Richard W. Selby, Richard Selby
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
Techniques for Empirical Validation / Marvin V. Zelkowitz
Status of Empirical Research in Software Engineering / Andreas Hofer ; Walter F. Tichy
Position Papers
Aggregation of Empirical Evidence / Marcus Ciolkowski
Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations / Lionel C. Briand
New Opportunities for Empirical Research / Markku Oivo
Empirical Paradigm: Position Paper / Carolyn B. Seaman
The Value of Empirical Evidence for Practitioners and Researchers / Austen Rainer
Exploration Versus Confirmation
Empirical Paradigm - The Role of Experiments / Barbara Kitchenham
The Role of Controlled Experiments in Software Engineering Research / Victor R. Basili
Creating Real Value in Software Engineering Experiments / James Miller
From Silver Bullets to Philosophers' Stones: Who Wants to Be Just an Empiricist? / Guilherme H. Travassos
Social and Human Aspects of Software Engineering / Helen Sharp
Longitudinal Studies in Evidence-Based Software Engineering / Tracy Hall
The Use of Grounded Theory in Empirical Software Engineering / Jeffrey Carver
Historical Review
Exploration and Confirmation: An Historical Perspective / Michael S. Mahoney
Working Group Results
Combining Study Designs and Techniques Working Group Results
Optimizing Return-On-Investment (ROI) for Empirical Software Engineering Studies Working Group Results / Lutz Prechelt
The Role of Controlled Experiments Working Group Results / Andreas Jedlitschka
Discussion and Summary
The Empirical Paradigm Discussion and Summary
Measurement and Model Building / Session 2：
Measurement and Model Building Introduction
Data Sharing
Data Collection, Analysis, and Sharing Strategies for Enabling Software Measurement and Model Building / Richard W. Selby
Knowledge Acquisition in Software Engineering Requires Sharing of Data and Artifacts / Dag I.K. Sjoberg
Effective Data Interpretation
Software Support Tools and Experimental Work / Jurgen Munch ; Audris Mockus
Measurement and Interpretation of Productivity and Functional Correctness / Hakan Erdogmus
Synthesising Research Results
On the Quality of Data / Thomas Ostrand
Potential of Open Source Systems as Project Repositories for Empirical Studies Working Group Results / Nachiappan Nagappan
Data Sharing Enabling Technologies Working Group Results
Documenting Theories Working Group Results
Measurement and Model Building Discussion and Summary / Sira Vegas ; Vic Basili
Technology Transfer and Education / Session 3：
Technology Transfer and Education Introduction / Kurt Schneider
Technology Transfer
Empirical Studies as a Basis for Technology Transfer / Elaine J. Weyuker
Relationships and Responsibilities of Software Experimentation / Giovanni Cantone
The (Practical) Importance of SE Experiments / Tore Dyba
How to Improve the Use of Controlled Experiments as a Means for Early Technology Transfer
Extending Empirical Studies to Cover More Realistic Industrial Development and Project Management Issues / Marek Leszak
Empirical Case Studies in Industry: Some Thoughts
Software Process Simulation Frameworks in Support of Packaging and Transferring Empirical Evidence / Dietmar Pfahl
Structuring Families of Industrial Case Studies / Laurie Williams
Education
Empirical Software Engineering: Teaching Methods and Conducting Studies / Claes Wohlin
Educational Objectives for Empirical Methods / Natalia Juristo
On "Landscaping" and Influence of Empirical Studies / Frank Houdek
Involving Industry Professionals in Empirical Studies with Students / Letizia Jaccheri ; Sandro Morasca
Industry-Research Collaboration Working Group Results
Teaching Empirical Methods to Undergraduate Students Working Group Results / Matthias M. Muller
Technology Transfer and Education Discussion and Summary
Roadmapping
Empirical Software Engineering Research Roadmap Introduction
Roadmapping Working Group 1 Results / Ross Jeffery
Roadmapping Working Group 2 Results / Lionel Briand
Roadmapping Working Group 3 Results
Roadmapping Working Group 4 Results / Rick Selby
Empirical Software Engineering Research Roadmap Discussion and Summary
Appendix
List of Participants
Author Index
The Empirical Paradigm / Session 1：
The Empirical Paradigm Introduction / Dieter Rombach
Approaches for Empirical Validation
35.

電子ブック
ＥＢ
35. Intelligent Computer Mathematics
Jacques Carette, Claudio Sacerdoti Coen, Lucas Dixon, David Hutchison, Takeo Kanade, Stephen M. Watt, Claudio Sacerdoti Coen, Stephen Watt
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Joint Invited Talks / 1：
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning / Jacques Calmet
Software Engineering for Mathematics / Georges Gonthier
Calculemus Talks / 2：
Some Traditional Mathematical Knowledge Management / Patrick D.F. Ion
Math Handwriting Recognition in Windows 7 and Its Benefits / Marko Panic
Assembling the Digital Mathematics Library / David Ruddy
CAMAL 40 Years on - Is Small Still Beautiful? / John Fitch
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations / Gonzalo A. Aranda-Corral ; Joaquín Borrego-Díaz ; M. Magdalena Fernández-Lebrón
Combining Coq and Gappa for Certifying Floating-Point Programs / Sylvie Boldo ; Jean-Christophe Filliâtre ; Guillaume Melquiond
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy / Russell Bradford ; James H. Davenport ; Christopher J. Sangwin
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra / Aleks Kissinger
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System / Francisco-Jesus ; Martín-Mateos ; Julio Rubio ; Jose-Luis Ruiz-Reina
Combined Decision Techniques for the Existential Theory of the Reals / Grant Olney Passmore ; Paul B. Jackson
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices / Alan P. Sexton ; Volker Sorge ; Stephen M. Watt
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators / Ekaterina Shemyakova
A Groupoid of Isomorphic Data Transformations / Paul Tarau
Algorithms for the Functional Decomposition of Laurent Polynomials
MKM Talks / 3：
A Linear Grammar Approach to Mathematical Formula Recognition from PDF / Josef B. Baker
Formal Proof: Reconciling Correctness and Understanding / Cristian S. Calude ; Christine Müller
A Review of Mathematical Knowledge Management / Jacques Carette ; William M. Farmer
OpenMath Content Dictionaries for SI Quantities and Units / Joseph B. Collins
Unifying Math Ontologies: A Tale of Two Standards / Michael Kohlhase
Integrating Web Services into Active Mathematical Documents / Jana Giceva ; Christoph Lange ; Florian Rabe
Representation for Interactive Exercises / George Goguadze
The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability / Davood G. Gozli ; Marco Pollanen ; Michael Reynolds
Canonical Forms in Interactive Exercise Assistants / Bastiaan Heeren ; Johan Jeuring
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice / Andrea Kohlhase
Compensating the Computational Bias of Spreadsheets with MKM Techniques
MathLang Translation to Isabelle Syntax / Robert Lamar ; Fairouz Kamareddine ; J.B. Wells
A Mathematical Approach to Ontology Authoring and Documentation
A Logically Saturated Extension of λ&bar;μμ&bar; / Lionel Elie Mamane ; Herman Geuvers ; James McKinna
From Tessellations to Table Interpretation / Ramana C. Jandhyala ; Mukkai Krishnamoorthy ; George Nagy ; Raghav Padmanabhan ; Sharad Seth ; William Silversmith
Finite Groups Representation Theory with CoQ / Sidi Ould Biha
Collaborative Assistant to Handle MathML Expressions / Aslam Muhammad ; Ana Maria Martinez Enriquez ; Gonzalo Escalada-Imaz
Confidence Measures in Recognizing Handwritten Mathematical Symbols / Oleg Golubitsky
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems / Jónathan Heras ; Vico Pascual
OpenMath in SCIEnce: SCSCP and POPCORN / Peter Horn ; Dan Roozemond
A Knowledge Repository for Indefinite Integration Based on Transformation Rules / A.D. Rich ; D.J. Jeffrey
Natural Deduction Environment for Matita / Claudio Sacerdoti Coen ; Enrico Tassi
Author Index
Joint Invited Talks / 1：
Computational Logic and Continuous Mathematics, Pure and Applied / Rob Arthan
Math-Literate Computers / Dorothea Blostein
36.

電子ブック
ＥＢ
36. Multi-Agent Systems for Society
Dickson Lukose, David Hutchison, Takeo Kanade, Zhongzhi Shi
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
Full Papers
A Co-operative Intelligent Assisting Agent Architecture for Web Searching and Desktop Management / Nandan Chaturbhuj ; V. Shyam Prakash ; Shivashankar B. Nair
Prisoner's Dilemma Game on Network / Masahiro Ono ; Mitsuru Ishizuka
Addressing Constraint Failures in Agent Interaction Protocol / Fadzil Hassan ; Dave Robertson ; Chris Walton
Reasoning about Success and Failure in Intentional Agents / Timothy William Cleaver ; Abdul Sattar ; Kewen Wang
Agent-Base Workflow Management System Architecture-An Example on Conference Info System / Feng-Chao Yang
Diverse Applications of an Automated Argument System Based on the Logic of Multiple-Valued Argumentation / Gowun Jeong ; Hajime Sawamura
Dynamic Interaction Protocol Load in Multi-Agent System Collaboration / Maoguang Wang ; Zhongzhi Shi ; Wenpin Jiao
Towards a Component-Based Architecture for TeleAgents / Ockmer L. Oosthuizen ; Elizabeth M. Ehlers
Development of a Lightweight Middleware Technologies Supporting Mobile Agents / Gu Su Kim ; Jaegon Kim ; Hyun-jin Cho ; Won-taek Lim ; Young Ik Eom
The Roles of Active Perception in Intelligent Agent Systems / Raymond So ; Liz Sonenberg
Fairness in Cooperating Multi-agent Systems-Using Profit Sharing as an Example / Ming-Chih Hsu ; Von-Wun Soo
Risk Strategies and Risk Strategy Equilibrium in Agent Interactions Modeled as Normal Repeated 2 X 2 Risk Games / Ka-man Lam ; Ho-fung Leung
A Crowd Model for Emergency and Panic Situations: Structure, Characteristics and Behaviours / Mohd Bazli Ab Karim ; Abdullah Zawawi Talib ; Ahmad Izani Ismail ; Bahari Belaton
Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering (Preliminary Version) / Valentin Robu ; Han La Poutré
Artiste: Agent Organization Management System for Multi-Agent Systems / Atsushi Terauchi ; Osamu Akashi ; Mitsuru Maruyama ; Kensuke Fukuda ; Toshiharu Sugawara ; Toshio Hirotsu ; Satoshi Kurihara
Sensor Management Model Using Multi-agent in Small-Area Sensor Networks / Keonsoo Lee ; Minkoo Kim
Conflict Resolution Method for Multi-context Situation
Multi-auction Approach for Solving Task Allocation Problem / Chi-Kong Chan ; Ho-Fung Leung
Using Classification Learning in Companion Modeling / Daisuke Torii ; Francois Bousquet ; Toru Ishida ; Guy Trébuil ; Chirawat Vejpas
Modeling a MultiAgent Mobile Robotics Test Bed Using a Biologically Inspired Artificial Immune System / Tejbanta Singh Chingtham
Deploying Multi-Agents for Intelligent Aspect-Oriented Web Services / Santokh Singh ; John Hosking ; John Grundy
Multi-Agent System Using G-XMDR for Data Synchronization in Pervasive Computing Environments / Young-Gyou Kook ; R. Young-Chul Kim ; Young-Keun Choi
An Interval-Based Knowledge Model and Query Language for Temporal Information / He Huang ; Xiaoxiao He ; Lirong Qiu ; Jiewen Luo
A Petri-Net-Based Modeling Framework for Automated Negotiation Protocols in Electronic Commerce / Shujuan Ji ; Qijia Tian ; Yongquan Liang
Agent Based Interaction Model for Electronic Health Record System / Il Kon Kim ; Sung Hyun Lee ; Hyoung Jun Seo
Implementation of MedVI Agent a Medical Vocabulary Interpreter for Medical Agents / Beesung Kam ; Il kon Kim ; Hune Cho ; Yun Sik Kwak
Multi-agent Cooperation: A Description Logic View
Enhancing Bidding Strategies in CDAs by Adaptive Judgement of Price Acceptability / Huiye Ma
Dealing with Objectives in a Constraint-Based Extension to AgentSpeak(L) / Aniruddha Dasgupta ; Aditya K. Ghose
Author Index
Keynote Papers
Application of Information Processing Technology by Multiagent Simulation (Extended Abstract) / Hideyuki Nakashima
Cognitive Architectures and Multi-agent Social Simulation / Ron Sun
37.

電子ブック
ＥＢ
37. Euro-Par 2010 - Parallel Processing
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Support Tools and Environments / Topic 1：
Introduction / Omer Rana ; Giandomenico Spezzano ; Michael Gerndt ; Daniel S. Katz
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs / Paul M. Carpenter ; Alex Ramirez ; Eduard Ayguade
Automated Tuning in Parallel Sorting on Multi-Core Architectures / Haibo Lin ; Chao Li ; Qian Wang ; Yi Zhao ; Ninghe Pan ; Xiaotong Zhuang ; Ling Shao
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling / Jonathan Mak ; Karl-Filip Faxén ; Sverker Janson ; Alan Mycroft
Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling / Fred V. Lionetti ; Andrew D. McCulloch ; Scott B. Baden
Efficient Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments / Gergely Sipos ; Péter Kacsuk
Profile-Driven Selective Program Loading / Tugrul Ince ; Jeffrey K. Hollingsworth
Characterizing the Impact of Using Spare-Cores on Application Performance / José Carlos Sancho ; Darren J. Kerbyson ; Michael Lang
Performance Prediction and Evaluation / Topic 2：
A Model for Space-Correlated Failures in Large-Scale Distributed Systems / Stephen Jarvis ; Massimo Coppola ; Junwei Cao ; Darren Kerbyson ; Matthieu Gallet ; Nezih Yigitbasi ; Bahman Javadi ; Derrick Kondo ; Alexandru Iosup ; Dick Epema
Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications / Rosilde Corvino ; Abdoulaye Gamatié ; Pierre Boulet
jitSim: A Simulator for Predicting Scalability of Parallel Applications in Presence of OS Jitter / Pradipta De ; Vijay Mann
pCFS vs. PVPS: Comparing a Highly-Available Symmetrical Parallel Cluster File System with an Asymmetrical Parallel File System / Paulo A. Lopes ; Pedro D. Medeiros
Comparing Scalability Prediction Strategies on an SMP of CMPs / Karan Singh ; Matthew Curtis-Maury ; Sally A. McKee ; Filip Blagojevic ; Dimitrios S. Nikolopoulos ; Bronis R. de Supinski ; Martin Schulz
Scheduling and Load-Balancing / Topic 3：
A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling / Ramin Yahyapour ; Raffaele Perego ; Frédéric Desprez ; Leah Epstein ; Francesc Guim Bernat ; Marin Bougeret ; Pierre-François Dutot ; Klaus Jansen ; Christina Otte ; Denis Trystram
Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications / Henri Casanova ; Frédéric Vivien
Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs / Ivanoe De Falco ; Eryk Laskowski ; Richard Olejnik ; Umberto Scafuri ; Ernesto Tarantino ; Marek Tudruj
A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis and Simulation / Qingyang Meng ; Jianzhong Qiao ; Shukuan Lin ; Enze Wang ; Peng Han
Code Scheduling for Optimizing Parallelism and Data Locality / Taylan Yemliha ; Mahmut Kandemir ; Ozcan Ozturk ; Emre Kultursay ; Sai Prashanth Muralidhara
Hierarchical Work-Stealing / Jean-Noël Quintin ; Frédéric Wagner
Optimum Diffusion for Load Balancing in Mesh Networks / George S. Markomanolis ; Nikolaos M. Missirlis
A Dynamic, Distributed, Hierarchical Load Balancing for HLA-Based Simulations on Large-Scale Environments / Robson Eduardo De Grande ; Azzedine Boukerche
High Performance Architectures and Compilers / Topic 4：
Power-Efficient Spilling Techniques for Chip Multiprocessors / Pedro C. Diniz ; Marco Danelutto ; Denis Barthou ; Marc Gonzales ; Michael Hübner ; Enric Herrero ; José González ; Ramon Canal
Scalable Object-Aware Hardware Transactional Memory / Behram Khan ; Matthew Horsnell ; Mikel Lujan ; Ian Watson
Efficient Address Mapping of Shared Cache for On-Chip Many-Core Architecture / Fenglong Song ; Dongrui Fan ; Zhiyong Liu ; Junchao Zhang ; Lei Yu ; Weizhi Xu
Thread Owned Block Cache: Managing Latency in Many-Core Aiehitecture / Hao Zhang ; Shibin Tang
Extending the Cell SPE with Energy Efficient Branch Prediction / Martijn Briejer ; Cor Meenderinck ; Ben Juurlink
Parallel and Distributed Data Management / Topic 5：
Federated Enactment of Workflow Patterns / Rizos Sakellariou ; Salvatore Orlando ; Josep Lluis Larriba-Pey ; Srinivasan Parthasarathy ; Demetrios Zeinalipour-Yazti ; Gagarine Yaikhom ; Chee Sun Liew ; Liangxiu Han ; Jano van Hemert ; Malcolm Atkinson ; Amy Krause
A Distributed Approach to Detect Outliers in Very Large Data Sets / Fabrizio Angiulli ; Stefano Basta ; Stefano Lodi ; Claudio Sartori
Grid, Cluster and Cloud Computing / Topic 6：
Deployment of a Hierarchical Middleware / K. Keahey ; D. Laforenza ; A. Reinefeld ; P. Ritrovato ; D. Thain ; N. Wilkins-Diehr ; Eddy Caron ; Benjamin Depardon
Toward Real-Time, Many-Task Applications on Large Distributed Systems / Sangho Yi ; David P. Anderson
Scheduling Scientific Workflows to Meet Soft Deadlines in the Absence of Failure Models / Kassian Plankensteiner ; Radu Prodan ; Thomas Fahringer
A GPGPU Transparent Virtualization Component for High Performance Computing Clouds / Giulio Giunta ; Raffaele Montella ; Giuseppe Agrillo ; Giuseppe Goviello
What Is the Price of Simplicity? A Cross-Platform Evaluation of the SAGA API / Mathijs den Burger ; Ceriel Jacobs ; Thilo Kielmann ; Andre Merzky ; Ole Weidner ; Hartmut Kaiser
User-Centric, Heuristic Optimization of Service Composition in Clouds / Kevin Kofler ; Irfan ul Hag ; Erich Schikuta
A Distributed Market Framework for Large-Scale Resource Sharing / Marian Mihailescu ; Yong Meng Teo
Using Network Information to Perform Meta-Scheduling in Advance in Grids / Luis Tomás ; Agustín Caminero ; Blanca Caminero ; Carmen Carrión
Peer to Peer Computing / Topic 7：
Overlay Management for Fully Distributed User-Based Collaborative Filtering / Adriana Iamnitchi ; Paolo Trunfio ; Jonathan Ledlie ; Florian Schintke ; Róbert Ormándi ; István Hegedus ; Márk Jelasity
Dynamic Publish/Subscribe to Meet Subscriber-Defined Delay and Bandwidth Constraints / Muhammad Adnan Tariq ; Gerald G. Koch ; Boris Koldehofe ; Imran Khan ; Kurt Rothermel
Combining Hilbert SFC and Bruijn Graphs for Searching Computing Markets in a P2P System / Damia Castellà ; Hector Blanco ; Francesc Giné ; Francesc Solsona
Sampling Bias in BitTorrent Measurements / Boxun Zhang ; Johan Pouwelse ; Henk Sips
A Formal Credit-Based Incentive Model for Sharing Computer Resources / Josep Rius ; Ignasi Barri ; Fernando Cores
Distributed Systems and Algorithms / Topic 8：
Improving Message Logging Protocols Scalability through Distributed Event Logging / Pascal Felber ; Ricardo Jimenez-Peris ; Giovanni Schmid ; Pierre Sens ; Thomas Ropars ; Christine Morin
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems / Roberto Baldoni ; Silvia Bonomi ; Michel Raynal
Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters / Colette Johnen ; Fouzi Mekhaldi
Adaptive Conflict Unit Size for Distributed Optimistic Synchronization / Kim-Thomas Rehmann ; Marc-Florian Müller ; Michael Schöttner
Frame Allocation Algorithms for Multi-threaded Network Cameras / José Miguel Piquer ; Javier Bustos- Jiménez
Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF) / Ole Scharf ; Sergei Gorlatch ; Felix Blanke ; Christoph Hemker ; Sebastian Westerheide ; Tobias Priebs ; Christoph Bartenhagen ; Alexander Ploss ; Frank Glinka ; Dominik Meilaender
The x-Wait-Freedom Progress Condition / Damien Imbs
Author Index
Support Tools and Environments / Topic 1：
Introduction / Omer Rana ; Giandomenico Spezzano ; Michael Gerndt ; Daniel S. Katz
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs / Paul M. Carpenter ; Alex Ramirez ; Eduard Ayguade
38.

電子ブック
ＥＢ
38. High Performance Computing for Computational Science - VECPAR 2006
Michel Dayd?, ?lvaro L. G. A. Coutinho, David Hutchison, Takeo Kanade, Jo?o Correia Lopes, Esther Pacitti, Jos? M. L. M. Palma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Grid Computing / Chapter 1：
An Opportunistic Algorithm for Scheduling Workflows on Grids / Luiz Meyer ; Doug Scheftner ; Jens Vockler ; Marta Mattoso ; Mike Wilde ; Ian Foster
A Service Oriented System for on Demand Dynamic Structural Analysis over Computational Grids / J.M. Alonso ; V. Hernandez ; R. Lopez ; G. Molto
Scalable Desktop Grid System / Peter Kacsuk ; Norbert Podhorszki ; Tamas Kiss
Analyzing Overheads and Scalability Characteristics of OpenMP Applications / Karl Furlinger ; Michael Gerndt
Parallel Fuzzy c-Means Cluster Analysis / Marta V. Modenesi ; Myrian C.A. Costa ; Alexandre G. Evsukoff ; Nelson F.F. Ebecken
Peer-to-Peer Models for Resource Discovery in Large-Scale Grids: A Scalable Architecture / Domenico Talia ; Paolo Trunfio ; Jingdi Zeng
Cluster Computing / Chapter 2：
JaceV: A Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes / Jacques M. Bahi ; Raphael Couturier ; Philippe Vuillemin
Aspect Oriented Pluggable Support for Parallel Computing / Joao L. Sobral ; Carlos A. Cunha ; Miguel P. Monteiro
Model for Simulation of Heterogeneous High-Performance Computing Environments / Rodrigo Fernandes de Mello ; Luciano Jose Senger
On Evaluating Decentralized Parallel I/ Scheduling Strategies for Parallel File Systems / Florin Isaila ; David Singh ; Jesus Carretero ; Felix Garcia
Distributed Security Constrained Optimal Power Flow Integrated to a DSM Based Energy Management System for Real Time Power Systems Security Control / Juliana M.T. Alves ; Carmen L.T. Borges ; Ayru L. Oliveira Filho
Metaserver Locality and Scalability in a Distributed NFS / Everton Hermann ; Rafael Avila ; Philippe Navaux ; Yves Denneulin
Top-k Query Processing in the APPA P2P System / Reza Akbarinia ; Vidal Martins ; Esther Pacitti ; Patrick Valduriez
Posterior Task Scheduling Algorithms for Heterogeneous Computing Systems / Linshan Shen ; Tae-Young Choe
Design and Implementation of an Environment for Component-Based Parallel Programming / Francisco Heron de Carvalho Junior ; Rafael Dueire Lins ; Ricardo Cordeiro Correa ; Gisele Araujo ; Chanderlie Freire de Santiago
Anahy: A Programming Environment for Cluster Computing / Gerson Geraldo H. Cavalheiro ; Luciano Paschoal Gaspary ; Marcelo Augusto Cardozo ; Otavio Correa Cordeiro
DWMiner: A Tool for Mining Frequent Item Sets Efficiently in Data Warehouses / Bruno Kinder Almentero ; Alexandre Goncalves Evsukoff
A Parallel Implementation of the K Nearest Neighbours Classifier in Three Levels: Threads, MPI Processes and the Grid / G. Aparicio ; I. Blanquer
On the Use of the MMC Language to Utilize SIMD Instruction Set / Patricio Bulic ; Veselko Gustin
A Versatile Pipelined Hardware Implementation for Encryption and Decryption Using Advanced Encryption Standard / Nadia Nedjah ; Luiza de Macedo Mourelle
Numerical Methods / Chapter 3：
Combinatorial Scientific Computing: The Enabling Power of Discrete Algorithms in Computational Science / Bruce Hendrickson ; Alex Pothen
Improving the Numerical Simulation of an Airflow Problem with the BlockCGSI Algorithm / C. Balsa ; M. Braza ; M. Dayde ; J. Palma ; D. Ruiz
EdgePack: A Parallel Vertex and Node Reordering Package for Optimizing Edge-Based Computations in Unstructured Grids / Marcos Martins ; Renato Elias ; Alvaro Coutinho
Parallel Processing of Matrix Multiplication in a CPU and GPU Heterogeneous Environment / Satoshi Ohshima ; Kenji Kise ; Takahiro Katagiri ; Toshitsugu Yuba
Robust Two-Level Lower-Order Preconditioners for a Higher-Order Stokes Discretization with Highly Discontinuous Viscosities / Duilio Conceicao ; Paulo Goldfeld ; Marcus Sarkis
The Impact of Parallel Programming Models on the Performance of Iterative Linear Solvers for Finite Element Applications / Kengo Nakajima
Efficient Parallel Algorithm for Constructing a Unit Triangular Matrix with Prescribed Singular Values / Georgina Flores-Becerra ; Victor M. Garcia ; Antonio M. Vidal
A Rewriting System for the Vectorization of Signal Transforms / Franz Franchetti ; Yevgen Voronenko ; Markus Puschel
High Order Fourier-Spectral Solutions to Self Adjoint Elliptic Equations / Moshe Israeli ; Alexander Sherman
Multiresolution Simulations Using Particles / Michael Bergdorf ; Petros Koumoutsakos
Evaluation of Several Variants of Explicitly Restarted Lanczos Eigensolvers and Their Parallel Implementations / J.E. Roman ; A. Tomas
PyACTS: A High-Level Framework for Fast Development of High Performance Applications / L.A. Drummond ; V. Galiano ; O. Marques ; V. Migallon ; J. Penades
Sequential and Parallel Resolution of the Two-Group Transient Neutron Diffusion Equation Using Second-Degree Iterative Methods / Omar Flores-Sanchez ; Vicente E. Vidal ; Pedro Flores-Sanchez
Enhancing the Performance of Multigrid Smoothers in Simultaneous Multithreading Architectures / Carlos Garcia ; Manuel Prieto ; Javier Setoain ; Francisco Tirado
Block Iterative Algorithms for the Solution of Parabolic Optimal Control Problems / Christian E. Schaerer ; Tarek Mathew
Evaluation of Linear Solvers for Astrophysics Transfer Problems / Osni Marques ; Paulo B. Vasconcelos
Large Scale Simulations in Physics / Chapter 4：
Scalable Cosmological Simulations on Parallel Machines / Filippo Gioachin ; Amit Sharma ; Sayantan Chakravorty ; Celso L. Mendes ; Laxmikant V. Kale ; Thomas Quinn
Performance Evaluation of Scientific Applications on Modern Parallel Vector Systems / Jonathan Carter ; Leonid Oliker ; John Shalf
Numerical Simulation of Three-Phase Flow in Heterogeneous Porous Media / Eduardo Abreu ; Frederico Furtado ; Felipe Pereira
Simulation of Laser Propagation in a Plasma with a Frequency Wave Equation / R. Sentis ; S. Desroziers ; F. Nataf
A Particle Gradient Evolutionary Algorithm Based on Statistical Mechanics and Convergence Analysis / Kangshun Li ; Wei Li ; Zhangxin Chen ; Feng Wang
Computing in Biosciences / Chapter 5：
A Computational Framework for Cardiac Modeling Based on Distributed Computing and Web Applications / D.M.S. Martins ; F.O. Campos ; L.N. Ciuffo ; R.S. Oliveira ; R.M. Amorim ; V.F. Vieira ; N.F.F. Ebecken ; C.B. Barbosa ; R. Weber dos Santos
Triangular Clique Based Multilevel Approaches to Identify Protein Functional Modules / S. Oliveira ; S.C. Seok
BioPortal: A Portal for Deployment of Bioinformatics Applications on Cluster and Grid Environments / Kuan-Ching Li ; Chiou-Nan Chen ; Tsung-Ying Wu ; Chia-Hsien Wen ; Chuan Yi Tang
Computational Grids and Clusters / Workshop 1：
Adaptive Distributed Metamodeling / Dirk Gorissen ; Karel Crombecq ; Wouter Hendrickx ; Tom Dhaene
Distributed General Logging Architecture for Grid Environments / Carlos de Alfonso ; Miguel Caballer ; Jose V. Carrion ; Vicente Hernandez
Interoperability Between UNICORE and ITBL / Yoshio Suzuki ; Takahiro Minami ; Masayuki Tani ; Norihiro Nakajima ; Rainer Keller ; Thomas Beisel
Using Failure Injection Mechanisms to Experiment and Evaluate a Grid Failure Detector / Sebastien Monnet ; Marin Bertier
Semantic-Based Service Trading: Application to Linear Algebra / Michel Dayde ; Aurelie Hurault ; Marc Pantel
Management of Services Based on a Semantic Description Within the GRID-TLSE Project / Patrick Amestoy ; Christophe Hamerling ; Chiara Puglisi
Extending the Services and Sites of Production Grids by the Support of Advanced Portals
High-Performance Data Management in Grid Environments / Workshop 2：
PSO-Grid Data Replication Service / Victor Mendez Munoz ; Felix Garcia Carballeira
Execution Management of Scientific Models on Computational Grids / Alexandre Vassallo ; Cristiane Oliveira ; Carla Osthoff ; Halisson Brito ; Julia Strauch ; Jano Souza
Replica Refresh Strategies in a Database Cluster / Cecile Le Pape ; Stephane Gancarski
A Practical Evaluation of a Data Consistency Protocol for Efficient Visualization in Grid Applications / Gabriel Antoniu ; Loic Cudennec
Experiencing Data Grids / Nicolaas Ruberg ; Nelson Kotowski ; Amanda Mattos ; Luciana Matos ; Melissa Machado ; Daniel Oliveira ; Rafael Monclar ; Claudio Ferraz ; Talitta Sanchotene ; Vanessa Braganholo
Author Index
Grid Computing / Chapter 1：
An Opportunistic Algorithm for Scheduling Workflows on Grids / Luiz Meyer ; Doug Scheftner ; Jens Vockler ; Marta Mattoso ; Mike Wilde ; Ian Foster
A Service Oriented System for on Demand Dynamic Structural Analysis over Computational Grids / J.M. Alonso ; V. Hernandez ; R. Lopez ; G. Molto
39.

電子ブック
ＥＢ
39. Euro-Par 2010 - Parallel Processing
David Hutchison, Takeo Kanade, Mario Guarracino, Domenico Talia
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Support Tools and Environments / Topic 1：
Introduction / Omer Rana ; Giandomenico Spezzano ; Michael Gerndt ; Daniel S. Katz
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs / Paul M. Carpenter ; Alex Ramirez ; Eduard Ayguade
Automated Tuning in Parallel Sorting on Multi-Core Architectures / Haibo Lin ; Chao Li ; Qian Wang ; Yi Zhao ; Ninghe Pan ; Xiaotong Zhuang ; Ling Shao
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling / Jonathan Mak ; Karl-Filip Faxén ; Sverker Janson ; Alan Mycroft
Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling / Fred V. Lionetti ; Andrew D. McCulloch ; Scott B. Baden
Efficient Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments / Gergely Sipos ; Péter Kacsuk
Profile-Driven Selective Program Loading / Tugrul Ince ; Jeffrey K. Hollingsworth
Characterizing the Impact of Using Spare-Cores on Application Performance / José Carlos Sancho ; Darren J. Kerbyson ; Michael Lang
Performance Prediction and Evaluation / Topic 2：
A Model for Space-Correlated Failures in Large-Scale Distributed Systems / Stephen Jarvis ; Massimo Coppola ; Junwei Cao ; Darren Kerbyson ; Matthieu Gallet ; Nezih Yigitbasi ; Bahman Javadi ; Derrick Kondo ; Alexandru Iosup ; Dick Epema
Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications / Rosilde Corvino ; Abdoulaye Gamatié ; Pierre Boulet
jitSim: A Simulator for Predicting Scalability of Parallel Applications in Presence of OS Jitter / Pradipta De ; Vijay Mann
pCFS vs. PVPS: Comparing a Highly-Available Symmetrical Parallel Cluster File System with an Asymmetrical Parallel File System / Paulo A. Lopes ; Pedro D. Medeiros
Comparing Scalability Prediction Strategies on an SMP of CMPs / Karan Singh ; Matthew Curtis-Maury ; Sally A. McKee ; Filip Blagojevic ; Dimitrios S. Nikolopoulos ; Bronis R. de Supinski ; Martin Schulz
Scheduling and Load-Balancing / Topic 3：
A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling / Ramin Yahyapour ; Raffaele Perego ; Frédéric Desprez ; Leah Epstein ; Francesc Guim Bernat ; Marin Bougeret ; Pierre-François Dutot ; Klaus Jansen ; Christina Otte ; Denis Trystram
Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications / Henri Casanova ; Frédéric Vivien
Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs / Ivanoe De Falco ; Eryk Laskowski ; Richard Olejnik ; Umberto Scafuri ; Ernesto Tarantino ; Marek Tudruj
A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis and Simulation / Qingyang Meng ; Jianzhong Qiao ; Shukuan Lin ; Enze Wang ; Peng Han
Code Scheduling for Optimizing Parallelism and Data Locality / Taylan Yemliha ; Mahmut Kandemir ; Ozcan Ozturk ; Emre Kultursay ; Sai Prashanth Muralidhara
Hierarchical Work-Stealing / Jean-Noël Quintin ; Frédéric Wagner
Optimum Diffusion for Load Balancing in Mesh Networks / George S. Markomanolis ; Nikolaos M. Missirlis
A Dynamic, Distributed, Hierarchical Load Balancing for HLA-Based Simulations on Large-Scale Environments / Robson Eduardo De Grande ; Azzedine Boukerche
High Performance Architectures and Compilers / Topic 4：
Power-Efficient Spilling Techniques for Chip Multiprocessors / Pedro C. Diniz ; Marco Danelutto ; Denis Barthou ; Marc Gonzales ; Michael Hübner ; Enric Herrero ; José González ; Ramon Canal
Scalable Object-Aware Hardware Transactional Memory / Behram Khan ; Matthew Horsnell ; Mikel Lujan ; Ian Watson
Efficient Address Mapping of Shared Cache for On-Chip Many-Core Architecture / Fenglong Song ; Dongrui Fan ; Zhiyong Liu ; Junchao Zhang ; Lei Yu ; Weizhi Xu
Thread Owned Block Cache: Managing Latency in Many-Core Aiehitecture / Hao Zhang ; Shibin Tang
Extending the Cell SPE with Energy Efficient Branch Prediction / Martijn Briejer ; Cor Meenderinck ; Ben Juurlink
Parallel and Distributed Data Management / Topic 5：
Federated Enactment of Workflow Patterns / Rizos Sakellariou ; Salvatore Orlando ; Josep Lluis Larriba-Pey ; Srinivasan Parthasarathy ; Demetrios Zeinalipour-Yazti ; Gagarine Yaikhom ; Chee Sun Liew ; Liangxiu Han ; Jano van Hemert ; Malcolm Atkinson ; Amy Krause
A Distributed Approach to Detect Outliers in Very Large Data Sets / Fabrizio Angiulli ; Stefano Basta ; Stefano Lodi ; Claudio Sartori
Grid, Cluster and Cloud Computing / Topic 6：
Deployment of a Hierarchical Middleware / K. Keahey ; D. Laforenza ; A. Reinefeld ; P. Ritrovato ; D. Thain ; N. Wilkins-Diehr ; Eddy Caron ; Benjamin Depardon
Toward Real-Time, Many-Task Applications on Large Distributed Systems / Sangho Yi ; David P. Anderson
Scheduling Scientific Workflows to Meet Soft Deadlines in the Absence of Failure Models / Kassian Plankensteiner ; Radu Prodan ; Thomas Fahringer
A GPGPU Transparent Virtualization Component for High Performance Computing Clouds / Giulio Giunta ; Raffaele Montella ; Giuseppe Agrillo ; Giuseppe Goviello
What Is the Price of Simplicity? A Cross-Platform Evaluation of the SAGA API / Mathijs den Burger ; Ceriel Jacobs ; Thilo Kielmann ; Andre Merzky ; Ole Weidner ; Hartmut Kaiser
User-Centric, Heuristic Optimization of Service Composition in Clouds / Kevin Kofler ; Irfan ul Hag ; Erich Schikuta
A Distributed Market Framework for Large-Scale Resource Sharing / Marian Mihailescu ; Yong Meng Teo
Using Network Information to Perform Meta-Scheduling in Advance in Grids / Luis Tomás ; Agustín Caminero ; Blanca Caminero ; Carmen Carrión
Peer to Peer Computing / Topic 7：
Overlay Management for Fully Distributed User-Based Collaborative Filtering / Adriana Iamnitchi ; Paolo Trunfio ; Jonathan Ledlie ; Florian Schintke ; Róbert Ormándi ; István Hegedus ; Márk Jelasity
Dynamic Publish/Subscribe to Meet Subscriber-Defined Delay and Bandwidth Constraints / Muhammad Adnan Tariq ; Gerald G. Koch ; Boris Koldehofe ; Imran Khan ; Kurt Rothermel
Combining Hilbert SFC and Bruijn Graphs for Searching Computing Markets in a P2P System / Damia Castellà ; Hector Blanco ; Francesc Giné ; Francesc Solsona
Sampling Bias in BitTorrent Measurements / Boxun Zhang ; Johan Pouwelse ; Henk Sips
A Formal Credit-Based Incentive Model for Sharing Computer Resources / Josep Rius ; Ignasi Barri ; Fernando Cores
Distributed Systems and Algorithms / Topic 8：
Improving Message Logging Protocols Scalability through Distributed Event Logging / Pascal Felber ; Ricardo Jimenez-Peris ; Giovanni Schmid ; Pierre Sens ; Thomas Ropars ; Christine Morin
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems / Roberto Baldoni ; Silvia Bonomi ; Michel Raynal
Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters / Colette Johnen ; Fouzi Mekhaldi
Adaptive Conflict Unit Size for Distributed Optimistic Synchronization / Kim-Thomas Rehmann ; Marc-Florian Müller ; Michael Schöttner
Frame Allocation Algorithms for Multi-threaded Network Cameras / José Miguel Piquer ; Javier Bustos- Jiménez
Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF) / Ole Scharf ; Sergei Gorlatch ; Felix Blanke ; Christoph Hemker ; Sebastian Westerheide ; Tobias Priebs ; Christoph Bartenhagen ; Alexander Ploss ; Frank Glinka ; Dominik Meilaender
The x-Wait-Freedom Progress Condition / Damien Imbs
Author Index
Support Tools and Environments / Topic 1：
Introduction / Omer Rana ; Giandomenico Spezzano ; Michael Gerndt ; Daniel S. Katz
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs / Paul M. Carpenter ; Alex Ramirez ; Eduard Ayguade
40.

電子ブック
ＥＢ
40. High Performance Computing for Computational Science - VECPAR 2006
Michel Daydé, Álvaro L. G. A. Coutinho, David Hutchison, Takeo Kanade, João Correia Lopes, Esther Pacitti, José M. L. M. Palma, João Correia Lopes, Álvaro L. G. A. Couthino
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Grid Computing / Chapter 1：
An Opportunistic Algorithm for Scheduling Workflows on Grids / Luiz Meyer ; Doug Scheftner ; Jens Vockler ; Marta Mattoso ; Mike Wilde ; Ian Foster
A Service Oriented System for on Demand Dynamic Structural Analysis over Computational Grids / J.M. Alonso ; V. Hernandez ; R. Lopez ; G. Molto
Scalable Desktop Grid System / Peter Kacsuk ; Norbert Podhorszki ; Tamas Kiss
Analyzing Overheads and Scalability Characteristics of OpenMP Applications / Karl Furlinger ; Michael Gerndt
Parallel Fuzzy c-Means Cluster Analysis / Marta V. Modenesi ; Myrian C.A. Costa ; Alexandre G. Evsukoff ; Nelson F.F. Ebecken
Peer-to-Peer Models for Resource Discovery in Large-Scale Grids: A Scalable Architecture / Domenico Talia ; Paolo Trunfio ; Jingdi Zeng
Cluster Computing / Chapter 2：
JaceV: A Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes / Jacques M. Bahi ; Raphael Couturier ; Philippe Vuillemin
Aspect Oriented Pluggable Support for Parallel Computing / Joao L. Sobral ; Carlos A. Cunha ; Miguel P. Monteiro
Model for Simulation of Heterogeneous High-Performance Computing Environments / Rodrigo Fernandes de Mello ; Luciano Jose Senger
On Evaluating Decentralized Parallel I/ Scheduling Strategies for Parallel File Systems / Florin Isaila ; David Singh ; Jesus Carretero ; Felix Garcia
Distributed Security Constrained Optimal Power Flow Integrated to a DSM Based Energy Management System for Real Time Power Systems Security Control / Juliana M.T. Alves ; Carmen L.T. Borges ; Ayru L. Oliveira Filho
Metaserver Locality and Scalability in a Distributed NFS / Everton Hermann ; Rafael Avila ; Philippe Navaux ; Yves Denneulin
Top-k Query Processing in the APPA P2P System / Reza Akbarinia ; Vidal Martins ; Esther Pacitti ; Patrick Valduriez
Posterior Task Scheduling Algorithms for Heterogeneous Computing Systems / Linshan Shen ; Tae-Young Choe
Design and Implementation of an Environment for Component-Based Parallel Programming / Francisco Heron de Carvalho Junior ; Rafael Dueire Lins ; Ricardo Cordeiro Correa ; Gisele Araujo ; Chanderlie Freire de Santiago
Anahy: A Programming Environment for Cluster Computing / Gerson Geraldo H. Cavalheiro ; Luciano Paschoal Gaspary ; Marcelo Augusto Cardozo ; Otavio Correa Cordeiro
DWMiner: A Tool for Mining Frequent Item Sets Efficiently in Data Warehouses / Bruno Kinder Almentero ; Alexandre Goncalves Evsukoff
A Parallel Implementation of the K Nearest Neighbours Classifier in Three Levels: Threads, MPI Processes and the Grid / G. Aparicio ; I. Blanquer
On the Use of the MMC Language to Utilize SIMD Instruction Set / Patricio Bulic ; Veselko Gustin
A Versatile Pipelined Hardware Implementation for Encryption and Decryption Using Advanced Encryption Standard / Nadia Nedjah ; Luiza de Macedo Mourelle
Numerical Methods / Chapter 3：
Combinatorial Scientific Computing: The Enabling Power of Discrete Algorithms in Computational Science / Bruce Hendrickson ; Alex Pothen
Improving the Numerical Simulation of an Airflow Problem with the BlockCGSI Algorithm / C. Balsa ; M. Braza ; M. Dayde ; J. Palma ; D. Ruiz
EdgePack: A Parallel Vertex and Node Reordering Package for Optimizing Edge-Based Computations in Unstructured Grids / Marcos Martins ; Renato Elias ; Alvaro Coutinho
Parallel Processing of Matrix Multiplication in a CPU and GPU Heterogeneous Environment / Satoshi Ohshima ; Kenji Kise ; Takahiro Katagiri ; Toshitsugu Yuba
Robust Two-Level Lower-Order Preconditioners for a Higher-Order Stokes Discretization with Highly Discontinuous Viscosities / Duilio Conceicao ; Paulo Goldfeld ; Marcus Sarkis
The Impact of Parallel Programming Models on the Performance of Iterative Linear Solvers for Finite Element Applications / Kengo Nakajima
Efficient Parallel Algorithm for Constructing a Unit Triangular Matrix with Prescribed Singular Values / Georgina Flores-Becerra ; Victor M. Garcia ; Antonio M. Vidal
A Rewriting System for the Vectorization of Signal Transforms / Franz Franchetti ; Yevgen Voronenko ; Markus Puschel
High Order Fourier-Spectral Solutions to Self Adjoint Elliptic Equations / Moshe Israeli ; Alexander Sherman
Multiresolution Simulations Using Particles / Michael Bergdorf ; Petros Koumoutsakos
Evaluation of Several Variants of Explicitly Restarted Lanczos Eigensolvers and Their Parallel Implementations / J.E. Roman ; A. Tomas
PyACTS: A High-Level Framework for Fast Development of High Performance Applications / L.A. Drummond ; V. Galiano ; O. Marques ; V. Migallon ; J. Penades
Sequential and Parallel Resolution of the Two-Group Transient Neutron Diffusion Equation Using Second-Degree Iterative Methods / Omar Flores-Sanchez ; Vicente E. Vidal ; Pedro Flores-Sanchez
Enhancing the Performance of Multigrid Smoothers in Simultaneous Multithreading Architectures / Carlos Garcia ; Manuel Prieto ; Javier Setoain ; Francisco Tirado
Block Iterative Algorithms for the Solution of Parabolic Optimal Control Problems / Christian E. Schaerer ; Tarek Mathew
Evaluation of Linear Solvers for Astrophysics Transfer Problems / Osni Marques ; Paulo B. Vasconcelos
Large Scale Simulations in Physics / Chapter 4：
Scalable Cosmological Simulations on Parallel Machines / Filippo Gioachin ; Amit Sharma ; Sayantan Chakravorty ; Celso L. Mendes ; Laxmikant V. Kale ; Thomas Quinn
Performance Evaluation of Scientific Applications on Modern Parallel Vector Systems / Jonathan Carter ; Leonid Oliker ; John Shalf
Numerical Simulation of Three-Phase Flow in Heterogeneous Porous Media / Eduardo Abreu ; Frederico Furtado ; Felipe Pereira
Simulation of Laser Propagation in a Plasma with a Frequency Wave Equation / R. Sentis ; S. Desroziers ; F. Nataf
A Particle Gradient Evolutionary Algorithm Based on Statistical Mechanics and Convergence Analysis / Kangshun Li ; Wei Li ; Zhangxin Chen ; Feng Wang
Computing in Biosciences / Chapter 5：
A Computational Framework for Cardiac Modeling Based on Distributed Computing and Web Applications / D.M.S. Martins ; F.O. Campos ; L.N. Ciuffo ; R.S. Oliveira ; R.M. Amorim ; V.F. Vieira ; N.F.F. Ebecken ; C.B. Barbosa ; R. Weber dos Santos
Triangular Clique Based Multilevel Approaches to Identify Protein Functional Modules / S. Oliveira ; S.C. Seok
BioPortal: A Portal for Deployment of Bioinformatics Applications on Cluster and Grid Environments / Kuan-Ching Li ; Chiou-Nan Chen ; Tsung-Ying Wu ; Chia-Hsien Wen ; Chuan Yi Tang
Computational Grids and Clusters / Workshop 1：
Adaptive Distributed Metamodeling / Dirk Gorissen ; Karel Crombecq ; Wouter Hendrickx ; Tom Dhaene
Distributed General Logging Architecture for Grid Environments / Carlos de Alfonso ; Miguel Caballer ; Jose V. Carrion ; Vicente Hernandez
Interoperability Between UNICORE and ITBL / Yoshio Suzuki ; Takahiro Minami ; Masayuki Tani ; Norihiro Nakajima ; Rainer Keller ; Thomas Beisel
Using Failure Injection Mechanisms to Experiment and Evaluate a Grid Failure Detector / Sebastien Monnet ; Marin Bertier
Semantic-Based Service Trading: Application to Linear Algebra / Michel Dayde ; Aurelie Hurault ; Marc Pantel
Management of Services Based on a Semantic Description Within the GRID-TLSE Project / Patrick Amestoy ; Christophe Hamerling ; Chiara Puglisi
Extending the Services and Sites of Production Grids by the Support of Advanced Portals
High-Performance Data Management in Grid Environments / Workshop 2：
PSO-Grid Data Replication Service / Victor Mendez Munoz ; Felix Garcia Carballeira
Execution Management of Scientific Models on Computational Grids / Alexandre Vassallo ; Cristiane Oliveira ; Carla Osthoff ; Halisson Brito ; Julia Strauch ; Jano Souza
Replica Refresh Strategies in a Database Cluster / Cecile Le Pape ; Stephane Gancarski
A Practical Evaluation of a Data Consistency Protocol for Efficient Visualization in Grid Applications / Gabriel Antoniu ; Loic Cudennec
Experiencing Data Grids / Nicolaas Ruberg ; Nelson Kotowski ; Amanda Mattos ; Luciana Matos ; Melissa Machado ; Daniel Oliveira ; Rafael Monclar ; Claudio Ferraz ; Talitta Sanchotene ; Vanessa Braganholo
Author Index
Grid Computing / Chapter 1：
An Opportunistic Algorithm for Scheduling Workflows on Grids / Luiz Meyer ; Doug Scheftner ; Jens Vockler ; Marta Mattoso ; Mike Wilde ; Ian Foster
A Service Oriented System for on Demand Dynamic Structural Analysis over Computational Grids / J.M. Alonso ; V. Hernandez ; R. Lopez ; G. Molto
41.

電子ブック
ＥＢ
41. WALCOM: Algorithms and Computation
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
On Three-Dimensional Graph Drawing and Embedding / Sue Whitesides
Graph Algorithms I
Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression / Takeaki Uno ; Ryuhei Uehara ; Shin-ichi Nakano
Generalized Above Guarantee Vertex Cover and r-Partization / R. Krithika ; N.S. Narayanaswamy
Computational Geometry
Farthest Voronoi Diagrams under Travel Time Metrics / Sang Won Bae ; Kyung-Yong Chwa
Tight Bound for Farthest-Color Voronoi Diagrams of Line Segments
Range Aggregate Maximal Points in the Plane / Ananda Swarup Das ; Prosenjit Gupta ; Anil Kishore Kalavagattu ; Jatin Agarwal ; Kannan Srinathan ; Kishore Kothapalli
Approximation Algorithms
Approximating the Multi-level Bottleneck Assignment Problem / Trivikram Dokka ; Anastasia Kouvela ; Frits C.R. Spieksma
Reoptimization of the Maximum Weighted Pk-Free Subgraph Problem under Vertex Insertion / Nicolas Boria ; Jérôme Monnot ; Vangelis Th. Paschos
Comparing and Aggregating Partial Orders with Kendall Tau Distances / Franz J. Brandenburg ; Andreas Gleiβner ; Andreas Hofmeier
Graph Algorithms II
On the Round-Trip 1-Center and 1-Median Problems / Biing-Feng Wang ; Jhih-Hong Ye ; Pei-Jung Chen
Triangle-Free Outerplanar 3-Graphs Are Pairwise Compatibility Graphs / Sammi Abida Salma ; Md. Saidur Rahman
On Relaxing the Constraints in Pairwise Compatibility Graphs / Tiziana Calamoneri ; Rossella Petreschi ; Blerina Sinaimeri
Graph Drawing I
Universal Line-Sets for Drawing Planar 3-Trees / Md. Iqbal Hossain ; Debajyoti Mondal
On the Hardness of Point-Set Embeddability / Stephane Durocher
String and Data Structures
Linear Time Inference of Strings from Cover Arrays Using a Binary Alphabet / Tanaeem M. Moosa ; Sumaiya Nazeen ; M. Sohel Rahman ; Rezwana Reaz
Fat Heaps without Regular Counters / Amr Elmasry ; Jyrki Katajainen
Graph Drawing II
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Tamara Mchedlidze ; Joachim Spoerhase ; Alexander Wolff
Drawing Unordered Trees on k-Grids / Christian Bachmaier ; Marco Matzeder
Heuristics for the Maximum 2-layer RAC Subgraph Problem / Emilio Di Giacomo ; Walter Didimo ; Luca Grilli ; Giuseppe Liotta ; Salvatore A. Romeo
Games and Cryptography
Nash Equilibria with Minimum Potential in Undirected Broadcast Games / Yasushi Kawase ; Kazuhisa Makino
Calculating Average Joint, Hamming Weight for Minimal Weight Conversion of d Integers / Vorapong Suppakitpaisarn ; Masato Edahiro ; Hiroshi Imai
Author Index
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
42.

電子ブック
ＥＢ
42. Security and Intelligent Information Systems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Correspondences on Hyperelliptic Curves and Applications to the Discrete Logarithm / Gerhard Frey ; Ernst Kani
Bare-Bones Dependency Parsing / Joakim Nivre
Security and Trust
Solving Soft Security Problem in MANETs Using an Evolutionary Approach / Marcin Seredynski ; Pascal Bouvry
Camera Sabotage Detection for Surveillance Systems / Damian Ellwart ; Piotr Szczuko ; Andrzej Czyzewski
Implementation of Access Control Model for Distributed Information Systems Using Usage Control / Aneta Poniszewska-Maranda
Beyond TOR: The TrueNyms Protocol / Nicolas Bernard ; Franck Leprévost
A Signature Scheme for Distributed Executions Based on Control Flow Analysis / Sébastien Varrette ; Benoît Bertholon
Computational Aspects of Attack-Defense Trees / Barbara Kordy ; Marc Pouly ; Patrick Schweitzer
Attacks on Simplified Versions of K2 / Deike Priemuth-Schmid
Data Mining and Machine Learning
Model Selection in Logistic Regression Using p-Values and Greedy Search / Jan Mielniczuk ; Pawel Teisseyre
Landau Theory of Meta-learning / Dariusz Plewczynski
Multi-Test Decision Trees for Gene Expression Data Analysis / Marcin Czajkowski ; Marek Grzes ; Marek Kretowski
Rule-Based Approach to Computational Stylistics / Urszula Stañczyk
Differential Evolution for High Scale Dynamic Optimization
Mikolaj Raciborski / Krzysztof Trojanowski ; Piotr Kaczyñski
Towards an Open CL Implementation of Genetic Algorithms on GPUs / Tadeusz Puźniakowski ; Marek A. Bednarczyk
Evolutionary Algorithm Parameter Tuning with Sensitivity Analysis / Frédéric Pinel ; Grégoire Danoy
Image Recognition System for Diagnosis Support of Melanoma Skin Lesion / Pawel Cudek ; Wieslaw Paja ; Mariusz Wrzesien
Playing in Unison in the Random Forest / Alicja A. Wieczorkowska ; Miron B. Kursa ; Elzbieta Kubera ; Radoslaw Rudnicki ; Witold R. Rudnicki
Scale Invariant Bipartite Graph Generative Model / Szymon Chojnacki ; Mieczyslaw A. Klopotek
Introducing Diversity to Log-Based Query Suggestions to Deal with Underspecified User Queries / Marcin Sydow ; Krzysztof Ciesielski ; Jakub Wajda
Wikipedia-Based Document Categorization / Piotr Borkowski ; Kamil Wysocki
Natural Language Processing
Preliminary Experiments in Polish Dependency Parsing / Alina Wróblewska ; Marcin Wolinski
Evaluation Method for Automated Wordnet Expansion / Bartosz Broda ; Roman Kurc ; Maciej Piasecki ; Radoslaw Ramocki
Mining Class Association Rules for Word Sense Disambiguation / Lukasz Kobylinski
An Ontology-Based Method for an Efficient Acquisition of Relation Extraction Training and Testing Examples / Aleksander Pohl
Rich Set of Features for Proper Name Recognition in Polish Texts / Michal Marcinczuk ; Michal Stanek ; Adam Musial
Similarity-Based Method of Detecting Diathesis Alternations in Semantic Valence Dictionary of Polish Verbs / Elzbieta Hajnicz
Combining Polish Morphosyntactic Taggers / Tomasz Śniatowski
Towards the Lemmatisation of Polish Nominal Syntactic Groups Using a Shallow Grammar / Lukasz Degórski
SyMGiza++: Symmetrized Word Alignment Models for Statistical Machine Translation / Marcin Junczys-Dowmunt ; Arkadiusz Szal
How Opinion Annotations and Ontologies Become Objective? / Aleksander Wawer ; Krzysztof Sakwerda
Author Index
Invited Papers
Correspondences on Hyperelliptic Curves and Applications to the Discrete Logarithm / Gerhard Frey ; Ernst Kani
Bare-Bones Dependency Parsing / Joakim Nivre
43.

電子ブック
ＥＢ
43. WALCOM: Algorithms and Computation
David Hutchison, Takeo Kanade, Josef Kittler, Shin-ichi Nakano
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
On Three-Dimensional Graph Drawing and Embedding / Sue Whitesides
Graph Algorithms I
Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression / Takeaki Uno ; Ryuhei Uehara ; Shin-ichi Nakano
Generalized Above Guarantee Vertex Cover and r-Partization / R. Krithika ; N.S. Narayanaswamy
Computational Geometry
Farthest Voronoi Diagrams under Travel Time Metrics / Sang Won Bae ; Kyung-Yong Chwa
Tight Bound for Farthest-Color Voronoi Diagrams of Line Segments
Range Aggregate Maximal Points in the Plane / Ananda Swarup Das ; Prosenjit Gupta ; Anil Kishore Kalavagattu ; Jatin Agarwal ; Kannan Srinathan ; Kishore Kothapalli
Approximation Algorithms
Approximating the Multi-level Bottleneck Assignment Problem / Trivikram Dokka ; Anastasia Kouvela ; Frits C.R. Spieksma
Reoptimization of the Maximum Weighted Pk-Free Subgraph Problem under Vertex Insertion / Nicolas Boria ; Jérôme Monnot ; Vangelis Th. Paschos
Comparing and Aggregating Partial Orders with Kendall Tau Distances / Franz J. Brandenburg ; Andreas Gleiβner ; Andreas Hofmeier
Graph Algorithms II
On the Round-Trip 1-Center and 1-Median Problems / Biing-Feng Wang ; Jhih-Hong Ye ; Pei-Jung Chen
Triangle-Free Outerplanar 3-Graphs Are Pairwise Compatibility Graphs / Sammi Abida Salma ; Md. Saidur Rahman
On Relaxing the Constraints in Pairwise Compatibility Graphs / Tiziana Calamoneri ; Rossella Petreschi ; Blerina Sinaimeri
Graph Drawing I
Universal Line-Sets for Drawing Planar 3-Trees / Md. Iqbal Hossain ; Debajyoti Mondal
On the Hardness of Point-Set Embeddability / Stephane Durocher
String and Data Structures
Linear Time Inference of Strings from Cover Arrays Using a Binary Alphabet / Tanaeem M. Moosa ; Sumaiya Nazeen ; M. Sohel Rahman ; Rezwana Reaz
Fat Heaps without Regular Counters / Amr Elmasry ; Jyrki Katajainen
Graph Drawing II
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles / Martin Fink ; Jan-Henrik Haunert ; Tamara Mchedlidze ; Joachim Spoerhase ; Alexander Wolff
Drawing Unordered Trees on k-Grids / Christian Bachmaier ; Marco Matzeder
Heuristics for the Maximum 2-layer RAC Subgraph Problem / Emilio Di Giacomo ; Walter Didimo ; Luca Grilli ; Giuseppe Liotta ; Salvatore A. Romeo
Games and Cryptography
Nash Equilibria with Minimum Potential in Undirected Broadcast Games / Yasushi Kawase ; Kazuhisa Makino
Calculating Average Joint, Hamming Weight for Minimal Weight Conversion of d Integers / Vorapong Suppakitpaisarn ; Masato Edahiro ; Hiroshi Imai
Author Index
Invited Talks
Combinatorial Optimization with Noisy Inputs: How Can We Separate the Wheat from the Chaff? / Peter Widmayer
Approximability of Stable Matching Problems / Kazuo Iwama
44.

電子ブック
ＥＢ
44. Tools and Algorithms for the Construction and Analysis of Systems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem ; Divya Gopinath ; Sarfraz Khurshid ; Kathryn S. McKinley
The Guardol Language and Verification System / David Hardin ; Konrad Slind ; Michael Whalen ; Tuan-Hung Pham
A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox ; Sriram Sankaranarayanan ; Bor-Yuh Evan Chang
Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva ; Leopold Haller ; Daniel Kroening ; Michael Tautschnig
Automata
Ramsey-Based Analysis of Parity Automata / Oliver Friedmann ; Martin Lange
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondrej Lengál ; Jirí Simácek ; Tomáš Vojnar
LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak ; Mojmír Kretínský ; Vojtech Rehák ; Jan Strejcek
Model Checking
Pushdown Model Checking for Malware Detection / Fu Song ; Tayssir Touili
Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen ; Micah M. Jones ; Meera Sridhar
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang ; Radu Mateescu
From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi ; Arie Gurfinkel ; Marsha Chechik
Case Studies
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang ; Miroslav Pajic ; Salar Moarref ; Rajeev Alur ; Rahul Mangharam
Memory Models and Termination
Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla ; Mohamed Faouzi Atig ; Yu-Fang Chen ; Carl Leonardsson ; Ahmed Rezine
Java Memory Model-Aware Model Checking / Huafeng Jin ; Tuba Yavuz-Kahveci ; Beverly A. Sanders
Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea ; Andrey Rybalchenko
Deciding Conditional Termination / Marius Bozga ; Radu Iosif ; Filip Konecný
Internet Protocol Verification
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando ; Wihem Arsac ; Tigran Avanesov ; Michele Barletta ; Alberto Calvi ; Alessandro Cappai ; Roberto Carbone ; Yannick Chevalier ; Luca Compagna ; Jorge Cuéllar ; Gabriel Erzse ; Simone Frau ; Marius Minea ; Sebastian Mödersheim ; David von Oheimb ; Giancarlo Pellegrino ; Serena Elisa Ponta ; Marco Rocchetto ; Michael Rusinowitch ; Mohammad Torabi Dashti ; Mathieu Turuani ; Luca Viganò
Reduction-Based Formal Analysis of BGP Instances / Anduo Wang ; Carolyn Talcott ; Alexander J.T. Gurney ; Boon Thau Loo ; Andre Scedrov
Stochastic Model Checking
Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer ; Nils Jansen ; Erika Ábrahám ; Bernd Becker ; Joost-Pieter Katoen
Automatic Verification of Competitive Stochastic Systems / Taolue Chen ; Vojtech Forejt ; Marta Kwiatkowska ; David Parker ; Aistis Simaitis
Coupling and Importance Sampling for Statistical Model Checking / Benoit Barbot ; Serge Haddad ; Claudine Picaronny
Verifying pCTL Model Checking / Johannes Hölzl ; Tobias Nipkow
Synthesis
Parameterized Synthesis / Swen Jacobs ; Roderick Bloem
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh ; Cheng-Yin Wu ; Chung-Yang (Ric) Huang
Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner ; Hans-Jörg Peter
Provers and Analysis Techniques
Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex ; Sophia Drossopoulou ; Susan Eisenbach
A Proof Assistant for Alloy Specifications / Mattias Ulbrich ; Ulrich Geilmann ; Aboubakr Achraf El Ghazi ; Mana Taghdiri
Reachability under Contextual Locking / Rohit Chadha ; P. Madhusudan ; Mahesh Viswanathan
Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani ; Michael Emmi
Tool Demonstrations
Demonstrating Learning of Register Automata / Maik Merten ; Falk Howar ; Bernhard Steffen ; Sofia Cassel ; Bengt Jonsson
Symbolic Automata: The Toolkit / Margus Veanes ; Nikolaj Bjørner
McScM: A General Framework for the Verification of Communicating Machines / Alexander Heuβner ; Tristan Le Gall ; Grégoire Sutre
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires ; Hugo Torres Vieira
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David ; Lasse Jacobsen ; Morten Jacobsen ; Kenneth Yrke Jørgensen ; Mikael H. Møller ; Jirí Srba
A Platform for High Performance Statistical Model Checking - PLASMA / Cyrille Jegourel ; Axel Legay ; Sean Sedwards
Competition on Software Verification
Competition on Software Verification (SV-COMP) / Dirk Beyer
Predicate Analysis with BLAST 2.7 (Competition Contribution) / Pavel Shved ; Mikhail Mandrykin ; Vadim Mutilin
CPAchecker with Adjustable Predicate Analysis (Competition Contribution) / Stefan Löwe ; Philipp Wendler
Block Abstraction Memoization for CPAchecker (Competition Contribution) / Daniel Wonisch
Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution) / Lucas Cordeiro ; Jeremy Morse ; Denis Nicole ; Bernd Fischer
Proving Reachability Using FShell (Competition Contribution) / Andreas Holzer ; Christian Schallhart ; Helmut Veith
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation (Competition Contribution) / Carsten Sinz ; Florian Merz ; Stephan Falke
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution) / Kamil Dudka ; Petr Müller ; Petr Peringer
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) / Sergey Grebenshchikov ; Ashutosh Gupta ; Nuno P. Lopes
SatAbs: A Bit-Precise Verifier for C Programs (Competition Contribution) / Gérard Basler ; Alastair Donaldson ; Alexander Kaiser ; Thomas Wahl
Wolverine: Battling Bugs with Interpolants (Competition Contribution) / Georg Weissenbacher ; Sharad Malik
Author Index
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
45.

電子ブック
ＥＢ
45. Theory and Applications of Models of Computation
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Turing Lectures 2012
On the Impact of Turing Machines / John Hopcroft
From Turing Machine to Morphogenesis: Forming and Informing Computation / S. Barry Cooper
Theory of Computation as an Enabling Tool for the Sciences / Richard M. Karp
Interaction and Collective Intelligence on the Internet / Deyi Li ; Liwei Huang
What Computers Do: Model, Connect, Engage / Butler Lampson
R-Calculus: A Logical Inference System for Scientific Discovery / Wei Li
Quantum Computing: A Great Science in the Making / Andrew Chi-Chih Yao
The Convergence of Social and Technological Networks / Jon Kleinberg
Invited Lectures
Principles of Network Computing / Yicheng Pan
The Small Community Phenomenon in Networks: Models, Algorithms and Applications / Pan Peng
Vertex-Pursuit in Hierarchical Social Networks / A. Bonato ; D. Mitsche ; P. Pralat
A Structural Approach to Prophecy Variables / Zipeng Zhang ; Xinyu Feng ; Ming Fu ; Zhong Shao ; Yong Li
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP / Shuling Wang ; Naijun Zhan ; Dimitar Guelev
Automatic Verification of Real-Time Systems with Rich Data: An Overview / Ernst-Rüdiger Olderog
Program Analysis Using Quantifier-Elimination Heuristics (Extended Abstract) / Deepak Kapur
Electron Tomography and Multiscale Biology / Albert F. Lawrence ; Séastien Phan ; Mark Ellisman
Contributed Papers
Constant-Tune Approximation Algorithms for the Knapsack Problem / Hiro Ito ; Susumu Kiyoshima ; Yuichi Yoshida
Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices / Jingguo Bi ; Qi Cheng
Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions / Michal Cerný ; Miroslav Rada
Hardness and Approximation of the Asynchronous Border Minimization Problem (Extended Abstract) / Alexandra Popa ; Prudence W.H. Wong ; Fencol C.C. Yung
Asymptotic Limits of a New Type of Maximization Recurrence with an Application to Bioinformatics / Kun-Mao Chao ; An-Chiang Chu ; Jesper Jansson ; Richard S. Lemence ; Alban Mancheron
Computing Bits of Algebraic Numbers / Samir Datta ; Rameshuiar Pratap
Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms / Bruno Escoffier ; Vangelis Th. Paschos ; Emetic Tourniaire
Computing Error Distance of Reed-Solomon Codes / Guizhen Zhu ; Daqing Wan
Coordination Mechanisms for Selfish Parallel Jobs Scheduling (Extended Abstract) / Deshi Ye ; Guochuan Zhang
Computationally-Fair Group and Identity-Based Key-Exchange / Andrew C. Yao ; Yunlei Zhao
Timed Encryption with Application to Deniable Key Exchange / Shaoquan Jiang
Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines (Extended Abstract) / Sheng Yu ; Jude-Thaddeus Ojiaku ; Yinfeng Xu
A Surprisingly Simple Way of Reversing Trace Distance via Entanglement / Jun Yan
Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields / Jun Zhang ; Fang-Wei Fu
Stopping Set Distributions of Algebraic Geometry Codes from Elliptic Curves / Fang- Wei Fu
Energy-Efficient Network Routing with Discrete Cost Functions / Lin Wang ; Antonio Fernández Anta ; Fa Zhang ; Chenying Hou ; Zhiyong Liu
An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval / Xiao Yang ; Florian Sikora ; Guillaume Blin ; Sylvie Hamel ; Romeo Rizzi ; Srinivas Aluru
The Worst Case Behavior of Randomized Gossip / H. Baumann ; P. Fraigniaud ; H.A. Harutyunyan ; R. de Verclos
Holographic Algorithms on Domain Size k > 2 / Zhiguo Fu ; Jin-Yi Cai
A Refined Exact Algorithm for Edge Dominating Set / Mingyu Xiao ; Hiroshi Nagamochi
Finite Automata over Structures (Extended Abstract) / Aniruddh Gandhi ; Bakhadyr Khoussainov ; Jiamou Liu
Deterministic Distributed Data Aggregation under the SINR Model / Nathaniel Hobbs ; Yuexuan Wang ; Qiang-Sheng Hua ; Dongxiao Yu ; Francis C.M. Lau
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication / Marcos Villagra ; Masaki Nakanishi ; Shigeru Yamashita ; Yasuhiko Nakashima
Speed Scaling Problems with Memory/Cache Consideration / Weiwei Wu ; Minming Li ; He Huang ; Enhong Chen
On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data / Sanjay Jain ; Frank Stephan ; Thomas Zeugmann
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants / Denys Duchier ; Jérôme Durand-Lose ; Maxime Senot
Online Optimization of Busy Time on Parallel Machines (Extended Abstract) / Mordechai Shalom ; Ariella Voloshin ; Fencol C. C. Yung ; Shmuel Zaks
Bisection (Band) Width of Product Networks with Application to Data Centers / Jordi Arjona Aroca
Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations / Beate Bollig ; Marc Gillé ; Tobias Pröger
A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks / Jin Li ; Weiyi Liu ; Kun Yue
Proving Liveness Property under Strengthened Compassion Requirements / Teng Long ; Wenhui Zhang
Realizing Monads in Interaction Nets via Generic Typed Rules / Eugen Jiresch ; Bernhard Gramlich
Towards an Axiomatization of Simple Analog Algorithms / Olivier Bournez ; Nachum Dershowitz ; Eugenia Falkovich
Multiple Usage of Random Bits in Finite Automata / Rusinš Freivalds
Minimum Certificate Dispersal with Tree Structures / Taisuke Izumi ; Tomoko Izumi ; Hirotaka Ono ; Koichi Wada
Improved FPT Algorithms for Rectilinear k-Links Spanning Path / Jianxin Wang ; Jinyi Yao ; Qilong Feng ; Jianer Chen
FPT Results for Signed Domination / Ying Zheng
Submodular Minimization via Pathwidth
A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs / Martin Nehéz ; Daniel Olejár ; Michal Demetrian
An Application of 1-Genericity in the Π20 Enumeration Degrees / Liliana Badillo ; Charles M. Harris
Author Index
Turing Lectures 2012
On the Impact of Turing Machines / John Hopcroft
From Turing Machine to Morphogenesis: Forming and Informing Computation / S. Barry Cooper
46.

電子ブック
ＥＢ
46. Theory and Applications of Models of Computation
David Hutchison, Takeo Kanade, Barry S. Cooper, Angsheng Li
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Turing Lectures 2012
On the Impact of Turing Machines / John Hopcroft
From Turing Machine to Morphogenesis: Forming and Informing Computation / S. Barry Cooper
Theory of Computation as an Enabling Tool for the Sciences / Richard M. Karp
Interaction and Collective Intelligence on the Internet / Deyi Li ; Liwei Huang
What Computers Do: Model, Connect, Engage / Butler Lampson
R-Calculus: A Logical Inference System for Scientific Discovery / Wei Li
Quantum Computing: A Great Science in the Making / Andrew Chi-Chih Yao
The Convergence of Social and Technological Networks / Jon Kleinberg
Invited Lectures
Principles of Network Computing / Yicheng Pan
The Small Community Phenomenon in Networks: Models, Algorithms and Applications / Pan Peng
Vertex-Pursuit in Hierarchical Social Networks / A. Bonato ; D. Mitsche ; P. Pralat
A Structural Approach to Prophecy Variables / Zipeng Zhang ; Xinyu Feng ; Ming Fu ; Zhong Shao ; Yong Li
An Assume/Guarantee Based Compositional Calculus for Hybrid CSP / Shuling Wang ; Naijun Zhan ; Dimitar Guelev
Automatic Verification of Real-Time Systems with Rich Data: An Overview / Ernst-Rüdiger Olderog
Program Analysis Using Quantifier-Elimination Heuristics (Extended Abstract) / Deepak Kapur
Electron Tomography and Multiscale Biology / Albert F. Lawrence ; Séastien Phan ; Mark Ellisman
Contributed Papers
Constant-Tune Approximation Algorithms for the Knapsack Problem / Hiro Ito ; Susumu Kiyoshima ; Yuichi Yoshida
Lower Bounds of Shortest Vector Lengths in Random NTRU Lattices / Jingguo Bi ; Qi Cheng
Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions / Michal Cerný ; Miroslav Rada
Hardness and Approximation of the Asynchronous Border Minimization Problem (Extended Abstract) / Alexandra Popa ; Prudence W.H. Wong ; Fencol C.C. Yung
Asymptotic Limits of a New Type of Maximization Recurrence with an Application to Bioinformatics / Kun-Mao Chao ; An-Chiang Chu ; Jesper Jansson ; Richard S. Lemence ; Alban Mancheron
Computing Bits of Algebraic Numbers / Samir Datta ; Rameshuiar Pratap
Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms / Bruno Escoffier ; Vangelis Th. Paschos ; Emetic Tourniaire
Computing Error Distance of Reed-Solomon Codes / Guizhen Zhu ; Daqing Wan
Coordination Mechanisms for Selfish Parallel Jobs Scheduling (Extended Abstract) / Deshi Ye ; Guochuan Zhang
Computationally-Fair Group and Identity-Based Key-Exchange / Andrew C. Yao ; Yunlei Zhao
Timed Encryption with Application to Deniable Key Exchange / Shaoquan Jiang
Online Makespan Scheduling of Linear Deteriorating Jobs on Parallel Machines (Extended Abstract) / Sheng Yu ; Jude-Thaddeus Ojiaku ; Yinfeng Xu
A Surprisingly Simple Way of Reversing Trace Distance via Entanglement / Jun Yan
Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields / Jun Zhang ; Fang-Wei Fu
Stopping Set Distributions of Algebraic Geometry Codes from Elliptic Curves / Fang- Wei Fu
Energy-Efficient Network Routing with Discrete Cost Functions / Lin Wang ; Antonio Fernández Anta ; Fa Zhang ; Chenying Hou ; Zhiyong Liu
An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval / Xiao Yang ; Florian Sikora ; Guillaume Blin ; Sylvie Hamel ; Romeo Rizzi ; Srinivas Aluru
The Worst Case Behavior of Randomized Gossip / H. Baumann ; P. Fraigniaud ; H.A. Harutyunyan ; R. de Verclos
Holographic Algorithms on Domain Size k > 2 / Zhiguo Fu ; Jin-Yi Cai
A Refined Exact Algorithm for Edge Dominating Set / Mingyu Xiao ; Hiroshi Nagamochi
Finite Automata over Structures (Extended Abstract) / Aniruddh Gandhi ; Bakhadyr Khoussainov ; Jiamou Liu
Deterministic Distributed Data Aggregation under the SINR Model / Nathaniel Hobbs ; Yuexuan Wang ; Qiang-Sheng Hua ; Dongxiao Yu ; Francis C.M. Lau
Tensor Rank and Strong Quantum Nondeterminism in Multiparty Communication / Marcos Villagra ; Masaki Nakanishi ; Shigeru Yamashita ; Yasuhiko Nakashima
Speed Scaling Problems with Memory/Cache Consideration / Weiwei Wu ; Minming Li ; He Huang ; Enhong Chen
On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data / Sanjay Jain ; Frank Stephan ; Thomas Zeugmann
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants / Denys Duchier ; Jérôme Durand-Lose ; Maxime Senot
Online Optimization of Busy Time on Parallel Machines (Extended Abstract) / Mordechai Shalom ; Ariella Voloshin ; Fencol C. C. Yung ; Shmuel Zaks
Bisection (Band) Width of Product Networks with Application to Data Centers / Jordi Arjona Aroca
Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations / Beate Bollig ; Marc Gillé ; Tobias Pröger
A Game-Theoretic Approach for Balancing the Tradeoffs between Data Availability and Query Delay in Multi-hop Cellular Networks / Jin Li ; Weiyi Liu ; Kun Yue
Proving Liveness Property under Strengthened Compassion Requirements / Teng Long ; Wenhui Zhang
Realizing Monads in Interaction Nets via Generic Typed Rules / Eugen Jiresch ; Bernhard Gramlich
Towards an Axiomatization of Simple Analog Algorithms / Olivier Bournez ; Nachum Dershowitz ; Eugenia Falkovich
Multiple Usage of Random Bits in Finite Automata / Rusinš Freivalds
Minimum Certificate Dispersal with Tree Structures / Taisuke Izumi ; Tomoko Izumi ; Hirotaka Ono ; Koichi Wada
Improved FPT Algorithms for Rectilinear k-Links Spanning Path / Jianxin Wang ; Jinyi Yao ; Qilong Feng ; Jianer Chen
FPT Results for Signed Domination / Ying Zheng
Submodular Minimization via Pathwidth
A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs / Martin Nehéz ; Daniel Olejár ; Michal Demetrian
An Application of 1-Genericity in the Π20 Enumeration Degrees / Liliana Badillo ; Charles M. Harris
Author Index
Turing Lectures 2012
On the Impact of Turing Machines / John Hopcroft
From Turing Machine to Morphogenesis: Forming and Informing Computation / S. Barry Cooper
47.

電子ブック
ＥＢ
47. Tools and Algorithms for the Construction and Analysis of Systems
David Hutchison, Takeo Kanade, Barbara König
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem ; Divya Gopinath ; Sarfraz Khurshid ; Kathryn S. McKinley
The Guardol Language and Verification System / David Hardin ; Konrad Slind ; Michael Whalen ; Tuan-Hung Pham
A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox ; Sriram Sankaranarayanan ; Bor-Yuh Evan Chang
Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva ; Leopold Haller ; Daniel Kroening ; Michael Tautschnig
Automata
Ramsey-Based Analysis of Parity Automata / Oliver Friedmann ; Martin Lange
VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondrej Lengál ; Jirí Simácek ; Tomáš Vojnar
LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak ; Mojmír Kretínský ; Vojtech Rehák ; Jan Strejcek
Model Checking
Pushdown Model Checking for Malware Detection / Fu Song ; Tayssir Touili
Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen ; Micah M. Jones ; Meera Sridhar
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang ; Radu Mateescu
From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi ; Arie Gurfinkel ; Marsha Chechik
Case Studies
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker ; Rob van Glabbeek ; Peter Höfner ; Annabelle McIver ; Marius Portmann ; Wee Lum Tan
Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang ; Miroslav Pajic ; Salar Moarref ; Rajeev Alur ; Rahul Mangharam
Memory Models and Termination
Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla ; Mohamed Faouzi Atig ; Yu-Fang Chen ; Carl Leonardsson ; Ahmed Rezine
Java Memory Model-Aware Model Checking / Huafeng Jin ; Tuba Yavuz-Kahveci ; Beverly A. Sanders
Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea ; Andrey Rybalchenko
Deciding Conditional Termination / Marius Bozga ; Radu Iosif ; Filip Konecný
Internet Protocol Verification
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando ; Wihem Arsac ; Tigran Avanesov ; Michele Barletta ; Alberto Calvi ; Alessandro Cappai ; Roberto Carbone ; Yannick Chevalier ; Luca Compagna ; Jorge Cuéllar ; Gabriel Erzse ; Simone Frau ; Marius Minea ; Sebastian Mödersheim ; David von Oheimb ; Giancarlo Pellegrino ; Serena Elisa Ponta ; Marco Rocchetto ; Michael Rusinowitch ; Mohammad Torabi Dashti ; Mathieu Turuani ; Luca Viganò
Reduction-Based Formal Analysis of BGP Instances / Anduo Wang ; Carolyn Talcott ; Alexander J.T. Gurney ; Boon Thau Loo ; Andre Scedrov
Stochastic Model Checking
Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer ; Nils Jansen ; Erika Ábrahám ; Bernd Becker ; Joost-Pieter Katoen
Automatic Verification of Competitive Stochastic Systems / Taolue Chen ; Vojtech Forejt ; Marta Kwiatkowska ; David Parker ; Aistis Simaitis
Coupling and Importance Sampling for Statistical Model Checking / Benoit Barbot ; Serge Haddad ; Claudine Picaronny
Verifying pCTL Model Checking / Johannes Hölzl ; Tobias Nipkow
Synthesis
Parameterized Synthesis / Swen Jacobs ; Roderick Bloem
QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh ; Cheng-Yin Wu ; Chung-Yang (Ric) Huang
Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner ; Hans-Jörg Peter
Provers and Analysis Techniques
Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex ; Sophia Drossopoulou ; Susan Eisenbach
A Proof Assistant for Alloy Specifications / Mattias Ulbrich ; Ulrich Geilmann ; Aboubakr Achraf El Ghazi ; Mana Taghdiri
Reachability under Contextual Locking / Rohit Chadha ; P. Madhusudan ; Mahesh Viswanathan
Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani ; Michael Emmi
Tool Demonstrations
Demonstrating Learning of Register Automata / Maik Merten ; Falk Howar ; Bernhard Steffen ; Sofia Cassel ; Bengt Jonsson
Symbolic Automata: The Toolkit / Margus Veanes ; Nikolaj Bjørner
McScM: A General Framework for the Verification of Communicating Machines / Alexander Heuβner ; Tristan Le Gall ; Grégoire Sutre
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires ; Hugo Torres Vieira
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David ; Lasse Jacobsen ; Morten Jacobsen ; Kenneth Yrke Jørgensen ; Mikael H. Møller ; Jirí Srba
A Platform for High Performance Statistical Model Checking - PLASMA / Cyrille Jegourel ; Axel Legay ; Sean Sedwards
Competition on Software Verification
Competition on Software Verification (SV-COMP) / Dirk Beyer
Predicate Analysis with BLAST 2.7 (Competition Contribution) / Pavel Shved ; Mikhail Mandrykin ; Vadim Mutilin
CPAchecker with Adjustable Predicate Analysis (Competition Contribution) / Stefan Löwe ; Philipp Wendler
Block Abstraction Memoization for CPAchecker (Competition Contribution) / Daniel Wonisch
Context-Bounded Model Checking with ESBMC 1.17 (Competition Contribution) / Lucas Cordeiro ; Jeremy Morse ; Denis Nicole ; Bernd Fischer
Proving Reachability Using FShell (Competition Contribution) / Andreas Holzer ; Christian Schallhart ; Helmut Veith
LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation (Competition Contribution) / Carsten Sinz ; Florian Merz ; Stephan Falke
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures (Competition Contribution) / Kamil Dudka ; Petr Müller ; Petr Peringer
HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) / Sergey Grebenshchikov ; Ashutosh Gupta ; Nuno P. Lopes
SatAbs: A Bit-Precise Verifier for C Programs (Competition Contribution) / Gérard Basler ; Alastair Donaldson ; Alexander Kaiser ; Thomas Wahl
Wolverine: Battling Bugs with Interpolants (Competition Contribution) / Georg Weissenbacher ; Sharad Malik
Author Index
Invited Contribution
Quantitative Models for a Not So Dumb Grid / Holger Hermanns
SAT and SMT Based Methods
48.

電子ブック
ＥＢ
48. Euro-Par 2011: Parallel Processing Workshops
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
CCPI 2011: Workshop on Cloud Computing Projects and Initiatives
Introduction / Beniamino Di Martino ; Dana Petcu
Towards Cross-Platform Cloud Computing / Magdalena Slawinska ; Jaroslaw Slawinski ; Vaidy Sunderam
QoS Monitoring in a Cloud Services Environment: The SRT-15 Approach / Giuseppe Cicotti ; Luigi Coppolino ; Rosario Cristaldi ; Salvatore D 'Antonio ; Luigi Romano
Enabling e-Science Applications on the Cloud with COMPSs / Daniele Lezzi ; Roger Rafanell ; Abel Carrión ; Ignacio Blanquer Espert ; Vicente Hernández ; Rosa M. Badia
OPTIMIS and VISION Cloud: How to Manage Data in Clouds / Spyridon V. Gogouvitis ; George Kousiouris ; George Vafiadis ; Elliot K. Kolodner ; Dimosthenis Kyriazis
Integrated Monitoring of Infrastructures and Applications in Cloud Environments / Roberto Palmieri ; Pierangelo di Sanzo ; Francesco Quaglia ; Paolo Romano ; Sebastiano Peluso ; Diego Didona
Towards Collaborative Data Management in the VPH-Share Project / Siegfried Benkner ; Jesus Bisbal ; Gerhard Engelbrecht ; Rod D. Hose ; Yuriy Kaniovskyi ; Martin Koehler ; Carlos Pedrinaci ; Steven Wood
SLM and SDM Challenges in Federated Infrastructures / Matti Heikkurinen ; Owen Appleton
Rapid Prototyping of Architectures on the Cloud Using Semantic Resource Description / Houssam Haitof
Cloud Patterns for mOSAIC-Enabled Scientific Applications / Teodor-Florin Fortis ; Gorka Esnal Lopez ; Imanol Padillo Cruz ; Gábor Ferschl ; Tamás Máhr
Enhancing an Autonomic Cloud Architecture with Mobile Agents / A. Cuomo ; M. Rak ; S. Venticinque ; U. Villano
Mapping Application Requirements to Cloud Resources / Yih Leong Sun ; Terence Harmer ; Alan Stewart ; Peter Wright
CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing - CGWS2011
A Perspective on the Core GRID Grid Component Model / Marco Danelutto ; Frédéric Desprez ; Vladimir Getov ; Wolfgang Ziegler ; Françoise Baude
Towards Scheduling Evolving Applications / Cristian Klein ; Christian Pérez
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management / P. Kilpatrick ; C. Montangero ; L. Semini
Consistent Rollback Protocols for Autonomic ASSISTANT Applications / Carlo Bertolli ; Gabriele Mencagli ; Marco Vanneschi
A Dynamic Resource Management System for Real-Time Online Applications on Clouds / Dominik Meiländer ; Alexander Ploss ; Frank Glinka ; Sergei Gorlatch
Cloud Federations in Contrail / Emanuele Carlini ; Massimo Coppola ; Patrizio Dazzi ; Laura Ricci ; Giacomo Righetti
Semi-automatic Composition of Ontologies for ASKALON Grid Workflows / Muhammad Junaid Malik ; Thomas Fahringer ; Radu Prodan
The Chemical Machine: An Interpreter for the Higher Order Chemical Language / Vilmos Rajcsányi ; Zsolt Németh
Design and Performance of the OP2 Library for Unstructured Mesh Applications / Adam Betts ; Gihan Mudalige ; Mike Giles ; Paul Kelly
Mining Association Rules on Grid Platforms / Raja Tlili ; Yahya Slimani
5th Workshop on System-Level Virtualization for High-Performance Computing (HPCVirt 2011)
Performance Evaluation of HPC Benchmarks on VMware's ESXi Server / Stephen L. Scott ; Geoffroy Vallée ; Thomas Naughton ; Qasim Ali ; Vladimir Kiriansky ; Josh Simons ; Puneet Zaroo
Virtualizing Performance Counters / Benjamin Serebrin ; Daniel Hecht
A Case for Virtual Machine Based Fault Injection in a High-Performance Computing Environment / Christian Engelmann
HPPC 2010: 5th Workshop on Highly Parallel Processing on a Chip
Thermal Management of a Many-Core Processor under Fine-Grained Parallelism / Martti Forsell ; Jesper Larsson Träff ; Fuat Keceli ; Tali Moreshet ; Uzi Vishkin
Mainstream Parallel Array Programming on Cell / Paul Keir ; Paul W. Cockshott ; Andrew Richards
Generating GPU Code from a High-Level Representation for Image Processing Kernels / Richard Membarth ; Anton Lokhmotov ; Jürgen Teich
A Greedy Heuristic Approximation Scheduling Algorithm for 3D Multicore Processors / Thomas Canhao Xu ; Pasi Liljeberg ; Hannu Tenhunen
Algorithms and Programming Tools for Next-Generation High-Performance Scientific Software HPSS 2011
European Exascale Software Initiative: Numerical Libraries, Solvers and Algorithms / Stefania Corsaro ; Pasqua DAmbra ; Francesca Perla ; Iain S. Duff
On Reducing I/O Overheads in Large-Scale Invariant Subspace Projections / Hasan Metin Aktulga ; Chao Yang ; Ümit V. Çatalyürek ; Pieter Maris ; James P. Vary ; Esmond G. Ng
Enabling Next-Generation Parallel Circuit Simulation with Trilinos / Chris Baker ; Erik Boman ; Mike Heroux ; Eric Keiter ; Siva Rajamanickam ; Rich Schiek ; Heidi Thornquist
DAG-Based Software Frameworks for PDEs / Martin Berzins ; Qingyu Meng ; John Schmidt ; James C. Sutherland
On Partitioning Problems with Complex Objectives / Earner Kaya ; François-Henry Rouet ; Bora Ugar
A Communication-Avoiding Thick-Restart Lanczos Method on a Distributed-Memory System / Ichitaro Yamazaki ; Kesheng Wu
Spherical Harmonic Transform with GPUs / Ioan Ovidiu Hupca ; Joel Falcou ; Laura Grigori ; Radek Stompor
Design Patterns for Scientific Computations on Sparse Matrices / Davide Barbieri ; Valeria Cardellini ; Salvatore Filippone ; Damian Rouson
High-Performance Matrix-Vector Multiplication on the GPU / Hans Henrik Brandenborg Sørensen
Relaxed Synchronization with Ordered Read-Write Locks / Jens Gustedt ; Emmanuel Jeanvoine
The Parallel C++ Statistical Library 'QUESO': Quantification of Uncertainty for Estimation, Simulation and Optimization / Ernesto E. Prudencio ; Karl W. Schulz
Use of HPC-Techniques for Large-Scale Data Migration / Jan Dünnweber ; Valentin Mihaylov ; René Glettler ; Volker Maiborn ; Holger Wolff
Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar 2011)
A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid / George Bosilca ; Jean-Marc Nicod ; Laurent Philippe ; Lamiel Toch
An Extension of XcalableMP PGAS Lanaguage for Multi-node GPU Clusters / Jinpil Lee ; Minh Tuan Tran ; Tetsuya Odajima ; Taisuke Boku ; Mitsuhisa Sato
Performance Evaluation of List Based Scheduling on Heterogeneous Systems / Hamid Arabnejad ; Jorge G. Barbosa
Column-Based Matrix Partitioning for Parallel Matrix Multiplication on Heterogeneous Processors Based on Functional Performance Models / David Clarke ; Alexey Lastovetsky ; Vladimir Rychkov
A Framework for Distributing Agent-Based Simulations / Gennaro Cordasco ; Rosario De Chiara ; Ada Mancuso ; Dario Mazzeo ; Vittorio Scarano ; Carmine Spagnuolo
Parallel Sparse Linear Solver GMRES for GPU Clusters with Compression of Exchanged Data / Jacques M. Bahi ; Raphaël Couturier ; Lilia Ziane Khodja
Two-Dimensional Discrete Wavelet Transform on Large Images for Hybrid Computing Architectures: GPU and CELL / Marek Blazewicz ; Milosz Ciznicki ; Piotr Kopta ; Krzysztof Kurowski ; Pawel Lichocki
Scheduling Divisible Loads on Heterogeneous Desktop Systems with Limited Memory / Aleksandar Ilic ; Leonel Sousa
Peer Group and Fuzzy Metric to Remove Noise in Images Using Heterogeneous Computing / Ma. Guadalupe Sánchez ; Vicente Vidal ; Jordi Bataller
Estimation of MPI Application Performance on Volunteer Environments / Girish Nandagudi ; Jaspal Subhlok ; Edgar Gabriel ; Judit Gimenez
Author Index
CCPI 2011: Workshop on Cloud Computing Projects and Initiatives
Introduction / Beniamino Di Martino ; Dana Petcu
Towards Cross-Platform Cloud Computing / Magdalena Slawinska ; Jaroslaw Slawinski ; Vaidy Sunderam
49.

電子ブック
ＥＢ
49. Euro-Par 2011: Parallel Processing Workshops
David Hutchison, Takeo Kanade, Adam Belloum, George Bosilca, Mario Cannataro, Pasqua D'Ambra, Marco Danelutto, Beniamino Di Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
CCPI 2011: Workshop on Cloud Computing Projects and Initiatives
Introduction / Beniamino Di Martino ; Dana Petcu
Towards Cross-Platform Cloud Computing / Magdalena Slawinska ; Jaroslaw Slawinski ; Vaidy Sunderam
QoS Monitoring in a Cloud Services Environment: The SRT-15 Approach / Giuseppe Cicotti ; Luigi Coppolino ; Rosario Cristaldi ; Salvatore D 'Antonio ; Luigi Romano
Enabling e-Science Applications on the Cloud with COMPSs / Daniele Lezzi ; Roger Rafanell ; Abel Carrión ; Ignacio Blanquer Espert ; Vicente Hernández ; Rosa M. Badia
OPTIMIS and VISION Cloud: How to Manage Data in Clouds / Spyridon V. Gogouvitis ; George Kousiouris ; George Vafiadis ; Elliot K. Kolodner ; Dimosthenis Kyriazis
Integrated Monitoring of Infrastructures and Applications in Cloud Environments / Roberto Palmieri ; Pierangelo di Sanzo ; Francesco Quaglia ; Paolo Romano ; Sebastiano Peluso ; Diego Didona
Towards Collaborative Data Management in the VPH-Share Project / Siegfried Benkner ; Jesus Bisbal ; Gerhard Engelbrecht ; Rod D. Hose ; Yuriy Kaniovskyi ; Martin Koehler ; Carlos Pedrinaci ; Steven Wood
SLM and SDM Challenges in Federated Infrastructures / Matti Heikkurinen ; Owen Appleton
Rapid Prototyping of Architectures on the Cloud Using Semantic Resource Description / Houssam Haitof
Cloud Patterns for mOSAIC-Enabled Scientific Applications / Teodor-Florin Fortis ; Gorka Esnal Lopez ; Imanol Padillo Cruz ; Gábor Ferschl ; Tamás Máhr
Enhancing an Autonomic Cloud Architecture with Mobile Agents / A. Cuomo ; M. Rak ; S. Venticinque ; U. Villano
Mapping Application Requirements to Cloud Resources / Yih Leong Sun ; Terence Harmer ; Alan Stewart ; Peter Wright
CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing - CGWS2011
A Perspective on the Core GRID Grid Component Model / Marco Danelutto ; Frédéric Desprez ; Vladimir Getov ; Wolfgang Ziegler ; Françoise Baude
Towards Scheduling Evolving Applications / Cristian Klein ; Christian Pérez
Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management / P. Kilpatrick ; C. Montangero ; L. Semini
Consistent Rollback Protocols for Autonomic ASSISTANT Applications / Carlo Bertolli ; Gabriele Mencagli ; Marco Vanneschi
A Dynamic Resource Management System for Real-Time Online Applications on Clouds / Dominik Meiländer ; Alexander Ploss ; Frank Glinka ; Sergei Gorlatch
Cloud Federations in Contrail / Emanuele Carlini ; Massimo Coppola ; Patrizio Dazzi ; Laura Ricci ; Giacomo Righetti
Semi-automatic Composition of Ontologies for ASKALON Grid Workflows / Muhammad Junaid Malik ; Thomas Fahringer ; Radu Prodan
The Chemical Machine: An Interpreter for the Higher Order Chemical Language / Vilmos Rajcsányi ; Zsolt Németh
Design and Performance of the OP2 Library for Unstructured Mesh Applications / Adam Betts ; Gihan Mudalige ; Mike Giles ; Paul Kelly
Mining Association Rules on Grid Platforms / Raja Tlili ; Yahya Slimani
5th Workshop on System-Level Virtualization for High-Performance Computing (HPCVirt 2011)
Performance Evaluation of HPC Benchmarks on VMware's ESXi Server / Stephen L. Scott ; Geoffroy Vallée ; Thomas Naughton ; Qasim Ali ; Vladimir Kiriansky ; Josh Simons ; Puneet Zaroo
Virtualizing Performance Counters / Benjamin Serebrin ; Daniel Hecht
A Case for Virtual Machine Based Fault Injection in a High-Performance Computing Environment / Christian Engelmann
HPPC 2010: 5th Workshop on Highly Parallel Processing on a Chip
Thermal Management of a Many-Core Processor under Fine-Grained Parallelism / Martti Forsell ; Jesper Larsson Träff ; Fuat Keceli ; Tali Moreshet ; Uzi Vishkin
Mainstream Parallel Array Programming on Cell / Paul Keir ; Paul W. Cockshott ; Andrew Richards
Generating GPU Code from a High-Level Representation for Image Processing Kernels / Richard Membarth ; Anton Lokhmotov ; Jürgen Teich
A Greedy Heuristic Approximation Scheduling Algorithm for 3D Multicore Processors / Thomas Canhao Xu ; Pasi Liljeberg ; Hannu Tenhunen
Algorithms and Programming Tools for Next-Generation High-Performance Scientific Software HPSS 2011
European Exascale Software Initiative: Numerical Libraries, Solvers and Algorithms / Stefania Corsaro ; Pasqua DAmbra ; Francesca Perla ; Iain S. Duff
On Reducing I/O Overheads in Large-Scale Invariant Subspace Projections / Hasan Metin Aktulga ; Chao Yang ; Ümit V. Çatalyürek ; Pieter Maris ; James P. Vary ; Esmond G. Ng
Enabling Next-Generation Parallel Circuit Simulation with Trilinos / Chris Baker ; Erik Boman ; Mike Heroux ; Eric Keiter ; Siva Rajamanickam ; Rich Schiek ; Heidi Thornquist
DAG-Based Software Frameworks for PDEs / Martin Berzins ; Qingyu Meng ; John Schmidt ; James C. Sutherland
On Partitioning Problems with Complex Objectives / Earner Kaya ; François-Henry Rouet ; Bora Ugar
A Communication-Avoiding Thick-Restart Lanczos Method on a Distributed-Memory System / Ichitaro Yamazaki ; Kesheng Wu
Spherical Harmonic Transform with GPUs / Ioan Ovidiu Hupca ; Joel Falcou ; Laura Grigori ; Radek Stompor
Design Patterns for Scientific Computations on Sparse Matrices / Davide Barbieri ; Valeria Cardellini ; Salvatore Filippone ; Damian Rouson
High-Performance Matrix-Vector Multiplication on the GPU / Hans Henrik Brandenborg Sørensen
Relaxed Synchronization with Ordered Read-Write Locks / Jens Gustedt ; Emmanuel Jeanvoine
The Parallel C++ Statistical Library 'QUESO': Quantification of Uncertainty for Estimation, Simulation and Optimization / Ernesto E. Prudencio ; Karl W. Schulz
Use of HPC-Techniques for Large-Scale Data Migration / Jan Dünnweber ; Valentin Mihaylov ; René Glettler ; Volker Maiborn ; Holger Wolff
Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar 2011)
A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid / George Bosilca ; Jean-Marc Nicod ; Laurent Philippe ; Lamiel Toch
An Extension of XcalableMP PGAS Lanaguage for Multi-node GPU Clusters / Jinpil Lee ; Minh Tuan Tran ; Tetsuya Odajima ; Taisuke Boku ; Mitsuhisa Sato
Performance Evaluation of List Based Scheduling on Heterogeneous Systems / Hamid Arabnejad ; Jorge G. Barbosa
Column-Based Matrix Partitioning for Parallel Matrix Multiplication on Heterogeneous Processors Based on Functional Performance Models / David Clarke ; Alexey Lastovetsky ; Vladimir Rychkov
A Framework for Distributing Agent-Based Simulations / Gennaro Cordasco ; Rosario De Chiara ; Ada Mancuso ; Dario Mazzeo ; Vittorio Scarano ; Carmine Spagnuolo
Parallel Sparse Linear Solver GMRES for GPU Clusters with Compression of Exchanged Data / Jacques M. Bahi ; Raphaël Couturier ; Lilia Ziane Khodja
Two-Dimensional Discrete Wavelet Transform on Large Images for Hybrid Computing Architectures: GPU and CELL / Marek Blazewicz ; Milosz Ciznicki ; Piotr Kopta ; Krzysztof Kurowski ; Pawel Lichocki
Scheduling Divisible Loads on Heterogeneous Desktop Systems with Limited Memory / Aleksandar Ilic ; Leonel Sousa
Peer Group and Fuzzy Metric to Remove Noise in Images Using Heterogeneous Computing / Ma. Guadalupe Sánchez ; Vicente Vidal ; Jordi Bataller
Estimation of MPI Application Performance on Volunteer Environments / Girish Nandagudi ; Jaspal Subhlok ; Edgar Gabriel ; Judit Gimenez
Author Index
CCPI 2011: Workshop on Cloud Computing Projects and Initiatives
Introduction / Beniamino Di Martino ; Dana Petcu
Towards Cross-Platform Cloud Computing / Magdalena Slawinska ; Jaroslaw Slawinski ; Vaidy Sunderam
50.

電子ブック
ＥＢ
50. Distributed Computing and Internet Technology
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
Decision Making as Optimization in Multi-robot Teams / Lynne E. Parker
Mstar: A New Two Level Interconnection Network / Nibedita Adhikari ; C.R. Tripathy
An Improved Scheme for False Data Filtering in Wireless Sensor Networks / C. Anudeep ; Manik Lai Das
Anonymity and Security in Mobile Ad Hoc Networks / Jhansi Vazram Bolla ; Valli Kumari Vatsavayi ; J. V.R. Murthy
Circle Formation by Asynchronous Fat Robots with Limited Visibility / Ayan Dutta ; Sruti Gan Chaudhuri ; Suparno Datta ; Krishnendu Mukhopadhyaya
High Concurrency for Continuously Evolving OODBMS / V. Geetha ; N. Sreenath
A New Scheme for IPv6 BD-TTCS Translator / J. Hanumanthappa ; D.H. Manjaiah
Nash Equilibrium in Weighted Concurrent Timed Games with Reachability Objectives / Shankara Narayanan Krishna ; G. Lakshmi Manasa ; Ashish Chiplunkar
Parallelization of PageRank on Multicore Processors / Tarun Kumar ; Parikshit Sondhi ; Ankush Mittal
Cryptanalysis and Improvement of Sood et al.'s Dynamic ID-Based Authentication Scheme / Chun-Guang Ma ; Ding Wang ; Qi-Ming Zhang
An Algebra of Social Distance / Hrushikesha Mohanty
Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation / Anil Mundra ; Anish Mathuria ; Manik Lal Das
Strong Minimum Energy Minimum Interference Topology in Wireless Sensor Networks / Bhawani S. Panda ; D. Pushparaj Shetty ; Bijaya Kishor Bhatta
Distributed Processing and Internet Technology to Solve Challenges of Primary Healthcare in India / Aran Pande ; Sanjay Kimbahune ; Nandini Bondale ; Ratnendra Shinde ; Sunita Shanbhag
Packet Forwarding Strategies for Cooperation Enforcement in Mobile Ad Hoc Wireless Networks / Nidhi Patel ; Sanjay Srivastava
A Study on Scalability of Services and Privacy Issues in Cloud Computing / R.S.M. Lakshmi Patibandla ; Santhi Sri Kurra ; Nirupama Bhat Mundukur
A Recommendation Model for Handling Dynamics in User Profile / Chhavi Rana ; Sanjay Kumar Jain
Allocation of Slotted Deadline Sensitive Leases in Infrastructure Cloud / Dhairya Vora ; Sanjay Chaudhary ; Minal Bhise ; Vikas Kumar ; Gaurav Somani
Grids Security without Public Key Settings
Concurrent HCM for Authorizing Grid Resources / Mustafa Kaiiali ; Chillarige Raghavendra Rao ; Rajeev Wankar ; Aran Agarwal
Seamless Provision of Cloud Services Using Peer-to-Peer (P2P) Architecture / Snehal Masne ; Chillarige Raghvendra Rao ; Arun Agarwal
Distributed Fault Tolerant Estimation in Wireless Sensor Network Using Robust Diffusion Adaptation / Meenakshi Panda ; Pabitra M. Khilar
Robust Distributed Block LMS over WSN in Impulsive Noise / Trilochan Panigrahi ; Ganapati Panda ; B. Mulgrew
Resource Allocation Techniques Based on Availability and Movement Reliability for Mobile Cloud Computing / JiSu Park ; Heon Chang Yu ; Eun Young Lee
Transparency Computation for Work Groups / A.B. Sagar
A New Hierarchical Structure of Star Graphs and Applications / Wei Shi ; Feng Luo ; Pradip Srimani
Incremental Discovery of Sequential Pattern from Semi-structured Document Using Grammatical Inference / Ramesh Thakur ; Suresh Jain ; Narendra S. Chaudhari
Group Associated Petri Nets in Bio Computing / K. Thirusangu ; D. Gnanaraj Thomas ; B.J. Balamurugan
Concept Map Based Service Specification and Discovery / Supriya Vaddi
Semantic Search Using Constrained Spread Activation for Semantic Digital Library / Sandeep Vasani ; Mohit Pandey
Author Index
Usable Mobile Security / N. Asokan ; Cynthia Kuo
Actor-Network Procedures (Extended Abstract) / Dusko Pavlovic ; Catherine Meadows
Knowledge as a Window into Distributed Coordination / Yoram Moses
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼