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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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:
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
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
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
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
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
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
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
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
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:
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Impediments to Requirements-Compliance / Md. Rashed Iqbal Nekvi ; Nazim H. Madhavji ; Remo Ferrari ; Brian Berenbach
Quality Requirements / Session 2:
How Architects See Non-Functional Requirements: Beware of Modifiability / Eltjo R. Poort ; Nick Martens ; Inge van de Weerd ; Hans van Vliet
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback / Anne Koziolek
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change / Junjie Wang ; Juan Li ; Qing Wang ; He Zhang ; Haitao Wang
Collaboration, Complexity and Creativity / Session 3:
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components / Nguyen Due Anh ; Daniela S. Crazes ; Reidar Conradi ; Martin Höst ; Xavier Franch ; Claudia Ayala
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement / Tim Gülke ; Bernhard Rumpe ; Martin Jansen ; Joachim Axmann
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People / Martin Mahaux ; Alistair Mavin ; Patrick Heymans
Requirements Analysis / Session 4:
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams / Christian Raspotnig ; Andreas Opdahl
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions / Mohammad Jabed Morshed Chowdhury ; Raimundas Matulevicius ; Guttorm Sindre ; Peter Karpati
Towards a More Semantically Transparent i* Visual Syntax / Nicolas Genon ; Patrice Caire ; Hubert Toussaint ; Daniel Moody
Templates and Heuristics / Session 5:
Providing Software Product Line Knowledge to Requirements Engineers - A Template for Elicitation Instructions / Sebastian Adam
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques / Eric Knauss ; Kurt Schneider
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview / Olawande Daramola ; Thomas Moser ; Stefan Biffl
Requirements Traceability / Session 6:
Trace Queries for Safety Requirements in High Assurance Systems / Jane Cleland-Huang ; Mats Heimdahl ; Jane Huffman Hayes ; Robyn Lutz ; Patrick Maeder
Which Traceability Visualization Is Suitable in This Context? A Comparative Study / Yang Li ; Walid Maalej
Tools and Quality / Session 7:
The Case for Dumb Requirements Engineering Tools / Daniel Berry ; Ricardo Gacitua ; Pete Sawyer ; Sri Fatimah Tjong
Automatic Analysis of Multimodal Requirements: A Research Preview / Elia Bruni ; Alessio Ferrari ; Norbert Seyff ; Gabriele Tolomei
10 Myths of Software Quality / Elke Hochmüller
Empirical Analysis of the Impact of Requirements Engineering on Software Quality / Lukasz Radliñski
Services and Clouds / Session 8:
A Systematic Literature Review on Service Description Methods / Abelneh Y. Teka ; Nelly Condori-Fernandez ; Brahmananda Sapkota
A Pattern-Based Method for Identifying and Analyzing Laws / Kristian Beckers ; Stephan Faβbender ; Jan-Christoph Küster ; Holger Schmidt
Self-adaptivity / Session 9:
Towards a Requirements Modeling Language for Self-Adaptive Systems / Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Requirements Monitoring for Adaptive Service-Based Applications / Marc Oriol ; Jordi Marco
Industrial Case Studies / Session 10:
Release Planning with Feature Trees: Industrial Case / Samuel Fricker ; Susanne Schumacher
Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned / Wilco Engelsman ; Roel Wieringa
Author Index
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
The E-Government Melting Pot: Lacking New Public Management and Innovation Flavor? / Moyfrid Karstad Sannarnes ; Helle Zinner Henriksen ; Kim Viborg Andersen
The Organisation and Coordination of European e-Government Research for the EU in 2010 / Jaro Berce ; Annaflavia Bianchi ; Clara Centeno ; David Osimo ; Jeremy Millard ; Jamal Shahin
What Role Has Scandinavian IS Tradition in eGovernment Implementations / Arild Jansen
Maximizing Knowledge for Program Evaluation: Critical Issues and Practical Challenges of ICT Strategies / Sharon S. Dawes ; Theresa A. Pardo
Participation and Democracy
The Citizens in E-Participation / Henning Sten Hansen ; Kristian Hegner Reinau
From Market Squares to Homepages: A Survey of Swiss MPs' Interactivity / Jean-Loup Chappelet ; Kristian Pierre Kilchenmann
'Mind the Gap'; e-Government and e-Democracy / Ailsa Kolsaker ; Liz Lee-Kelley
To Be or Not to Be Active: Exploring Practices of e-Participation / Annelie Ekelin
e-Participation Behind Closed Doors: Online Evaluation of Teaching Performance
Designing Government Services
A Review of Quality Dimensions in e-Government Services / Xenia Papadomichelaki ; Babis Magoutas ; Christos Halaris ; Dimitris Apostolou ; Gregoris Mentzas
Is It Only About Internet Access? An Empirical Test of a Multi-dimensional Digital Divide / J. Ramon Gil-Garcia ; Natalie C. Helbig ; Enrico Ferro
Hidden Negative Social Effects of Poor e-Government Services Design / Enrique Stanziola ; Mauricio Minute Espil ; Luis Landoni ; Santiago Montoya
Designing Government Portal Navigation Around Citizens Needs / Rob Klaassen ; Joyce Karreman ; Thea van der Geest
Municipalities on the Web: User-Friendliness of Government Information on the Internet / Menno de Jong ; Leo Lentz
"Open Choice": Improving Public Sector Performance with Process Reorganization Methodology / Martin Brilggemeier ; Angela Dovifat ; Klaus Lenk
Organising Municipal e-Government Systems: A Multi-facet Taxonomy of e-Services for Citizens and Businesses / Yannis Charalabidis ; Dimitris Askounis ; George Gionis ; Fenareti Lampathaki ; Kostas Metaxiotis
Legal Dimensions in E-Government
Time Model for Managing the Dynamic of Normative System / Monica Palmirani ; Raffaella Brighi
Semantic Portal for Legislative Information / Matti Jarvenpaa ; Maiju Virtanen ; Airi Salminen
The x-Leges System: Peer-to-Peer for Legislative Document Exchange / Luca De Santis ; Caterina Lupo ; Carlo Marchetti ; Massimo Mecella
Procurement and Governance Issues in Networked Governments
Flexibility of Information Architecture in e-Government Chains / Victor Bekkers
Local Networking for e-Services: A UK Case Study / Rony Medaglia
Why E-government Usage Lags Behind: Explaining the Gap Between Potential and Actual Usage of Electronic Public Services in the Netherlands / Alexander van Deursen ; Jan van Dijk ; Wolfgang Ebbers
Limits of Public Procurement: Information Systems Acquisition / Carl Erik Moe ; Anne Cathrine Risvand ; Maung K. Sein
Evaluation and Assessment
Digital Capability Assessment for eGovernment: A Multi-dimensional Approach / Anthony M. Cresswell ; Donna S. Canestraro
Assessing the Intangible Value of G2G Endeavours / Luiz Antonio Joia
Evaluation of E-Government Systems: Project Assessment vs Development Assessment / Rahul De'
ROI Analysis in e-Government Assessment Trials: The Case of Sistema Piemonte / Tommaso Carratta ; Lucy Dadayan
IT Auditing in E-Government / Reinhard Riedl ; Manuel Juen
Author Index
Research Review and Outlook
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Transition and Halting Modes in (Tissue) P Systems / Rudolf Freund
Conformon P Systems and Topology of Information Flow / Pierluigi Frisco
Formal Verification and Testing Based on P Systems / Marian Gheorghe ; Florentin Ipate ; Ciprian Dragomir
A Look Back at Some Early Results in Membrane Computing / Oscar H. Ibarra
From P to MP Systems / Vincenzo Manca
The Biological Cell in Spectacle / Solomon Marcus
Energy-Based Models of P Systems / Giancarlo Mauri ; Alberto Leporati ; Claudio Zandron
A Computational Complexity Theory in Membrane Computing / Mario J. Pérez-Jiménez
Regular Presentations
Evolving by Maximizing the Number of Rules: Complexity Study / Oana Agrigoroaiei ; Gabriel Ciobanu ; Andreas Resios
On Reversibility and Determinism in P Systems / Artiom Alhazov ; Kenichi Morita
Typed Membrane Systems / Bogdan Aman
A P System Based Model of an Ecosystem of Some Scavenger Birds / Mónica Cardona ; Maria Angels Colomer ; Antoni Margalida ; Ignacio Pérez-Hurtado ; Delfí Sanuy
Metabolic P System Flux Regulation by Artificial Neural Networks / Alberto Castellini ; Yasuhiro Suzuki
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems / Paolo Cazzaniga ; Luciano Milanesi ; Ettore Mosca ; Dario Pescini
Implementing P Systems Parallelism by Means of GPUs / Jose M. Cecilia ; José M. García ; Ginés D. Guerrero ; Miguel A. Martínez-del-Amor
Regulation and Covering Problems in MP Systems / Giuditta Franco ; Roberto Pagliarini
(Tissue) P Systems with Hybrid Transition Modes / Marian Kogler
An Overview of P-Lingua 2.0 / Manuel García-Quismondo ; Rosa Gutiérrez-Escudero ; Agustín Riscos-Núñez
Characterizing Tractability by Tissue-Like P Systems / Miguel Rius-Font
Searching Previous Configurations in Membrane Computing / Miguel A. Gutiérrez-Naranjo
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator / Thomas Hinze ; Thorsten Lenser ; Gabi Escuela ; Ines Heiland ; Stefan Schuster
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules / Tseren-Onolt Ishdorj ; Linqiang Pan ; Jun Wang
Tuning P Systems for Solving the Broadcasting Problem / Raluca Lefticaru ; Gexiang Zhang
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition / Chunxiu Liu ; Hongwen Liu
A Region-Oriented Hardware Implementation for Membrane Computing Applications / Van Nguyen ; David Kearney ; Gianpaolo Gioiosa
Discovering the Membrane Topology of Hyperdag P Systems / Radu Nicolescu ; Michael J. Dinneen ; Yun-Bum Kim
A Note on Small Universal Spiking Neural P Systems / Xiangxiang Zeng
On the Power of Computing with Proteins on Membranes / Petr Sosík ; Andrei Păun ; Alfonso Rodríguez-Patón ; David Pérez
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes / Andrea Valsecchi ; Antonio E. Porreca
Look-Ahead Evolution for P Systems / Sergey Verlan
Author Index
Invited Presentations
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Partial Matching between Surfaces Using Fréchet Distance / Jessica Sherette ; Carola Wenk
A Polynomial-Time Approximation Scheme for the Geometric Unique Coverage Problem on Unit Squares / Takehiro Ito ; Shin-Ichi Nakano ; Yoshio Okamoto ; Yota Otachi ; Ryuhei Uehara ; Takeaki Uno ; Yushi Uno
Watchman Routes for Lines and Segments / Adrian Dumitrescu ; Joseph S.B. Mitchell ; Pawel Zylinski
Kinetic Pie Delaunay Graph and Its Applications / Mohammad Ali Abam ; Zahed Rahmati ; Alireza Zarei
Higher Order City Voronoi Diagrams / Andreas Gemsa ; D.T. Lee ; Chih-Hung Liu ; Dorothea Wagner
On Minimum Sum of Radii and Diameters Clustering / Babak Behsaz ; Mohammad R. Salavatipour
A Simple Framework for the Generalized Nearest Neighbor Problem / Tomas Hruz ; Marcel Schöngens
Deterministic Parameterized Connected Vertex Cover / Marek Cygan
Faster Parameterized Algorithms for Deletion to Split Graphs / Esha Ghosh ; Sudeshna Kolay ; Mrinal Kumar ; Pranabendu Misra ; Fahad Panolan ; Ashutosh Rai ; M.S. Ramanujan
A Single-Exponential FPT Algorithm for the K4-Minor Cover Problem / Eun Jung Kim ; Christophe Paul ; Geevarghese Philip
An O(n3 log log n/ log2 n) Time Algorithm for All Pairs Shortest Paths / Yijie Han ; Tadao Takaoka
Linear Time Algorithm for Computing a Small Biclique in Graphs without Long Induced Paths / Aistis Atminas ; Vadim V. Lozin ; Igor Razgon
Induced Disjoint Paths in AT-Free Graphs / Petr A. Golovach ; Daniël Paulusma ; Erik Jan van Leeuwen
Effective Computation of Immersion Obstructions for Unions of Graph Classes / Archontia C. Giannopoulou ; Iosif Salem ; Dimitris Zoros
Algorithms on Minimizing the Maximum Sensor Movement for Barrier Coverage of a Linear Domain / Danny Z. Chen ; Yan Gu ; Jian Li ; Haitao Wang
Annotating Simplices with a Homology Basis and Its Applications / Oleksiy Busaryev ; Sergio Cabello ; Chao Chen ; Tamal K. Dey ; Yusu Wang
Do Directional Antennas Facilitate in Reducing Interferences? / Rom Aschner ; Matthew J. Katz ; Gila Morgenstern
Minimum Convex Partitions and Maximum Empty Polytopes / Sariel Har-Peled ; Csaba D. Tóth
A Probabilistic Analysis of Christofides' Algorithm / Markus Bläser ; Konstatinos Panagiotou ; B. V. Raghavendra Rao
New Approximation Algorithms for the Unsplittable Capacitated Facility Location Problem / Zoya Svitkina
A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs / Marie-Louise Bruner ; Martin Lackner
Sorted Range Reporting / Yakov Nekrich ; Gonzalo Navarro
String Indexing for Patterns with Wildcards / Philip Bille ; Inge Li Gørtz ; Hjalte Wedel Vildhøj ; Søren Vind
Linear-Space Data Structures for Range Minority Query in Arrays / Timothy M. Chan ; Stephane Durocher ; Matthew Skala ; Bryan T. Wilkinson
Asynchronous Rumor Spreading in Preferential Attachment Graphs / Benjamin Doerr ; Mahmoud Fouz ; Tobias Friedrich
Connectivity Oracles for Planar Graphs / Glencora Borradaile ; Seth Pettie ; Christian Wulff-Nilsen
Access Graphs Results for LRU versus FIFO under Relative Worst Order Analysis / Joan Boyar ; Sushmita Gupta ; Kim S. Larsen
Competitive Analysis of Maintaining Frequent Items of a Stream / Yiannis Giannakopoulos ; Elias Koutsoupias
Kernel Bounds for Structural Parameterizations of Pathwidth / Hans L. Bodlaender ; Bart M.P. Jansen ; Stefan Kratsch
Kernel Lower Bounds Using Co-nondeterminism: Finding Induced Hereditary Subgraphs / Marcin Pilipczuk ; Venkatesh Raman
Testing Formula Satisfaction / Eldar Fischer ; Yonatan Goldhirsh ; Oded Lachish
Reconstructing Strings from Substrings with Quantum Queries / Richard Cleve ; Kazuo Iwama ; François Le Gall ; Harumichi Nishimura ; Seiichiro Tani ; Junichi Teruyama ; Shigeru Yamashita
Partial Matching between Surfaces Using Fréchet Distance / Jessica Sherette ; Carola Wenk
A Polynomial-Time Approximation Scheme for the Geometric Unique Coverage Problem on Unit Squares / Takehiro Ito ; Shin-Ichi Nakano ; Yoshio Okamoto ; Yota Otachi ; Ryuhei Uehara ; Takeaki Uno ; Yushi Uno
Invited Talk: UCRL and Autonomous Exploration / Peter Auer
Invited Talk: Increasing Representational Power and Scaling Inference in Reinforcement Learning / Kristian Kersting
Invited Talk: PRISM-Practical RL: Representation, Interaction, Synthesis, and Mortality / Peter Stone
Invited Talk: Towards Robust Reinforcement Learning Algorithms / Csaba Szepesvári
Online Reinforcement Learning
Automatic Discovery of Ranking Formulas for Playing with Multi-armed Bandits / Francis Maes ; Louis Wehenkel ; Damien Ernst
Goal-Directed Online Learning of Predictive Models / Sylvie C. W. Ong ; Yuri Grinberg ; Joelle Pineau
Gradient Based Algorithms with Loss Functions and Kernels for Improved On-Policy Control / Matthew Robards ; Peter Sunehag
Learning and Exploring MDPs
Active Learning of MDP Models / Mauricio Araya-López ; Olivier Buffet ; Vincent Thomas ; François Charpillet
Handling Ambiguous Effects in Action Learning / Boris Lesner ; Bruno Zanuttini
Feature Reinforcement Learning in Practice / Phuong Nguyen ; Marcus Hutter
Function Approximation Methods for Reinforcement Learning
Reinforcement Learning with a Bilinear Q Function / Charles Elkan
l1-Penalized Projected Bellman Residual / Matthieu Geist ; Bruno Scherrer
Regularized Least Squares Temporal Difference Learning with Nested l2 and l1 Penalization / Matthew W. Hoffman ; Alessandro Lazaric ; Mohammad Ghavamzadeh ; Rémi Munos
Recursive Least-Squares Learning with Eligibility Traces
Value Function Approximation through Sparse Bayesian Modeling / Nikolaos Tziortziotis ; Konstantinos Blekas
Macro-actions in Reinforcement Learning
Automatic Construction of Temporally Extended Actions for MDPs Using Bisimulation Metrics / Pablo Samuel Castro ; Doina Precup
Unified Inter and Intra Options Learning Using Policy Gradient Methods / Kfir Y. Levy ; Nahum Shimkin
Options with Exceptions / Munu Sairamesh ; Balaraman Ravindran
A Framework for Computing Bounds for the Return of a Policy / Cosmin Paduraru
Multi-Task and Transfer Reinforcement Learning
Transferring Evolved Reservoir Features in Reinforcement Learning Tasks / Kyriakos C. Chatzidimitriou ; Ioannis Partalas ; Pericles A. Mitkas ; Ioannis Vlahavas
Transfer Learning via Multiple Inter-task Mappings / Anestis Fachantidis ; Matthew E. Taylor
Multi-Task Reinforcement Learning: Shaping and Feature Selection / Matthijs Snel ; Shimon Whiteson
Multi-Agent Reinforcement Learning
Transfer Learning in Multi-Agent Reinforcement Learning Domains / Georgios Boutsioukis
An Extension of a Hierarchical Reinforcement Learning Algorithm for Multiagent Settings / Ioannis Lambrou ; Vassilis Vassiliades ; Chris Christodoulou
Apprenticeship and Inverse Reinforcement Learning
Bayesian Multitask Inverse Reinforcement Learning / Constantin A. Rothkopf
Batch, Off-Policy and Model-Free Apprenticeship Learning / Edouard Klein ; Olivier Pietquin
Real-World Reinforcement Learning
Introduction of Fixed Mode States into Online Profit Sharing and Its Applications to Waist Trajectory Generation of Biped Robot / Seiya Kuroda ; Kazuteru Miyazaki ; Hiroaki Kobayashi
MapReduce for Parallel Reinforcement Learning / Yuxi Li ; Dale Schuurmans
Compound Reinforcement Learning: Theory and an Application to Finance / Tohgoroh Matsui ; Takashi Goto ; Kiyoshi Izumi ; Yu Chen
Proposal and Evaluation of the Active Course Classification Support System with Exploitation-Oriented Learning / Masaaki Ida
Author Index
Invited Talk Abstracts
Invited Talk: UCRL and Autonomous Exploration / Peter Auer
Invited Talk: Increasing Representational Power and Scaling Inference in Reinforcement Learning / Kristian Kersting
On the Development of a Formal Methodology for Knowledge Representation in Defeasible Logic Programming / Alejandro G. Stankevicius ; Marcela Capobianco
A Framework for Empirical Evaluation of Belief Change Operators / Renato U. Lundberg ; Márcio M. Ribeiro ; Renata Wassermann
Sensorimotor Domain Approach for Artificial Autonomous Cognitive Development / Mauro E.S. Muñoz ; Márcio Lobo Netto
A Service-Oriented Architecture for Assisting the Authoring of Semantic Crowd Maps / Henrique Santos ; Vasco Furiado
User-Centric Principles in Automated Decision Making / Ingrid Nunes ; Simon Miles ; Michael Luck ; Carlos J.P. de Lucena
Machine Learning / Chapter 2:
Wearable Computing: Accelerometers' Data Classification of Body Postures and Movements / Wallace Ugulino ; Débora Cardador ; Katia Vega ; Eduardo Velloso ; Ruy Milidiú ; Hugo Fuks
Density-Based Pattern Discovery in Distributed Time Series / Josenildo C. da Silva ; Gustavo H.B. Oliveira ; Omar A.C. Cortes ; Matthias Klusch
Filter Approach Feature Selection Methods to Support Multi-label Learning Based on ReliefF and Information Gain / Newton Spolaôr ; Everton Alvares Cherman ; Maria Carolina Monard ; Huei Diana Lee
Automatic Analysis of Leishmania Infected Microscopy Images via Gaussian Mixture Models / Pedro A. Nogueira ; Luís Filipe Teófilo
Link Prediction in Complex Networks Based on Cluster Information / Jorge Carlos Valverde-Rebaza ; Alneu de Andrade Lopes
A Parallel Approach to Clustering with Ant Colony Optimization / Guilherme N. Ramos
On the Use of Consensus Clustering for Incremental Learning of Topic Hierarchies / Ricardo M. Marcacini ; Eduardo R. Hruschka ; Solange O. Rezende
Machine Learning and Computer Vision / Chapter 3:
Image Retrieval by Content Based on a Visual Attention Model and Genetic Algorithms / Milton Roberto Heinen ; Paulo Martins Engel
A Symbolic Representation Method to Preserve the Characteristic Slope of Time Series / Willian Zalewski ; Fabiano Silva ; Feng Chung Wu ; André Gustavo Maletzke
Multi Agent Systems / Chapter 4:
Orchestrating Multiagent Learning of Penalty Games / Ana L. C. Bazzan
An Architectural Model for Autonomous Normative Agents / Baldoino F. dos Santos Neto ; Viviane Torres da Silva
A Coalition Formation Mechanism for Trust and Reputation-Aware Multi-Agent Systems / Bruno W.P. Hoelz ; Célia Ghedini Ralha
Profile Recommendation in Communities of Practice Based on Multiagent Systems / João Luis Tavares da Silva ; Sidinei D. Lubenow ; Alexandre M. Ribeiro
Robotic and Language / Chapter 5:
Knowledge-Intensive Word Disambiguation via Common-Sense and Wikipedia / Vládia Pinheiro ; Vasco Furtado ; Lívio Melo Freire ; Caio Ferreira
Context-Sensitive ASR for Controlling the Navigation of Mobile Robots / Gabriel Ferreira Araújo ; Hendrik Teixeira Macedo
An Evaluation of the Model of Stigmergy in a RoboCup Rescue Multiagent System / Gabriel Rigo da Cruz Jacobsen ; Carlos A. Barth ; Fernando dos Santos
Constraints / Chapter 6:
An Ecology-Based Heterogeneous Approach for Cooperative Search / Rafael Stubs Parpinelli ; Heitor Silvério Lopes
Providing Trade-Off Techniques Subsets to Improve Software Testing Effectiveness: Using Evolutionary Algorithm to Support Software Testing Techniques Selection by a Web Tool / Aurélio da Silva Grande ; Arilo Claudio Dias Neto ; Rosiane de Freitas Rodrigues
Author Index
Knowledge Representation / Chapter 1:
On the Development of a Formal Methodology for Knowledge Representation in Defeasible Logic Programming / Alejandro G. Stankevicius ; Marcela Capobianco
A Framework for Empirical Evaluation of Belief Change Operators / Renato U. Lundberg ; Márcio M. Ribeiro ; Renata Wassermann
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
On the Semantics of Service Compositions / Harald Meyer
Expressive Reasoning with Horn Rules and Fuzzy Description Logics / Theofilos Mailis ; Giorgos Stoilos ; Giorgos Stamou
Quantified Equilibrium Logic and Hybrid Rules / Jos de Bruijn ; David Pearce ; Axel Polleres ; Agustin Valverde
Web Services Discovery and Constraints Composition / Debmalya Biswas
Ontological Reasoning to Configure Emotional Voice Synthesis / Virginia Francisco ; Pablo Gervas ; Federico Peinado
A Semantic Framework for Language Layering in WSML / Stijn Heymans
Merging Model Driven Architecture and Semantic Web for Business Rules Generation / Mouhamed Diouf ; Sofian Maabout ; Kaninda Musumbu
A Framework for Combining Rules and Geo-ontologies / Philip D. Smart ; Alia I. Abdelmoty ; Baher A. El-Geresy ; Christopher B. Jones
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer / Xi Bai ; Jigui Sun ; Zehai Li ; Xianrui Lu
[Characters not reproducible]: An Integration of Description Logic and General Rules / Jing Mei ; Zuoquan Lin ; Harold Boley
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems / Yimin Wang ; Jie Bao ; Peter Haase ; Guilin Qi
Consistent Query Answering over Description Logic Ontologies / Domenico Lembo ; Marco Ruzzi
Short Papers / II:
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results / Heiko Stoermer ; Paolo Bouquet ; Ignazio Palmisano ; Domenico Redavid
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images / Ammar Mechouche ; Christine Golbreich ; Bernard Gibaud
A Framework for Ontology Based Rule Acquisition from Web Documents / Sangun Park ; Juyoung Kang ; Wooju Kim
A Fast Algebraic Web Verification Service / Maria Alpuente ; Demis Ballis ; Moreno Falaschi ; Pedro Ojeda ; Daniel Romero
Proof Explanation in the DR-DEVICE System / Nick Bassiliades ; Grigoris Antoniou ; Guido Governatori
Rule-Based Active Domain Brokering for the Semantic Web / Erik Behrends ; Oliver Fritzen ; Tobias Knabke ; Wolfgang May ; Franz Schenk
Decidability Under the Well-Founded Semantics / Natalia Cherchago ; Pascal Httzler ; Steffen Holldobler
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services / Marco Alberti ; Federico Chesani ; Marco Gavanelli ; Evelina Lamma ; Paola Mello ; Marco Montali ; Paolo Torroni
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web / Thomas Lukasiewicz ; Umberio Straccia
AceRules: Executing Rules in Controlled Natural Language / Tobias Kuhn
Bridging Concrete and Abstract Syntax of Web Rule Languages / Milan Milanovic ; Dragan Gasevic ; Adrian Giurca ; Gerd Wagner ; Sergey Lukichev ; Vladan Devedzic
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints / Sacha Berger ; Tim Furche ; Andreas J. Hausler
Attaining Higher Quality for Density Based Algorithms / Morteza Haghir Chehreghani ; Hassan Abolhassani ; Mostafa Haghir Chehreghani
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image / Hyung Moo Kim ; Jae Soo Yoo
Hybrid Reasoning with Rules and Constraints Under Well-Founded Semantics / Jakob Henriksson
Selected Posters / III:
Extending SWRL to Enhance Mathematical Support / Alfonso Sanchez-Macian ; Encarna Pastor ; Jorge E. Lopez de Vergara ; David Lopez
Efficiently Querying Relational Databases Using OWL and SWRL / Martin O'Connor ; Ravi Shankar ; Samson Tu ; Csongor Nyulas ; Amar Das ; Mark Musen
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs / Alexandros Chortaras ; Andreas Stafylopatis
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data / Efstratios Kontopoulos
Efficient OWL Reasoning with Logic Programs - Evaluations / Sebastian Rudolph ; Markus Krotzsch ; Pascal Hitzler ; Michael Sintek ; Denny Vrandecic
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies / Tadeusz Pankowski ; Jolanta Cybulka ; Adam Meissner
Context in Rules Used in P2P Semantic Data Integration System / Grazyna Brzykcy ; Jerzy Bartoszek
Author Index
Full Papers / I:
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
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
Partial Matching between Surfaces Using Fréchet Distance / Jessica Sherette ; Carola Wenk
A Polynomial-Time Approximation Scheme for the Geometric Unique Coverage Problem on Unit Squares / Takehiro Ito ; Shin-Ichi Nakano ; Yoshio Okamoto ; Yota Otachi ; Ryuhei Uehara ; Takeaki Uno ; Yushi Uno
Watchman Routes for Lines and Segments / Adrian Dumitrescu ; Joseph S.B. Mitchell ; Pawel Zylinski
Kinetic Pie Delaunay Graph and Its Applications / Mohammad Ali Abam ; Zahed Rahmati ; Alireza Zarei
Higher Order City Voronoi Diagrams / Andreas Gemsa ; D.T. Lee ; Chih-Hung Liu ; Dorothea Wagner
On Minimum Sum of Radii and Diameters Clustering / Babak Behsaz ; Mohammad R. Salavatipour
A Simple Framework for the Generalized Nearest Neighbor Problem / Tomas Hruz ; Marcel Schöngens
Deterministic Parameterized Connected Vertex Cover / Marek Cygan
Faster Parameterized Algorithms for Deletion to Split Graphs / Esha Ghosh ; Sudeshna Kolay ; Mrinal Kumar ; Pranabendu Misra ; Fahad Panolan ; Ashutosh Rai ; M.S. Ramanujan
A Single-Exponential FPT Algorithm for the K4-Minor Cover Problem / Eun Jung Kim ; Christophe Paul ; Geevarghese Philip
An O(n3 log log n/ log2 n) Time Algorithm for All Pairs Shortest Paths / Yijie Han ; Tadao Takaoka
Linear Time Algorithm for Computing a Small Biclique in Graphs without Long Induced Paths / Aistis Atminas ; Vadim V. Lozin ; Igor Razgon
Induced Disjoint Paths in AT-Free Graphs / Petr A. Golovach ; Daniël Paulusma ; Erik Jan van Leeuwen
Effective Computation of Immersion Obstructions for Unions of Graph Classes / Archontia C. Giannopoulou ; Iosif Salem ; Dimitris Zoros
Algorithms on Minimizing the Maximum Sensor Movement for Barrier Coverage of a Linear Domain / Danny Z. Chen ; Yan Gu ; Jian Li ; Haitao Wang
Annotating Simplices with a Homology Basis and Its Applications / Oleksiy Busaryev ; Sergio Cabello ; Chao Chen ; Tamal K. Dey ; Yusu Wang
Do Directional Antennas Facilitate in Reducing Interferences? / Rom Aschner ; Matthew J. Katz ; Gila Morgenstern
Minimum Convex Partitions and Maximum Empty Polytopes / Sariel Har-Peled ; Csaba D. Tóth
A Probabilistic Analysis of Christofides' Algorithm / Markus Bläser ; Konstatinos Panagiotou ; B. V. Raghavendra Rao
New Approximation Algorithms for the Unsplittable Capacitated Facility Location Problem / Zoya Svitkina
A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs / Marie-Louise Bruner ; Martin Lackner
Sorted Range Reporting / Yakov Nekrich ; Gonzalo Navarro
String Indexing for Patterns with Wildcards / Philip Bille ; Inge Li Gørtz ; Hjalte Wedel Vildhøj ; Søren Vind
Linear-Space Data Structures for Range Minority Query in Arrays / Timothy M. Chan ; Stephane Durocher ; Matthew Skala ; Bryan T. Wilkinson
Asynchronous Rumor Spreading in Preferential Attachment Graphs / Benjamin Doerr ; Mahmoud Fouz ; Tobias Friedrich
Connectivity Oracles for Planar Graphs / Glencora Borradaile ; Seth Pettie ; Christian Wulff-Nilsen
Access Graphs Results for LRU versus FIFO under Relative Worst Order Analysis / Joan Boyar ; Sushmita Gupta ; Kim S. Larsen
Competitive Analysis of Maintaining Frequent Items of a Stream / Yiannis Giannakopoulos ; Elias Koutsoupias
Kernel Bounds for Structural Parameterizations of Pathwidth / Hans L. Bodlaender ; Bart M.P. Jansen ; Stefan Kratsch
Kernel Lower Bounds Using Co-nondeterminism: Finding Induced Hereditary Subgraphs / Marcin Pilipczuk ; Venkatesh Raman
Testing Formula Satisfaction / Eldar Fischer ; Yonatan Goldhirsh ; Oded Lachish
Reconstructing Strings from Substrings with Quantum Queries / Richard Cleve ; Kazuo Iwama ; François Le Gall ; Harumichi Nishimura ; Seiichiro Tani ; Junichi Teruyama ; Shigeru Yamashita
Partial Matching between Surfaces Using Fréchet Distance / Jessica Sherette ; Carola Wenk
A Polynomial-Time Approximation Scheme for the Geometric Unique Coverage Problem on Unit Squares / Takehiro Ito ; Shin-Ichi Nakano ; Yoshio Okamoto ; Yota Otachi ; Ryuhei Uehara ; Takeaki Uno ; Yushi Uno
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
The E-Government Melting Pot: Lacking New Public Management and Innovation Flavor? / Moyfrid Karstad Sannarnes ; Helle Zinner Henriksen ; Kim Viborg Andersen
The Organisation and Coordination of European e-Government Research for the EU in 2010 / Jaro Berce ; Annaflavia Bianchi ; Clara Centeno ; David Osimo ; Jeremy Millard ; Jamal Shahin
What Role Has Scandinavian IS Tradition in eGovernment Implementations / Arild Jansen
Maximizing Knowledge for Program Evaluation: Critical Issues and Practical Challenges of ICT Strategies / Sharon S. Dawes ; Theresa A. Pardo
Participation and Democracy
The Citizens in E-Participation / Henning Sten Hansen ; Kristian Hegner Reinau
From Market Squares to Homepages: A Survey of Swiss MPs' Interactivity / Jean-Loup Chappelet ; Kristian Pierre Kilchenmann
'Mind the Gap'; e-Government and e-Democracy / Ailsa Kolsaker ; Liz Lee-Kelley
To Be or Not to Be Active: Exploring Practices of e-Participation / Annelie Ekelin
e-Participation Behind Closed Doors: Online Evaluation of Teaching Performance
Designing Government Services
A Review of Quality Dimensions in e-Government Services / Xenia Papadomichelaki ; Babis Magoutas ; Christos Halaris ; Dimitris Apostolou ; Gregoris Mentzas
Is It Only About Internet Access? An Empirical Test of a Multi-dimensional Digital Divide / J. Ramon Gil-Garcia ; Natalie C. Helbig ; Enrico Ferro
Hidden Negative Social Effects of Poor e-Government Services Design / Enrique Stanziola ; Mauricio Minute Espil ; Luis Landoni ; Santiago Montoya
Designing Government Portal Navigation Around Citizens Needs / Rob Klaassen ; Joyce Karreman ; Thea van der Geest
Municipalities on the Web: User-Friendliness of Government Information on the Internet / Menno de Jong ; Leo Lentz
"Open Choice": Improving Public Sector Performance with Process Reorganization Methodology / Martin Brilggemeier ; Angela Dovifat ; Klaus Lenk
Organising Municipal e-Government Systems: A Multi-facet Taxonomy of e-Services for Citizens and Businesses / Yannis Charalabidis ; Dimitris Askounis ; George Gionis ; Fenareti Lampathaki ; Kostas Metaxiotis
Legal Dimensions in E-Government
Time Model for Managing the Dynamic of Normative System / Monica Palmirani ; Raffaella Brighi
Semantic Portal for Legislative Information / Matti Jarvenpaa ; Maiju Virtanen ; Airi Salminen
The x-Leges System: Peer-to-Peer for Legislative Document Exchange / Luca De Santis ; Caterina Lupo ; Carlo Marchetti ; Massimo Mecella
Procurement and Governance Issues in Networked Governments
Flexibility of Information Architecture in e-Government Chains / Victor Bekkers
Local Networking for e-Services: A UK Case Study / Rony Medaglia
Why E-government Usage Lags Behind: Explaining the Gap Between Potential and Actual Usage of Electronic Public Services in the Netherlands / Alexander van Deursen ; Jan van Dijk ; Wolfgang Ebbers
Limits of Public Procurement: Information Systems Acquisition / Carl Erik Moe ; Anne Cathrine Risvand ; Maung K. Sein
Evaluation and Assessment
Digital Capability Assessment for eGovernment: A Multi-dimensional Approach / Anthony M. Cresswell ; Donna S. Canestraro
Assessing the Intangible Value of G2G Endeavours / Luiz Antonio Joia
Evaluation of E-Government Systems: Project Assessment vs Development Assessment / Rahul De'
ROI Analysis in e-Government Assessment Trials: The Case of Sistema Piemonte / Tommaso Carratta ; Lucy Dadayan
IT Auditing in E-Government / Reinhard Riedl ; Manuel Juen
Author Index
Research Review and Outlook
e-Gov Research Quality Improvements Since 2003: More Rigor, but Research (Perhaps) Redefined / Ake Gronlund ; Annika Andersson
Is E-Government Research a Flash in the Pan or Here for the Long hot? / Hans Jochen Scholl
On the Development of a Formal Methodology for Knowledge Representation in Defeasible Logic Programming / Alejandro G. Stankevicius ; Marcela Capobianco
A Framework for Empirical Evaluation of Belief Change Operators / Renato U. Lundberg ; Márcio M. Ribeiro ; Renata Wassermann
Sensorimotor Domain Approach for Artificial Autonomous Cognitive Development / Mauro E.S. Muñoz ; Márcio Lobo Netto
A Service-Oriented Architecture for Assisting the Authoring of Semantic Crowd Maps / Henrique Santos ; Vasco Furiado
User-Centric Principles in Automated Decision Making / Ingrid Nunes ; Simon Miles ; Michael Luck ; Carlos J.P. de Lucena
Machine Learning / Chapter 2:
Wearable Computing: Accelerometers' Data Classification of Body Postures and Movements / Wallace Ugulino ; Débora Cardador ; Katia Vega ; Eduardo Velloso ; Ruy Milidiú ; Hugo Fuks
Density-Based Pattern Discovery in Distributed Time Series / Josenildo C. da Silva ; Gustavo H.B. Oliveira ; Omar A.C. Cortes ; Matthias Klusch
Filter Approach Feature Selection Methods to Support Multi-label Learning Based on ReliefF and Information Gain / Newton Spolaôr ; Everton Alvares Cherman ; Maria Carolina Monard ; Huei Diana Lee
Automatic Analysis of Leishmania Infected Microscopy Images via Gaussian Mixture Models / Pedro A. Nogueira ; Luís Filipe Teófilo
Link Prediction in Complex Networks Based on Cluster Information / Jorge Carlos Valverde-Rebaza ; Alneu de Andrade Lopes
A Parallel Approach to Clustering with Ant Colony Optimization / Guilherme N. Ramos
On the Use of Consensus Clustering for Incremental Learning of Topic Hierarchies / Ricardo M. Marcacini ; Eduardo R. Hruschka ; Solange O. Rezende
Machine Learning and Computer Vision / Chapter 3:
Image Retrieval by Content Based on a Visual Attention Model and Genetic Algorithms / Milton Roberto Heinen ; Paulo Martins Engel
A Symbolic Representation Method to Preserve the Characteristic Slope of Time Series / Willian Zalewski ; Fabiano Silva ; Feng Chung Wu ; André Gustavo Maletzke
Multi Agent Systems / Chapter 4:
Orchestrating Multiagent Learning of Penalty Games / Ana L. C. Bazzan
An Architectural Model for Autonomous Normative Agents / Baldoino F. dos Santos Neto ; Viviane Torres da Silva
A Coalition Formation Mechanism for Trust and Reputation-Aware Multi-Agent Systems / Bruno W.P. Hoelz ; Célia Ghedini Ralha
Profile Recommendation in Communities of Practice Based on Multiagent Systems / João Luis Tavares da Silva ; Sidinei D. Lubenow ; Alexandre M. Ribeiro
Robotic and Language / Chapter 5:
Knowledge-Intensive Word Disambiguation via Common-Sense and Wikipedia / Vládia Pinheiro ; Vasco Furtado ; Lívio Melo Freire ; Caio Ferreira
Context-Sensitive ASR for Controlling the Navigation of Mobile Robots / Gabriel Ferreira Araújo ; Hendrik Teixeira Macedo
An Evaluation of the Model of Stigmergy in a RoboCup Rescue Multiagent System / Gabriel Rigo da Cruz Jacobsen ; Carlos A. Barth ; Fernando dos Santos
Constraints / Chapter 6:
An Ecology-Based Heterogeneous Approach for Cooperative Search / Rafael Stubs Parpinelli ; Heitor Silvério Lopes
Providing Trade-Off Techniques Subsets to Improve Software Testing Effectiveness: Using Evolutionary Algorithm to Support Software Testing Techniques Selection by a Web Tool / Aurélio da Silva Grande ; Arilo Claudio Dias Neto ; Rosiane de Freitas Rodrigues
Author Index
Knowledge Representation / Chapter 1:
On the Development of a Formal Methodology for Knowledge Representation in Defeasible Logic Programming / Alejandro G. Stankevicius ; Marcela Capobianco
A Framework for Empirical Evaluation of Belief Change Operators / Renato U. Lundberg ; Márcio M. Ribeiro ; Renata Wassermann
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
On the Semantics of Service Compositions / Harald Meyer
Expressive Reasoning with Horn Rules and Fuzzy Description Logics / Theofilos Mailis ; Giorgos Stoilos ; Giorgos Stamou
Quantified Equilibrium Logic and Hybrid Rules / Jos de Bruijn ; David Pearce ; Axel Polleres ; Agustin Valverde
Web Services Discovery and Constraints Composition / Debmalya Biswas
Ontological Reasoning to Configure Emotional Voice Synthesis / Virginia Francisco ; Pablo Gervas ; Federico Peinado
A Semantic Framework for Language Layering in WSML / Stijn Heymans
Merging Model Driven Architecture and Semantic Web for Business Rules Generation / Mouhamed Diouf ; Sofian Maabout ; Kaninda Musumbu
A Framework for Combining Rules and Geo-ontologies / Philip D. Smart ; Alia I. Abdelmoty ; Baher A. El-Geresy ; Christopher B. Jones
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer / Xi Bai ; Jigui Sun ; Zehai Li ; Xianrui Lu
[Characters not reproducible]: An Integration of Description Logic and General Rules / Jing Mei ; Zuoquan Lin ; Harold Boley
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems / Yimin Wang ; Jie Bao ; Peter Haase ; Guilin Qi
Consistent Query Answering over Description Logic Ontologies / Domenico Lembo ; Marco Ruzzi
Short Papers / II:
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results / Heiko Stoermer ; Paolo Bouquet ; Ignazio Palmisano ; Domenico Redavid
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images / Ammar Mechouche ; Christine Golbreich ; Bernard Gibaud
A Framework for Ontology Based Rule Acquisition from Web Documents / Sangun Park ; Juyoung Kang ; Wooju Kim
A Fast Algebraic Web Verification Service / Maria Alpuente ; Demis Ballis ; Moreno Falaschi ; Pedro Ojeda ; Daniel Romero
Proof Explanation in the DR-DEVICE System / Nick Bassiliades ; Grigoris Antoniou ; Guido Governatori
Rule-Based Active Domain Brokering for the Semantic Web / Erik Behrends ; Oliver Fritzen ; Tobias Knabke ; Wolfgang May ; Franz Schenk
Decidability Under the Well-Founded Semantics / Natalia Cherchago ; Pascal Httzler ; Steffen Holldobler
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services / Marco Alberti ; Federico Chesani ; Marco Gavanelli ; Evelina Lamma ; Paola Mello ; Marco Montali ; Paolo Torroni
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web / Thomas Lukasiewicz ; Umberio Straccia
AceRules: Executing Rules in Controlled Natural Language / Tobias Kuhn
Bridging Concrete and Abstract Syntax of Web Rule Languages / Milan Milanovic ; Dragan Gasevic ; Adrian Giurca ; Gerd Wagner ; Sergey Lukichev ; Vladan Devedzic
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints / Sacha Berger ; Tim Furche ; Andreas J. Hausler
Attaining Higher Quality for Density Based Algorithms / Morteza Haghir Chehreghani ; Hassan Abolhassani ; Mostafa Haghir Chehreghani
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image / Hyung Moo Kim ; Jae Soo Yoo
Hybrid Reasoning with Rules and Constraints Under Well-Founded Semantics / Jakob Henriksson
Selected Posters / III:
Extending SWRL to Enhance Mathematical Support / Alfonso Sanchez-Macian ; Encarna Pastor ; Jorge E. Lopez de Vergara ; David Lopez
Efficiently Querying Relational Databases Using OWL and SWRL / Martin O'Connor ; Ravi Shankar ; Samson Tu ; Csongor Nyulas ; Amar Das ; Mark Musen
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs / Alexandros Chortaras ; Andreas Stafylopatis
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data / Efstratios Kontopoulos
Efficient OWL Reasoning with Logic Programs - Evaluations / Sebastian Rudolph ; Markus Krotzsch ; Pascal Hitzler ; Michael Sintek ; Denny Vrandecic
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies / Tadeusz Pankowski ; Jolanta Cybulka ; Adam Meissner
Context in Rules Used in P2P Semantic Data Integration System / Grazyna Brzykcy ; Jerzy Bartoszek
Author Index
Full Papers / I:
Well-Founded Semantics for Hybrid Rules / Wlodzimierz Drabent ; Jan Maluszynski
Rule-Based Composite Event Queries: The Language and XChange[superscript EQ] and Its Semantics / Francois Bry ; Michael Eckert
Invited Talk: UCRL and Autonomous Exploration / Peter Auer
Invited Talk: Increasing Representational Power and Scaling Inference in Reinforcement Learning / Kristian Kersting
Invited Talk: PRISM-Practical RL: Representation, Interaction, Synthesis, and Mortality / Peter Stone
Invited Talk: Towards Robust Reinforcement Learning Algorithms / Csaba Szepesvári
Online Reinforcement Learning
Automatic Discovery of Ranking Formulas for Playing with Multi-armed Bandits / Francis Maes ; Louis Wehenkel ; Damien Ernst
Goal-Directed Online Learning of Predictive Models / Sylvie C. W. Ong ; Yuri Grinberg ; Joelle Pineau
Gradient Based Algorithms with Loss Functions and Kernels for Improved On-Policy Control / Matthew Robards ; Peter Sunehag
Learning and Exploring MDPs
Active Learning of MDP Models / Mauricio Araya-López ; Olivier Buffet ; Vincent Thomas ; François Charpillet
Handling Ambiguous Effects in Action Learning / Boris Lesner ; Bruno Zanuttini
Feature Reinforcement Learning in Practice / Phuong Nguyen ; Marcus Hutter
Function Approximation Methods for Reinforcement Learning
Reinforcement Learning with a Bilinear Q Function / Charles Elkan
l1-Penalized Projected Bellman Residual / Matthieu Geist ; Bruno Scherrer
Regularized Least Squares Temporal Difference Learning with Nested l2 and l1 Penalization / Matthew W. Hoffman ; Alessandro Lazaric ; Mohammad Ghavamzadeh ; Rémi Munos
Recursive Least-Squares Learning with Eligibility Traces
Value Function Approximation through Sparse Bayesian Modeling / Nikolaos Tziortziotis ; Konstantinos Blekas
Macro-actions in Reinforcement Learning
Automatic Construction of Temporally Extended Actions for MDPs Using Bisimulation Metrics / Pablo Samuel Castro ; Doina Precup
Unified Inter and Intra Options Learning Using Policy Gradient Methods / Kfir Y. Levy ; Nahum Shimkin
Options with Exceptions / Munu Sairamesh ; Balaraman Ravindran
A Framework for Computing Bounds for the Return of a Policy / Cosmin Paduraru
Multi-Task and Transfer Reinforcement Learning
Transferring Evolved Reservoir Features in Reinforcement Learning Tasks / Kyriakos C. Chatzidimitriou ; Ioannis Partalas ; Pericles A. Mitkas ; Ioannis Vlahavas
Transfer Learning via Multiple Inter-task Mappings / Anestis Fachantidis ; Matthew E. Taylor
Multi-Task Reinforcement Learning: Shaping and Feature Selection / Matthijs Snel ; Shimon Whiteson
Multi-Agent Reinforcement Learning
Transfer Learning in Multi-Agent Reinforcement Learning Domains / Georgios Boutsioukis
An Extension of a Hierarchical Reinforcement Learning Algorithm for Multiagent Settings / Ioannis Lambrou ; Vassilis Vassiliades ; Chris Christodoulou
Apprenticeship and Inverse Reinforcement Learning
Bayesian Multitask Inverse Reinforcement Learning / Constantin A. Rothkopf
Batch, Off-Policy and Model-Free Apprenticeship Learning / Edouard Klein ; Olivier Pietquin
Real-World Reinforcement Learning
Introduction of Fixed Mode States into Online Profit Sharing and Its Applications to Waist Trajectory Generation of Biped Robot / Seiya Kuroda ; Kazuteru Miyazaki ; Hiroaki Kobayashi
MapReduce for Parallel Reinforcement Learning / Yuxi Li ; Dale Schuurmans
Compound Reinforcement Learning: Theory and an Application to Finance / Tohgoroh Matsui ; Takashi Goto ; Kiyoshi Izumi ; Yu Chen
Proposal and Evaluation of the Active Course Classification Support System with Exploitation-Oriented Learning / Masaaki Ida
Author Index
Invited Talk Abstracts
Invited Talk: UCRL and Autonomous Exploration / Peter Auer
Invited Talk: Increasing Representational Power and Scaling Inference in Reinforcement Learning / Kristian Kersting
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
Impediments to Requirements-Compliance / Md. Rashed Iqbal Nekvi ; Nazim H. Madhavji ; Remo Ferrari ; Brian Berenbach
Quality Requirements / Session 2:
How Architects See Non-Functional Requirements: Beware of Modifiability / Eltjo R. Poort ; Nick Martens ; Inge van de Weerd ; Hans van Vliet
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback / Anne Koziolek
A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change / Junjie Wang ; Juan Li ; Qing Wang ; He Zhang ; Haitao Wang
Collaboration, Complexity and Creativity / Session 3:
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components / Nguyen Due Anh ; Daniela S. Crazes ; Reidar Conradi ; Martin Höst ; Xavier Franch ; Claudia Ayala
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement / Tim Gülke ; Bernhard Rumpe ; Martin Jansen ; Joachim Axmann
Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People / Martin Mahaux ; Alistair Mavin ; Patrick Heymans
Requirements Analysis / Session 4:
Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams / Christian Raspotnig ; Andreas Opdahl
Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions / Mohammad Jabed Morshed Chowdhury ; Raimundas Matulevicius ; Guttorm Sindre ; Peter Karpati
Towards a More Semantically Transparent i* Visual Syntax / Nicolas Genon ; Patrice Caire ; Hubert Toussaint ; Daniel Moody
Templates and Heuristics / Session 5:
Providing Software Product Line Knowledge to Requirements Engineers - A Template for Elicitation Instructions / Sebastian Adam
Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques / Eric Knauss ; Kurt Schneider
Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview / Olawande Daramola ; Thomas Moser ; Stefan Biffl
Requirements Traceability / Session 6:
Trace Queries for Safety Requirements in High Assurance Systems / Jane Cleland-Huang ; Mats Heimdahl ; Jane Huffman Hayes ; Robyn Lutz ; Patrick Maeder
Which Traceability Visualization Is Suitable in This Context? A Comparative Study / Yang Li ; Walid Maalej
Tools and Quality / Session 7:
The Case for Dumb Requirements Engineering Tools / Daniel Berry ; Ricardo Gacitua ; Pete Sawyer ; Sri Fatimah Tjong
Automatic Analysis of Multimodal Requirements: A Research Preview / Elia Bruni ; Alessio Ferrari ; Norbert Seyff ; Gabriele Tolomei
10 Myths of Software Quality / Elke Hochmüller
Empirical Analysis of the Impact of Requirements Engineering on Software Quality / Lukasz Radliñski
Services and Clouds / Session 8:
A Systematic Literature Review on Service Description Methods / Abelneh Y. Teka ; Nelly Condori-Fernandez ; Brahmananda Sapkota
A Pattern-Based Method for Identifying and Analyzing Laws / Kristian Beckers ; Stephan Faβbender ; Jan-Christoph Küster ; Holger Schmidt
Self-adaptivity / Session 9:
Towards a Requirements Modeling Language for Self-Adaptive Systems / Nauman A. Qureshi ; Ivan J. Jureta ; Anna Perini
Requirements Monitoring for Adaptive Service-Based Applications / Marc Oriol ; Jordi Marco
Industrial Case Studies / Session 10:
Release Planning with Feature Trees: Industrial Case / Samuel Fricker ; Susanne Schumacher
Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned / Wilco Engelsman ; Roel Wieringa
Author Index
Contractual Requirements / Session 1:
Why the Electronic Land Registry Failed / Soren Lauesen
Answering a Request for Proposal - Challenges and Proposed Solutions / Barbara Paech ; Robert Heinrich ; Gabriele Zorn-Pauli ; Andreas Jung ; Siamak Tadjiky
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Transition and Halting Modes in (Tissue) P Systems / Rudolf Freund
Conformon P Systems and Topology of Information Flow / Pierluigi Frisco
Formal Verification and Testing Based on P Systems / Marian Gheorghe ; Florentin Ipate ; Ciprian Dragomir
A Look Back at Some Early Results in Membrane Computing / Oscar H. Ibarra
From P to MP Systems / Vincenzo Manca
The Biological Cell in Spectacle / Solomon Marcus
Energy-Based Models of P Systems / Giancarlo Mauri ; Alberto Leporati ; Claudio Zandron
A Computational Complexity Theory in Membrane Computing / Mario J. Pérez-Jiménez
Regular Presentations
Evolving by Maximizing the Number of Rules: Complexity Study / Oana Agrigoroaiei ; Gabriel Ciobanu ; Andreas Resios
On Reversibility and Determinism in P Systems / Artiom Alhazov ; Kenichi Morita
Typed Membrane Systems / Bogdan Aman
A P System Based Model of an Ecosystem of Some Scavenger Birds / Mónica Cardona ; Maria Angels Colomer ; Antoni Margalida ; Ignacio Pérez-Hurtado ; Delfí Sanuy
Metabolic P System Flux Regulation by Artificial Neural Networks / Alberto Castellini ; Yasuhiro Suzuki
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems / Paolo Cazzaniga ; Luciano Milanesi ; Ettore Mosca ; Dario Pescini
Implementing P Systems Parallelism by Means of GPUs / Jose M. Cecilia ; José M. García ; Ginés D. Guerrero ; Miguel A. Martínez-del-Amor
Regulation and Covering Problems in MP Systems / Giuditta Franco ; Roberto Pagliarini
(Tissue) P Systems with Hybrid Transition Modes / Marian Kogler
An Overview of P-Lingua 2.0 / Manuel García-Quismondo ; Rosa Gutiérrez-Escudero ; Agustín Riscos-Núñez
Characterizing Tractability by Tissue-Like P Systems / Miguel Rius-Font
Searching Previous Configurations in Membrane Computing / Miguel A. Gutiérrez-Naranjo
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator / Thomas Hinze ; Thorsten Lenser ; Gabi Escuela ; Ines Heiland ; Stefan Schuster
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules / Tseren-Onolt Ishdorj ; Linqiang Pan ; Jun Wang
Tuning P Systems for Solving the Broadcasting Problem / Raluca Lefticaru ; Gexiang Zhang
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition / Chunxiu Liu ; Hongwen Liu
A Region-Oriented Hardware Implementation for Membrane Computing Applications / Van Nguyen ; David Kearney ; Gianpaolo Gioiosa
Discovering the Membrane Topology of Hyperdag P Systems / Radu Nicolescu ; Michael J. Dinneen ; Yun-Bum Kim
A Note on Small Universal Spiking Neural P Systems / Xiangxiang Zeng
On the Power of Computing with Proteins on Membranes / Petr Sosík ; Andrei Păun ; Alfonso Rodríguez-Patón ; David Pérez
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes / Andrea Valsecchi ; Antonio E. Porreca
Look-Ahead Evolution for P Systems / Sergey Verlan
Author Index
Invited Presentations
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Performance of Ant Routing Algorithms When Using TCP / Malgorzata Gadomska ; Andrzej Pacut
Evolving Buffer Overflow Attacks with Detector Feedback / H. Gunes Kayacik ; Malcolm Iain Heywood ; A. Nur Zincir-Heywood
Genetic Representations for Evolutionary Minimization of Network Coding Resources / Minkyu Kim ; Varun Aggarwal ; Una-May O'Reilly ; Muriel Medard ; Wonsik Kim
Bacterial Foraging Algorithm with Varying Population for Optimal Power Flow / M.S. Li ; W.J. Tang ; W.H. Tang ; Q.H. Wu ; J.R. Saunders
An Ant Algorithm for the Steiner Tree Problem in Graphs / Luc Luyet ; Sacha Varone ; Nicolas Zufferey
Message Authentication Protocol Based on Cellular Automata / Angel Martin del Rey
An Adaptive Global-Local Memetic Algorithm to Discover Resources in P2P Networks / Ferrante Neri ; Niko Kotilainen ; Mikko Vapa
Evolutionary Computation for Quality of Service Internet Routing Optimization / Miguel Rocha ; Pedro Sousa ; Paulo Cortez ; Miguel Rio
BeeSensor: A Bee-Inspired Power Aware Routing Protocol for Wireless Sensor Networks / Muhammad Saleem ; Muddassar Farooq
Radio Network Design Using Population-Based Incremental Learning and Grid Computing with BOINC / Miguel A. Vega-Rodriguez ; David Vega-Perez ; Juan A. Gomez-Pulido ; Juan M. Sanchez-Perez
Evaluation of Different Metaheuristics Solving the RND Problem / Enrique Alba ; Silvio Priem-Mendes ; Guillermo Molina
A Comparative Investigation on Heuristic Optimization of WCDMA Radio Networks / Mehmet E. Aydin ; Jun Yang ; Jie Zhang
Design of a User Space Software Suite for Probabilistic Routing in Ad-Hoc Networks / Frederick Ducatelle ; Martin Roth ; Luca Maria Gambardella
Empirical Validation of a Gossiping Communication Mechanism for Parallel EAs / Juan Luis Jimenez Laredo ; Pedro Angel Castillo ; Ben Paechter ; Antonio Miguel Mora ; Eva Alfaro-Cid ; Anna I. Esparcia-Alcazar ; Juan Julian Merelo
A Transport-Layer Based Simultaneous Access Scheme in Integrated WLAN/UMTS Mobile Networks / Hyung-Taig Lim ; Seung-Joon Seok ; Chul-Hee Kang
Simplified Transformer Winding Modelling and Parameter Identification Using Particle Swarm Optimiser with Passive Congregation / Almas Shintemirov ; Z. Lu
A Decentralized Hierarchical Aggregation Scheme Using Fermat Points in Wireless Sensor Networks / Jeongho Son ; Jinsuk Pak ; Hyunsook Kim ; Kijun Han
A Gateway Access-Point Selection Problem and Traffic Balancing in Wireless Mesh Networks / Ahmet Cagatay Talay
EvoFIN Contributions
A Genetic Programming Approach for Bankruptcy Prediction Using a Highly Unbalanced Database / Ken Sharman
Multi-objective Optimization Technique Based on Co-evolutionary Interactions in Multi-agent System / Rafal Drezewski ; Leszek Siwik
Quantum-Inspired Evolutionary Algorithms for Calibration of the VG Option Pricing Model / Kai Fan ; Anthony Brabazon ; Conall O'Sullivan ; Michael O'Neill
An Evolutionary Computation Approach to Scenario-Based Risk-Return Portfolio Optimization for General Risk Measures / Ronald Hochreiter
Building Risk-Optimal Portfolio Using Evolutionary Strategies / Piotr Lipinski ; Katarzyna Winczura ; Joanna Wojcik
Comparison of Evolutionary Techniques for Value-at-Risk Calculation / Gonul Uludag ; A. Sima Uyar ; Kerem Senel ; Hasan Dag
Using Kalman-Filtered Radial Basis Function Networks to Forecast Changes in the ISEQ Index / David Edelman
Business Intelligence for Strategic Marketing: Predictive Modelling of Customer Behaviour Using Fuzzy Logic and Evolutionary Algorithms / Andrea G.B. Tettamanzi ; Maria Carlesi ; Lucia Pannese ; Mauro Santalmasi
EvoIASP Contributions
Particle Swarm Optimization for Object Detection and Segmentation / Stefano Cagnoni ; Monica Mordonini ; Jonathan Sartori
Satellite Image Registration by Distributed Differential Evolution / Ivanoe De Falco ; Antonio Della Cioppa ; Domenico Maisto ; Umberto Scafuri ; Ernesto Tarantino
Harmonic Estimation Using a Global Search Optimiser / Y.N. Fei
An Online EHW Pattern Recognition System Applied to Face Image Recognition / Kyrre Glette ; Jim Torresen ; Moritoshi Yasunaga
Learning and Recognition of Hand-Drawn Shapes Using Generative Genetic Programming / Wojciech Jaskowski ; Krzysztof Krawiec ; Bartosz Wieloch
Multiclass Object Recognition Based on Texture Linear Genetic Programming / Gustavo Olague ; Eva Romero ; Leonardo Trujillo ; Bir Bhanu
Evolutionary Brain Computer Interfaces / Riccardo Poli ; Caterina Cinel ; Luca Citi ; Francisco Sepulveda
A Genetic Programming Approach to Feature Selection and Classification of Instantaneous Cognitive States / Rafael Ramirez ; Montserrat Puiggros
A Memetic Differential Evolution in Filter Design for Defect Detection in Paper Production / Ville Tirronen ; Tommi Karkkainen ; Kirsi Majava ; Tuomo Rossi
Optimal Triangulation in 3D Computer Vision Using a Multi-objective Evolutionary Algorithm / Israel Vite-Silva ; Nareli Cruz-Cortes ; Gregorio Toscano-Pulido ; Luis Gerardo de la Fraga
Genetic Programming for Image Recognition: An LGP Approach / Mengjie Zhang ; Christopher Graeme Fogelberg
Evolving Texture Features by Genetic Programming / Melanie Aurnhammer
Euclidean Distance Fit of Ellipses with a Genetic Algorithm / Israel Vite Silva
A Particle Swarm Optimizer Applied to Soft Morphological Filters for Periodic Noise Reduction / T. Y. Ji
Fast Genetic Scan Matching Using Corresponding Point Measurements in Mobile Robotics / Kristijan Lenac ; Enzo Mumolo ; Massimiliano Nolich
Overcompressing JPEG Images with Evolution Algorithms / Jacques Levy Vehel ; Franklin Mendivil ; Evelyne Lutton
Towards Dynamic Fitness Based Partitioning for IntraVascular UltraSound Image Analysis / Rui Li ; Jeroen Eggermont ; Michael T.M. Emmerich ; Ernst G.P. Bovenkamp ; Thomas Back ; Jouke Dijkstra ; Johan H.C. Reiber
Comparison Between Genetic Algorithms and the Baum-Welch Algorithm in Learning HMMs for Human Activity Classification / Oscar Perez ; Massimo Piccardi ; Jesus Garcia ; Miguel Angel Patricio ; Jose Manuel Molina
Unsupervised Evolutionary Segmentation Algorithm Based on Texture Analysis / Cynthia Beatriz Perez
Evolutionary Approaches for Automatic 3D Modeling of Skulls in Forensic Identification / Jose Santamaria ; Oscar Cordon ; Sergio Damas
Scale Invariance for Evolved Interest Operators
Application of the Univariate Marginal Distribution Algorithm to Mixed Analogue - Digital Circuit Design and Optimisation / Lyudmila Zinchenko ; Matthias Radecker ; Fabio Bisogno
Towards an Interactive, Generative Design System: Integrating a 'Build and Evolve' Approach with Machine Learning for Complex Freeform Design / Azahar T. Machwe ; Ian C. Parmee
An Interactive Graphics Rendering Optimizer Based on Immune Algorithm / Takuya Sueyoshi
Human Mosaic Creation Through Agents and Interactive Genetic Algorithms Applied to Videogames Movements / Oscar Sanjuan ; Gloria Garcia ; Yago Saez ; Cristobal Luque
EvoMUSART Contributions
Self-organizing Bio-inspired Sound Transformation / Marcelo Caetano ; Jonatas Manzolli ; Fernando Von Zuben
Environments for Sonic Ecologies / Tom Davis ; Pedro Rebelo
Creating Soundscapes Using Evolutionary Spatial Control / Jose Fornari ; Adolfo Maia Jr.
Toward Greater Artistic Control for Interactive Evolution of Images and Animation / David A. Hart
Evolutionary Assistance in Alliteration and Allelic Drivel / Raquel Hervas ; Jason Robinson ; Pablo Gervas
Evolutionary GUIs for Sound Synthesis / James McDermott ; Niall J.L. Griffith
Evolving Music Generation with SOM-Fitness Genetic Programming / Somnuk Phon-Amnuaisuk ; Edwin Hui Hean Law ; Ho Chin Kuan
An Automated Music Improviser Using a Genetic Algorithm Driven Synthesis Engine / Matthew John Yee-King
Interactive GP with Tree Representation of Classical Music Pieces / Daichi Ando ; Palle Dahlsted ; Mats G. Nordahl ; Hitoshi Iba
Evolutionary Methods for Melodic Sequences Generation from Non-linear Dynamic Systems / Eleonora Bilotta ; Pietro Pantano ; Enrico Cupellini ; Costantino Rizzuti
Music Composition Using Harmony Search Algorithm / Zong Woo Geem ; Jeong-Yoon Choi
Curve, Draft, and Style: Three Steps to the Image / Olgierd Unold ; Maciej Troc
GISMO2: An Application for Agent-Based Composition / Yuta Uozumi
EvoSTOC Contributions
Variable-Size Memory Evolutionary Algorithm to Deal with Dynamic Environments / Anabela Simoes ; Ernesto Costa
Genetic Algorithms with Elitism-Based Immigrants for Changing Optimization Problems / Shengxiang Yang
Triggered Memory-Based Swarm Optimization in Dynamic Environments / Hongfeng Wang ; Dingwei Wang
Experimental Comparison of Replacement Strategies in Steady State Genetic Algorithms for the Dynamic MKP
Understanding the Semantics of the Genetic Algorithm in Dynamic Environments / Abir Alharbi ; William Rand ; Rick Riolo
EvoTRANSLOG Contributions
Simultaneous Origin-Destination Matrix Estimation in Dynamic Traffic Networks with Evolutionary Computing / Theodore Tsekeris ; Loukas Dimitriou ; Antony Stathopoulos
Evolutionary Combinatorial Programming for Discrete Road Network Design with Reliability Requirements
Intelligent Traffic Control Decision Support System / Khaled Almejalli ; Keshav Dahal ; M. Alamgir Hossain
An Ant-Based Heuristic for the Railway Traveling Salesman Problem / Petrica C. Pop ; Camelia M. Pintea ; Corina Pop Sitar
Enhancing a MOACO for Solving the Bi-criteria Pathfinding Problem for a Military Unit in a Realistic Battlefield / Cristian Millan ; Juan Torrecillas ; Pedro A. Castillo
GRASP with Path Relinking for the Capacitated Arc Routing Problem with Time Windows / Mohamed Reghioui ; Christian Prins ; Nacima Labadi
Multi-objective Supply Chain Optimization: An Industrial Case Study / Lionel Amodeo ; Haoxun Chen ; Aboubacar El Hadji
Scheduling a Fuzzy Flowshop Problem with Flexible Due Dates Using Ant Colony Optimization / Sezgin Kilic
Author Index
EvoCOMNET Contributions
Performance of Ant Routing Algorithms When Using TCP / Malgorzata Gadomska ; Andrzej Pacut
Evolving Buffer Overflow Attacks with Detector Feedback / H. Gunes Kayacik ; Malcolm Iain Heywood ; A. Nur Zincir-Heywood
Mario Giacobini, David Hutchison, Takeo Kanade, Anthony Brabazon, Stefano Cagoni, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Andreas Fink, Evelyne Lutton, Penousal Machado, Stefan Minner
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
Performance of Ant Routing Algorithms When Using TCP / Malgorzata Gadomska ; Andrzej Pacut
Evolving Buffer Overflow Attacks with Detector Feedback / H. Gunes Kayacik ; Malcolm Iain Heywood ; A. Nur Zincir-Heywood
Genetic Representations for Evolutionary Minimization of Network Coding Resources / Minkyu Kim ; Varun Aggarwal ; Una-May O'Reilly ; Muriel Medard ; Wonsik Kim
Bacterial Foraging Algorithm with Varying Population for Optimal Power Flow / M.S. Li ; W.J. Tang ; W.H. Tang ; Q.H. Wu ; J.R. Saunders
An Ant Algorithm for the Steiner Tree Problem in Graphs / Luc Luyet ; Sacha Varone ; Nicolas Zufferey
Message Authentication Protocol Based on Cellular Automata / Angel Martin del Rey
An Adaptive Global-Local Memetic Algorithm to Discover Resources in P2P Networks / Ferrante Neri ; Niko Kotilainen ; Mikko Vapa
Evolutionary Computation for Quality of Service Internet Routing Optimization / Miguel Rocha ; Pedro Sousa ; Paulo Cortez ; Miguel Rio
BeeSensor: A Bee-Inspired Power Aware Routing Protocol for Wireless Sensor Networks / Muhammad Saleem ; Muddassar Farooq
Radio Network Design Using Population-Based Incremental Learning and Grid Computing with BOINC / Miguel A. Vega-Rodriguez ; David Vega-Perez ; Juan A. Gomez-Pulido ; Juan M. Sanchez-Perez
Evaluation of Different Metaheuristics Solving the RND Problem / Enrique Alba ; Silvio Priem-Mendes ; Guillermo Molina
A Comparative Investigation on Heuristic Optimization of WCDMA Radio Networks / Mehmet E. Aydin ; Jun Yang ; Jie Zhang
Design of a User Space Software Suite for Probabilistic Routing in Ad-Hoc Networks / Frederick Ducatelle ; Martin Roth ; Luca Maria Gambardella
Empirical Validation of a Gossiping Communication Mechanism for Parallel EAs / Juan Luis Jimenez Laredo ; Pedro Angel Castillo ; Ben Paechter ; Antonio Miguel Mora ; Eva Alfaro-Cid ; Anna I. Esparcia-Alcazar ; Juan Julian Merelo
A Transport-Layer Based Simultaneous Access Scheme in Integrated WLAN/UMTS Mobile Networks / Hyung-Taig Lim ; Seung-Joon Seok ; Chul-Hee Kang
Simplified Transformer Winding Modelling and Parameter Identification Using Particle Swarm Optimiser with Passive Congregation / Almas Shintemirov ; Z. Lu
A Decentralized Hierarchical Aggregation Scheme Using Fermat Points in Wireless Sensor Networks / Jeongho Son ; Jinsuk Pak ; Hyunsook Kim ; Kijun Han
A Gateway Access-Point Selection Problem and Traffic Balancing in Wireless Mesh Networks / Ahmet Cagatay Talay
EvoFIN Contributions
A Genetic Programming Approach for Bankruptcy Prediction Using a Highly Unbalanced Database / Ken Sharman
Multi-objective Optimization Technique Based on Co-evolutionary Interactions in Multi-agent System / Rafal Drezewski ; Leszek Siwik
Quantum-Inspired Evolutionary Algorithms for Calibration of the VG Option Pricing Model / Kai Fan ; Anthony Brabazon ; Conall O'Sullivan ; Michael O'Neill
An Evolutionary Computation Approach to Scenario-Based Risk-Return Portfolio Optimization for General Risk Measures / Ronald Hochreiter
Building Risk-Optimal Portfolio Using Evolutionary Strategies / Piotr Lipinski ; Katarzyna Winczura ; Joanna Wojcik
Comparison of Evolutionary Techniques for Value-at-Risk Calculation / Gonul Uludag ; A. Sima Uyar ; Kerem Senel ; Hasan Dag
Using Kalman-Filtered Radial Basis Function Networks to Forecast Changes in the ISEQ Index / David Edelman
Business Intelligence for Strategic Marketing: Predictive Modelling of Customer Behaviour Using Fuzzy Logic and Evolutionary Algorithms / Andrea G.B. Tettamanzi ; Maria Carlesi ; Lucia Pannese ; Mauro Santalmasi
EvoIASP Contributions
Particle Swarm Optimization for Object Detection and Segmentation / Stefano Cagnoni ; Monica Mordonini ; Jonathan Sartori
Satellite Image Registration by Distributed Differential Evolution / Ivanoe De Falco ; Antonio Della Cioppa ; Domenico Maisto ; Umberto Scafuri ; Ernesto Tarantino
Harmonic Estimation Using a Global Search Optimiser / Y.N. Fei
An Online EHW Pattern Recognition System Applied to Face Image Recognition / Kyrre Glette ; Jim Torresen ; Moritoshi Yasunaga
Learning and Recognition of Hand-Drawn Shapes Using Generative Genetic Programming / Wojciech Jaskowski ; Krzysztof Krawiec ; Bartosz Wieloch
Multiclass Object Recognition Based on Texture Linear Genetic Programming / Gustavo Olague ; Eva Romero ; Leonardo Trujillo ; Bir Bhanu
Evolutionary Brain Computer Interfaces / Riccardo Poli ; Caterina Cinel ; Luca Citi ; Francisco Sepulveda
A Genetic Programming Approach to Feature Selection and Classification of Instantaneous Cognitive States / Rafael Ramirez ; Montserrat Puiggros
A Memetic Differential Evolution in Filter Design for Defect Detection in Paper Production / Ville Tirronen ; Tommi Karkkainen ; Kirsi Majava ; Tuomo Rossi
Optimal Triangulation in 3D Computer Vision Using a Multi-objective Evolutionary Algorithm / Israel Vite-Silva ; Nareli Cruz-Cortes ; Gregorio Toscano-Pulido ; Luis Gerardo de la Fraga
Genetic Programming for Image Recognition: An LGP Approach / Mengjie Zhang ; Christopher Graeme Fogelberg
Evolving Texture Features by Genetic Programming / Melanie Aurnhammer
Euclidean Distance Fit of Ellipses with a Genetic Algorithm / Israel Vite Silva
A Particle Swarm Optimizer Applied to Soft Morphological Filters for Periodic Noise Reduction / T. Y. Ji
Fast Genetic Scan Matching Using Corresponding Point Measurements in Mobile Robotics / Kristijan Lenac ; Enzo Mumolo ; Massimiliano Nolich
Overcompressing JPEG Images with Evolution Algorithms / Jacques Levy Vehel ; Franklin Mendivil ; Evelyne Lutton
Towards Dynamic Fitness Based Partitioning for IntraVascular UltraSound Image Analysis / Rui Li ; Jeroen Eggermont ; Michael T.M. Emmerich ; Ernst G.P. Bovenkamp ; Thomas Back ; Jouke Dijkstra ; Johan H.C. Reiber
Comparison Between Genetic Algorithms and the Baum-Welch Algorithm in Learning HMMs for Human Activity Classification / Oscar Perez ; Massimo Piccardi ; Jesus Garcia ; Miguel Angel Patricio ; Jose Manuel Molina
Unsupervised Evolutionary Segmentation Algorithm Based on Texture Analysis / Cynthia Beatriz Perez
Evolutionary Approaches for Automatic 3D Modeling of Skulls in Forensic Identification / Jose Santamaria ; Oscar Cordon ; Sergio Damas
Scale Invariance for Evolved Interest Operators
Application of the Univariate Marginal Distribution Algorithm to Mixed Analogue - Digital Circuit Design and Optimisation / Lyudmila Zinchenko ; Matthias Radecker ; Fabio Bisogno
Towards an Interactive, Generative Design System: Integrating a 'Build and Evolve' Approach with Machine Learning for Complex Freeform Design / Azahar T. Machwe ; Ian C. Parmee
An Interactive Graphics Rendering Optimizer Based on Immune Algorithm / Takuya Sueyoshi
Human Mosaic Creation Through Agents and Interactive Genetic Algorithms Applied to Videogames Movements / Oscar Sanjuan ; Gloria Garcia ; Yago Saez ; Cristobal Luque
EvoMUSART Contributions
Self-organizing Bio-inspired Sound Transformation / Marcelo Caetano ; Jonatas Manzolli ; Fernando Von Zuben
Environments for Sonic Ecologies / Tom Davis ; Pedro Rebelo
Creating Soundscapes Using Evolutionary Spatial Control / Jose Fornari ; Adolfo Maia Jr.
Toward Greater Artistic Control for Interactive Evolution of Images and Animation / David A. Hart
Evolutionary Assistance in Alliteration and Allelic Drivel / Raquel Hervas ; Jason Robinson ; Pablo Gervas
Evolutionary GUIs for Sound Synthesis / James McDermott ; Niall J.L. Griffith
Evolving Music Generation with SOM-Fitness Genetic Programming / Somnuk Phon-Amnuaisuk ; Edwin Hui Hean Law ; Ho Chin Kuan
An Automated Music Improviser Using a Genetic Algorithm Driven Synthesis Engine / Matthew John Yee-King
Interactive GP with Tree Representation of Classical Music Pieces / Daichi Ando ; Palle Dahlsted ; Mats G. Nordahl ; Hitoshi Iba
Evolutionary Methods for Melodic Sequences Generation from Non-linear Dynamic Systems / Eleonora Bilotta ; Pietro Pantano ; Enrico Cupellini ; Costantino Rizzuti
Music Composition Using Harmony Search Algorithm / Zong Woo Geem ; Jeong-Yoon Choi
Curve, Draft, and Style: Three Steps to the Image / Olgierd Unold ; Maciej Troc
GISMO2: An Application for Agent-Based Composition / Yuta Uozumi
EvoSTOC Contributions
Variable-Size Memory Evolutionary Algorithm to Deal with Dynamic Environments / Anabela Simoes ; Ernesto Costa
Genetic Algorithms with Elitism-Based Immigrants for Changing Optimization Problems / Shengxiang Yang
Triggered Memory-Based Swarm Optimization in Dynamic Environments / Hongfeng Wang ; Dingwei Wang
Experimental Comparison of Replacement Strategies in Steady State Genetic Algorithms for the Dynamic MKP
Understanding the Semantics of the Genetic Algorithm in Dynamic Environments / Abir Alharbi ; William Rand ; Rick Riolo
EvoTRANSLOG Contributions
Simultaneous Origin-Destination Matrix Estimation in Dynamic Traffic Networks with Evolutionary Computing / Theodore Tsekeris ; Loukas Dimitriou ; Antony Stathopoulos
Evolutionary Combinatorial Programming for Discrete Road Network Design with Reliability Requirements
Intelligent Traffic Control Decision Support System / Khaled Almejalli ; Keshav Dahal ; M. Alamgir Hossain
An Ant-Based Heuristic for the Railway Traveling Salesman Problem / Petrica C. Pop ; Camelia M. Pintea ; Corina Pop Sitar
Enhancing a MOACO for Solving the Bi-criteria Pathfinding Problem for a Military Unit in a Realistic Battlefield / Cristian Millan ; Juan Torrecillas ; Pedro A. Castillo
GRASP with Path Relinking for the Capacitated Arc Routing Problem with Time Windows / Mohamed Reghioui ; Christian Prins ; Nacima Labadi
Multi-objective Supply Chain Optimization: An Industrial Case Study / Lionel Amodeo ; Haoxun Chen ; Aboubacar El Hadji
Scheduling a Fuzzy Flowshop Problem with Flexible Due Dates Using Ant Colony Optimization / Sezgin Kilic
Author Index
EvoCOMNET Contributions
Performance of Ant Routing Algorithms When Using TCP / Malgorzata Gadomska ; Andrzej Pacut
Evolving Buffer Overflow Attacks with Detector Feedback / H. Gunes Kayacik ; Malcolm Iain Heywood ; A. Nur Zincir-Heywood
Security Issues for the Use of Semantic Web in E-Commerce / Andreas Ekelhart ; Stefan Fenz ; A Min Tjoa ; Edgar R. Weippl
Business Process Management
Automatic Merging of Work Items in Business Process Management Systems / Dat C. Ma ; Joe Y.-C. Lin ; Maria E. Orlowska
Complex Events in Business Processes / Alistair Barros ; Gero Decker ; Alexander Grosskopf
Collaborative E-Business Process Modelling: A Holistic Analysis Framework Focused on Small and Medium-Sized Enterprises / Volker Hoyer ; Oliver Christ
A Conceptual Framework for Composition in Business Process Management / Ingo Weber ; Ivan Markovic ; Christian Drumm
Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service Composition Environment / Yang Xiao ; Susan D. Urban
A Survey of Comparative Business Process Modeling Approaches / Ruopeng Lu ; Shazia Sadiq
Web Services
Web Service Discovery Based on Past User Experience / Natallia Kokash ; Aliaksandr Birukou ; Vincenzo D'Andrea
The Service Modeling Process Based on Use Case Refactoring / Yukyong Kim ; Kyung-Goo Doh
Scenarios and Techniques for Choreography Design / Michael von Riegen
Web Service-Based Specification and Implementation of Functional Components in Federated ERP-Systems / Nico Brehm ; Jorge Marx Gomez
SEEMP: Meaningful Service-Based Collaboration Among Labour Market Actors / Emanuele Della Valle ; Dario Cerizza ; Irene Celino ; Jacky Estublier ; German Vega ; Michael Kerrigan ; Jaime Ramirez ; Boris Villazon ; Pascal Guarrera ; Gang Zhao ; Gabriella Monteleone
Towards a Digital Content Services Design Based on Triple Space / David de Francisco ; Noelia Perez ; Doug Foxvog ; Andreas Harth ; Daniel Martin ; Daniel Wutke ; Martin Murth ; Elena Paslaru Bontas Simperl
Evaluating Quality of Web Services: A Risk-Driven Approach
Proposal of an Architecture for a Biometrics Grid / Anlong Ming ; Huadong Ma
Ontologies
An Ontology Slicing Method Based on Ontology Definition Metamodel / Longfei Jin ; Lei Liu
Facilitating Business Interoperability from the Semantic Web / Roberto Garcia ; Rosa Gil
Efficient Automatic Selection of Semantically-Annotated Building Blocks for ERPs Customizing / Eufemia Tinelli ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco di Cugno
Towards Ontology-Driven Information Systems: Redesign and Formalization of the REA Ontology / Frederik Gailly ; Geert Poels
ProdLight: A Lightweight Ontology for Product Description Based on Datatype Properties / Martin Hepp
A Context-Based Enterprise Ontology / Mauri Leppanen
Extracting Violent Events From On-Line News for Ontology Population / Jakub Piskorski ; Hristo Tanev ; Pinar Oezden Wennerberg
Improving the Accuracy of Job Search with Semantic Techniques / Malgorzata Mochol ; Holger Wache ; Lyndon Nixon
Ontology-Based User Profiling / Carsten Felden ; Markus Linden
Information Retrieval
Xistree: Bottom-Up Method of XML Indexing / Xinyin Wang ; Chenghong Zhang ; Jingyuan Wang ; Yunfa Hu
Efficient Algorithms for Spatial Configuration Information Retrieval / Haibin Sun ; Xin Chen
String Distance Metrics for Reference Matching and Search Query Correction / Marcin Sydow
Natural Language Technology for Information Integration in Business Intelligence / Diana Maynard ; Horacio Saggion ; Milena Yankova ; Kalina Bontcheva ; Wim Peters
Semantic Similarity Measure of Polish Nouns Based on Linguistic Features / Maciej Piasecki ; Bartosz Broda
Automatic Document Structure Detection for Data Integration / Radek Burget
Bottom-Up Discovery of Clusters of Maximal Ranges in HTML Trees for Search Engines Results Extraction / Dominik Flejter ; Roman Hryniewiecki
Usability of Geo Web Sites: Case Study of Czech Regional Authorities Web Sites / Jitka Komarkova ; Martin Novak ; Renata Bilkova ; Ondrej Visek ; Zdenek Valenta
System Design
Supporting Use-Case Reviews / Alicja Ciemniewska ; Jakub Jurkiewicz ; Lukasz Olek ; Jerzy Nawrocki
Investigation of Application Specific Metrics to Data Quality Assessment / Dariusz Krol ; Tadeusz Lasota ; Maciej Siarkowski ; Bogdan Trawinski
Tool-Supported Method for the Extraction of OCL from ORM Models / Sergejus Sosunovas ; Olegas Vasilecas
Agents And Mobile Applications
Model-Driven Architecture for Mobile Applications / Jurgen Dunkel ; Ralf Bruns
Automated Integration Tests for Mobile Applications in Java 2 Micro Edition / Dawid Weiss ; Marcin Zduniak
Pitfalls of Agent System Development on the Basis of a Travel Support System / Maciej Gawinecki ; Mateusz Kruszyk ; Marcin Paprzycki ; Maria Ganzha
Anticipative Agent Based System Synchronization Example / Andrej Skraba ; Miroljub Kljajic ; Davorin Kofjac ; Blaz Rodic ; Matevz Bren
Ubiquitous Commerce Business Models Based on Ubiquitous Media / Kyoung Jun Lee ; Jeong-In Ju
Context-Awareness in Mobile Service Meets Fine Location Estimate / Tomohisa Yamashita ; Daisuke Takaoka ; Noriaki Izumi ; Akio Sashima ; Koichi Kurumatani ; Koiti Hasida
Decision Support
Adaptive Fuzzy Inventory Control Algorithm for Replenishment Process Optimization in an Uncertain Environment
Post Decision-Making Analysis of the Reengineering Process Supported by Simulation Methods / Mirjana Kljajic Borstnar ; Edvard Kolmanic
Contextual Classifier Ensembles / Janina Anna Jakubczyc
Social Issues
An Algebraic Algorithm for Structural Validation of Social Protocols / Willy Picard
Long Tails and Analysis of Knowledge Worker Intranet Browsing Behavior / Peter Geczy ; Shotaro Akaho
A Trustworthy Email System Based on Instant Messaging / Wenmao Zhang ; Jun Bi ; Miao Zhang ; Zheng Qin
Specific MIS Issues
Towards Operationalizing Strategic Alignment of IT by Usage of Software Engineering Methods / Bernd Tilg ; Joanna Chimiak-Opoka ; Chris Lenz ; Ruth Breu
A Modelling Approach for Dynamic and Complex Capacities in Production Control Systems / Wilhelm Dangelmaier ; Benjamin Klopper ; Thorsten Timm ; Daniel Bruggemann
Product Line Architecture for RFID-Enabled Applications / Mikyeong Moon ; Keunhyuk Yeom
Author Index
Keynote
Security Issues for the Use of Semantic Web in E-Commerce / Andreas Ekelhart ; Stefan Fenz ; A Min Tjoa ; Edgar R. Weippl
Security Issues for the Use of Semantic Web in E-Commerce / Andreas Ekelhart ; Stefan Fenz ; A Min Tjoa ; Edgar R. Weippl
Business Process Management
Automatic Merging of Work Items in Business Process Management Systems / Dat C. Ma ; Joe Y.-C. Lin ; Maria E. Orlowska
Complex Events in Business Processes / Alistair Barros ; Gero Decker ; Alexander Grosskopf
Collaborative E-Business Process Modelling: A Holistic Analysis Framework Focused on Small and Medium-Sized Enterprises / Volker Hoyer ; Oliver Christ
A Conceptual Framework for Composition in Business Process Management / Ingo Weber ; Ivan Markovic ; Christian Drumm
Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service Composition Environment / Yang Xiao ; Susan D. Urban
A Survey of Comparative Business Process Modeling Approaches / Ruopeng Lu ; Shazia Sadiq
Web Services
Web Service Discovery Based on Past User Experience / Natallia Kokash ; Aliaksandr Birukou ; Vincenzo D'Andrea
The Service Modeling Process Based on Use Case Refactoring / Yukyong Kim ; Kyung-Goo Doh
Scenarios and Techniques for Choreography Design / Michael von Riegen
Web Service-Based Specification and Implementation of Functional Components in Federated ERP-Systems / Nico Brehm ; Jorge Marx Gomez
SEEMP: Meaningful Service-Based Collaboration Among Labour Market Actors / Emanuele Della Valle ; Dario Cerizza ; Irene Celino ; Jacky Estublier ; German Vega ; Michael Kerrigan ; Jaime Ramirez ; Boris Villazon ; Pascal Guarrera ; Gang Zhao ; Gabriella Monteleone
Towards a Digital Content Services Design Based on Triple Space / David de Francisco ; Noelia Perez ; Doug Foxvog ; Andreas Harth ; Daniel Martin ; Daniel Wutke ; Martin Murth ; Elena Paslaru Bontas Simperl
Evaluating Quality of Web Services: A Risk-Driven Approach
Proposal of an Architecture for a Biometrics Grid / Anlong Ming ; Huadong Ma
Ontologies
An Ontology Slicing Method Based on Ontology Definition Metamodel / Longfei Jin ; Lei Liu
Facilitating Business Interoperability from the Semantic Web / Roberto Garcia ; Rosa Gil
Efficient Automatic Selection of Semantically-Annotated Building Blocks for ERPs Customizing / Eufemia Tinelli ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco di Cugno
Towards Ontology-Driven Information Systems: Redesign and Formalization of the REA Ontology / Frederik Gailly ; Geert Poels
ProdLight: A Lightweight Ontology for Product Description Based on Datatype Properties / Martin Hepp
A Context-Based Enterprise Ontology / Mauri Leppanen
Extracting Violent Events From On-Line News for Ontology Population / Jakub Piskorski ; Hristo Tanev ; Pinar Oezden Wennerberg
Improving the Accuracy of Job Search with Semantic Techniques / Malgorzata Mochol ; Holger Wache ; Lyndon Nixon
Ontology-Based User Profiling / Carsten Felden ; Markus Linden
Information Retrieval
Xistree: Bottom-Up Method of XML Indexing / Xinyin Wang ; Chenghong Zhang ; Jingyuan Wang ; Yunfa Hu
Efficient Algorithms for Spatial Configuration Information Retrieval / Haibin Sun ; Xin Chen
String Distance Metrics for Reference Matching and Search Query Correction / Marcin Sydow
Natural Language Technology for Information Integration in Business Intelligence / Diana Maynard ; Horacio Saggion ; Milena Yankova ; Kalina Bontcheva ; Wim Peters
Semantic Similarity Measure of Polish Nouns Based on Linguistic Features / Maciej Piasecki ; Bartosz Broda
Automatic Document Structure Detection for Data Integration / Radek Burget
Bottom-Up Discovery of Clusters of Maximal Ranges in HTML Trees for Search Engines Results Extraction / Dominik Flejter ; Roman Hryniewiecki
Usability of Geo Web Sites: Case Study of Czech Regional Authorities Web Sites / Jitka Komarkova ; Martin Novak ; Renata Bilkova ; Ondrej Visek ; Zdenek Valenta
System Design
Supporting Use-Case Reviews / Alicja Ciemniewska ; Jakub Jurkiewicz ; Lukasz Olek ; Jerzy Nawrocki
Investigation of Application Specific Metrics to Data Quality Assessment / Dariusz Krol ; Tadeusz Lasota ; Maciej Siarkowski ; Bogdan Trawinski
Tool-Supported Method for the Extraction of OCL from ORM Models / Sergejus Sosunovas ; Olegas Vasilecas
Agents And Mobile Applications
Model-Driven Architecture for Mobile Applications / Jurgen Dunkel ; Ralf Bruns
Automated Integration Tests for Mobile Applications in Java 2 Micro Edition / Dawid Weiss ; Marcin Zduniak
Pitfalls of Agent System Development on the Basis of a Travel Support System / Maciej Gawinecki ; Mateusz Kruszyk ; Marcin Paprzycki ; Maria Ganzha
Anticipative Agent Based System Synchronization Example / Andrej Skraba ; Miroljub Kljajic ; Davorin Kofjac ; Blaz Rodic ; Matevz Bren
Ubiquitous Commerce Business Models Based on Ubiquitous Media / Kyoung Jun Lee ; Jeong-In Ju
Context-Awareness in Mobile Service Meets Fine Location Estimate / Tomohisa Yamashita ; Daisuke Takaoka ; Noriaki Izumi ; Akio Sashima ; Koichi Kurumatani ; Koiti Hasida
Decision Support
Adaptive Fuzzy Inventory Control Algorithm for Replenishment Process Optimization in an Uncertain Environment
Post Decision-Making Analysis of the Reengineering Process Supported by Simulation Methods / Mirjana Kljajic Borstnar ; Edvard Kolmanic
Contextual Classifier Ensembles / Janina Anna Jakubczyc
Social Issues
An Algebraic Algorithm for Structural Validation of Social Protocols / Willy Picard
Long Tails and Analysis of Knowledge Worker Intranet Browsing Behavior / Peter Geczy ; Shotaro Akaho
A Trustworthy Email System Based on Instant Messaging / Wenmao Zhang ; Jun Bi ; Miao Zhang ; Zheng Qin
Specific MIS Issues
Towards Operationalizing Strategic Alignment of IT by Usage of Software Engineering Methods / Bernd Tilg ; Joanna Chimiak-Opoka ; Chris Lenz ; Ruth Breu
A Modelling Approach for Dynamic and Complex Capacities in Production Control Systems / Wilhelm Dangelmaier ; Benjamin Klopper ; Thorsten Timm ; Daniel Bruggemann
Product Line Architecture for RFID-Enabled Applications / Mikyeong Moon ; Keunhyuk Yeom
Author Index
Keynote
Security Issues for the Use of Semantic Web in E-Commerce / Andreas Ekelhart ; Stefan Fenz ; A Min Tjoa ; Edgar R. Weippl
The Application of Multi-Agent System in Monitoring and Control of Nonlinear Bioprocesses / Piotr Skupin ; Mieczyslaw Metzger
Agent Capability Taxonomy for Dynamic Environments / Jorge Agüero ; Miguel Rebollo ; Carlos Carrascosa
Modeling Internet as a User-Adapted Speech Service / David Griol ; Javier Carbó ; José Manuel Molina
HAIS Applications
Unsupervised Classification of Audio Signals by Self-Organizing Maps and Bayesian Labeling / Ricardo Cruz ; Andrés Ortiz ; Ana M. Barbancho ; Isabel Barbancho
Robust Speaker Identification Using Ensembles of Kernel Principal Component Analysis / IL-Ho Yang ; Min-Seok Kim ; Byung-Min So ; Myung-Jae Kim ; Ha-Jin Yu
Application of Genetic Algorithms to Optimize a Truncated Mean k-Nearest Neighbours Regressor for Hotel Reservation Forecasting / Andrés Sanz-García ; Julio Fernández-Ceniceros ; Fernando Antoñanzas-Torres ; F. Javier Matínez-de-Pisón-Ascacibar
A Social Network-Based Approach to Expert Recommendation System / Elnaz Davoodi ; Mohsen Afsharchi ; Keivan Kianmehr
Decentralized Multi-tasks Distribution in Heterogeneous Robot Teams by Means of Ant Colony Optimization and Learning Automata / Javier de Lope ; Darío Maravall ; Yadira Quiñonez
Lipreading Procedure for Liveness Verification in Video Authentication Systems / Agnieszka Owczarek ; Krzysztof Slot
Fuzzy Sliding Mode Control with Chattering Elimination for a Quadrotor Helicopter in Vertical Flight / S. Zeghlache ; D. Saigaa ; K. Kara ; Abdelghani Harrag ; A. Bouguerra
Ensemble of Binary Learners for Reliable Text Categorization with a Reject Option / Giuliano Armano ; Camelia Chira ; Nima Hatami
A Memetic Approach to Project Scheduling That Maximizes the Effectiveness of the Human Resources Assigned to Project Activities / Virginia Yannibelli ; Analía Amandi
Hunting for Fraudsters in Random Forests / R.M. Konijn ; W. Kowalczyk
Neural Networks Ensembles Approach for Simulation of Solar Arrays Degradation Process / Vladimir Bukhtoyarov ; Eugene Semenkin ; Andrey Shabalov
Using Genetic Algorithms to Improve Prediction of Execution Times of ML Tasks / Rattan Priya ; Bruno Feres de Souza ; André L.D. Rossi ; André C.P.L.F. de Carvalho
Hybrid Artificial Intelligence Approaches on Vehicle Routing Problem in Logistics Distribution / Dragan Simic ; Svetlana Simic
Fuzzy C-Means Clustering with Bilateral Filtering for Medical Image Segmentation / Yuchen Liu ; Kai Xiao ; Alei Liang ; Haibing Guan
A Improved Clustering Analysis Method Based on Fuzzy C-Means Algorithm by Adding PSO Algorithm / Liang Pang
Cluster Analysis
k-Means Clustering of Asymmetric Data / Dominik Olszewski
A Max Metric to Evaluate a Cluster / Hosein Alizadeh ; Hamid Parvin ; Sajad Parvin ; Zahra Rezaei ; Moslem Mohamadi
Nearest Cluster Classifier / Behrouz Minaei
Diffusion Maps for the Description of Meteorological Data / Ángela Fernández ; Ana M. González ; Julia Díaz ; José R. Dorronsoro
Computational Complexity Reduction and Interpretability Improvement of Distance-Based Decision Trees / Marcin Blachnik ; Miroslaw Kordos
Data Mining and Knowledge Discovery
Improving the Generalization Capability of Hybrid Immune Detector Maturation Algorithm / Jungan Chen ; Feng Liang ; Zhaoxi Fang
White Box Classification of Dissimilarity Data / Barbara Hammer ; Bassam Mokbel ; Frank-Michael Schleif ; Xibin Zhu
On Ensemble Classifiers for Noninstrusive Appliance Load Monitoring / Oliver Kramer ; O. Wilken ; P. Beenken ; A. Hein ; A. Hüwel ; T. Klingenberg ; C. Meinecke ; T. Raabe ; M. Sonnenschein
Lee Path Replanner for Partially-Known Environments / Maciej Polanczyk ; Przemyslaw Baranski ; Michal Strzelecki
Stroke Based Handwritten Character Recognition / D. Álvarez ; R. Fernández ; L. Sánchez
KETO: A Knowledge Editing Tool for Encoding Condition - Action Guidelines into Clinical DSSs / Aniello Minutolo ; Massimo Esposito ; Giuseppe De Pietro
Integration of Intelligent Information Technologies Ensembles for Modeling and Classification / Pavel Galushin
Fusion of Modular Bayesian Networks for Context-Aware Decision Making / Seung-Hyun Lee ; Sung-Bae Cho
Evolutionary Computation
Real-World Problem for Checking the Sensitiveness of Evolutionary Algorithms to the Choice of the Random Number Generator / Miguel Cárdenas-Montes ; Miguel A. Vega-Rodríguez ; Antonio Gómez-Iglesias
Hybrid Multi-objective Machine Learning Classification in Liver Transplanation / M. Pérez-Ortiz ; M. Cruz-Ramírez ; J.C. Fernández-Caballero ; C. Hervás-Martínez
Evolutionary Optimized Forest of Regression Trees: Application in Metallurgy / Jerzy Piotrowski ; Szymon Bialka ; Slawomir Golak ; Tadeusz Wieczorek
Evolutionary Neural Networks for Product Design Tasks / Angela Bernardini ; Javier Asensio ; José Luis Olazagoitia ; Jorge Biera
An Incremental Hypersphere Learning Framework for Protein Membership Prediction / Noel Lopes ; Daniel Correia ; Carlos Pereira ; Bernardete Ribeiro ; António Dourado
An Evolutionary Approach to Generate Solutions for Conflict Scenarios / Davide Carneiro ; Cesar Analide ; Paulo Novais ; José Neves
Initialization Procedures for Multiobjective Evolutionary Approaches to the Segmentation Issue / José L. Guerrero ; Antonio Berlanga
Optimization of Neuro-coefficient Smooth Transition Autoregressive Models Using Differential Evolution / Christoph Bergmeir ; Isaac Triguero ; Francisco Velasco ; José Manuel Benítez
ReactGA - The Search Space Transformation for the Local Optimum Escaping / Radoslaw Ziembinski
Learning Algorithms
PATMAP: Polyadenylation Site Identification from Next-Generation Sequencing Data / Xiaohui Wu ; Meishuang Tang ; Junfeng Yao ; Shuiyuan Lin ; Zhe Xiang ; Guoli Ji
How to Reduce Dimension while Improving Performance / A. Bouchelaghem ; M. Drif ; N. Harrag
On How Percolation Threshold Affects PSO Performance / Blanca Cases ; Alicia D'Anjou ; Abdelmalik Moujahid
Pollen Grains Contour Analysis on Verification Approach / Norma Monzón García ; Víctor Alfonso Elizondo Chaves ; Juan Carlos Briceño ; Carlos M. Travieso
Modelling Stress Recognition in Conflict Resolution Scenarios / Marco Gomes
Multilayer-Perceptron Network Ensemble Modeling with Genetic Algorithms for the Capacity of Bolted Lap Joint / F. Javier Martínez-de-Pisón-Ascacibar
A Hybrid Classical Approach to a Fixed-Charged Transportation Problem / Camelia-M. Pintea ; Corina Pop Sitar ; Mara Hajdu-Macelaru ; Pop Petrica
Computing Optimal Solutions of a Linear Programming Problem with Interval Type-2 Fuzzy Constraints / Juan Carlos Figueroa-García ; Germán Hernandez
Systems, Man, and Cybernetics by HAIS
Supervision Strategy of a Solar Volumetric Receiver Using NN and Rule Based Techniques / Ramón Ferreiro García ; José Luis Calvo Rolle ; Francisco Javier Pérez Castelo
Modeling an Operating System Based on Agents / Javier Palanca Cámara ; Marti Navarro ; Estefania Argente ; Ana Garcia-Fornes
An Empirical Comparison of Some Approximate Methods for Graph Coloring / Israel Rebollo-Ruiz ; Manuel Graña
A Predictive Evolutionary Algorithm for Dynamic Constrained Inverse Kimematics Problems / Patryk Filipiak ; Krzysztof Michalak ; Piotr Lipinski
Non-linear Data Stream Compression: Foundations and Theoretical Results / Alfredo Cuzzocrea ; Hendrik Decker
Reasoning with Qualitative Velocity: Towards a Hybrid Approach / J. Golinska-Pilarek ; E. Muñoz-Velasco
Research of Neural Network Classifier Based on FCM and PSO for Breast Cancer Classification / Lei Zhang ; Lin Wang ; Xujiewen Wang ; Keke Liu ; Ajith Abraham
Improving Evolved Alphabet Using Tabu Set / Jan Platos ; Pavel Kromer
Rough Sets-Based Identification of Heart Valve Diseases Using Heart Sounds / Mostafa A. Salama ; Aboul Ella Hassanien ; Aly A. Fahmy ; Vaclav Snasel
A Novel Hybrid Intelligent Classifier to Obtain the Controller Tuning Parameters for Temperature Control / José Luis Calvo-Rolle ; Emilio Corchado ; Héctor Quintian-Pardo ; Jesús Ángel Román ; Pedro Antonio Hernández
SpaGRID: A Spatial Grid Framework for High Dimensional Medical Databases / Harleen Kaur ; Ritu Chauhan ; Mohd. Afshar Alam ; Syed Aljunid ; Mohd. Salleh
Author Index
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern
HiBB 2011: 2nd Workshop on High-Performance Bioinformatics and Biomedicine
Introduction / Mario Cannataro
On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci ; Mario Coppo ; Ferruccio Damiani ; Maurizio Drocco ; Eva Sciacca ; Salvatore Spinella ; Massimo Torquati ; Angelo Troina
Scalable Sequence Similarity Search and Join in Main Memory on Multi-cores / Astrid Rheinländer ; Ulf Leser
Enabling Data and Compute Intensive Workflows in Bioinformatics / Gaurang Mehta ; Ewa Deelman ; James A. Knowles ; Ting Chen ; Ying Wang ; Jens Vöckler ; Steven Buyske ; Tara Matise
Homogenizing Access to Highly Time-Consuming Biomedical Applications through a Web-Based Interface / Luigi Grasso ; Nuria Medina-Medina ; Rosana Montes-Soldado ; María M. Abad-Grau
Distributed Management and Analysis of Omics Data / Pietro Hiram Guzzi
Managing and Delivering Grid Services (MDGS)
Resource Allocation for the French National Grid Initiative / Thomas Schaaf ; Adam S.Z. Belloum ; Owen Appleton ; Joan Serrat-Fernández ; Tomasz Szepieniec ; Gilles Mathieu ; Hélène Cordier
On Importance of Service Level Management in Grids / Joanna Kocot ; Matti Heikkurinen ; Martin Metzker
On-Line Monitoring of Service-Level Agreements in the Grid / Bartosz Balis ; Renata Slota ; Jacek Kitowski ; Marian Bubak
Challenges of Future e-Infrastructure Governance / Dana Petcu
Influences between Performance Based Scheduling and Service Level Agreements / Antonella Galizia ; Alfonso Quarati ; Michael Schiffers ; Mark Yampolskiy
User Centric Service Level Management in mOSAIC Applications / Massimiliano Rak ; Rocco Aversa ; Salvatore Venticinque ; Beniamino Di Martino
Service Level Management for Executable Papers / Reginald Cushing ; Spiros Koulouzis ; Rudolf Strijkers
Change Management in e-Infrastructures to Support Service Level Agreements / Silvia Knittl ; Ilya Saverchenko
PROPER 2011: Fourth Workshop on Productivity and Performance: Tools for HPC Application Development
Scout: A Source-to-Source Transformator for SIMD-Optimizations / Michael Gerndt ; Olaf Krzikalla ; Kim Feldhoff ; Ralph Müller-Pfefferkorn ; Wolfgang E. Nagel
Scalable Automatic Performance Analysis on IBM BlueGene/P Systems / Yury Oleynik
An Approach to Creating Performance Visualizations in a Parallel Profile Analysis Tool / Wyatt Spear ; Allen D. Malony ; Chee Wai Lee ; Scott Biersdorff ; Sameer Shende
INAM - A Scalable InfiniBand Network Analysis and Monitoring Tool / N. Dandapanthula ; H. Subramoni ; J. Vienne ; K. Kandalla ; S. Sur ; Dhabaleswar K. Panda ; Ron Brightwell
Auto-tuning for Energy Usage in Scientific Applications / Ananta Tiwari ; Michael A. Laurenzano ; Laura Carrington ; Allan Snavely
Automatic Source Code Transformation for GPUs Based on Program Comprehension / Pasquale Cantiello
Enhancing Brainware Productivity through a Performance Tuning Workflow / Christian Iwainsky ; Ralph Altenfeld ; Dieter an Mey ; Christian Bischof
Workshop on Resiliency in High-Performance Computing (Resilience) in Clusters, Clouds, and Grids
The Malthusian Catastrophe Is Upon Us! Are the Largest HPC Machines Ever Up? / Stephen L. Scott ; Chokchai (Box) Leangsuksun ; Patricia Kovatch ; Matthew Ezell ; Ryan Braby
Simulating Application Resilience at Exascale / Rolf Riesen ; Kurt B. Ferreira ; Maria Ruiz Varela ; Michela Taufer ; Aran Rodrigues
Framework for Enabling System Understanding / J. Brandt ; F. Chen ; A. Gentile ; J. Mayo ; P. Pebay ; D. Roe ; N. Taerat ; D. Thompson ; M. Wong
Cooperative Application/OS DRAM Fault Recovery / Patrick G. Bridges ; Mark Hoemmen ; Michael A. Heroux ; Philip Soltero
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC / David Fiala ; Frank Mueller ; Christian Engelmann
Reducing the Impact of Soft Errors on Fabric-Based Collective Communications / José Carlos Sancho ; Ana Jokanovic ; Jesus Labarta
Evaluating Application Vulnerability to Soft Errors in Multi-level Cache Hierarchy / Zhe Ma ; Trevor Carlson ; Wim Heirman ; Lieven Eeckhout
Experimental Framework for Injecting Logic Errors in a Virtual Machine to Profile Applications for Soft Error Resilience / Nathan DeBardeleben ; Sean Blanchard ; Qiang Guan ; Ziming Zhang ; Song Fu
High Availability on Cloud with HA-OSCAR / Thanadech Thanakornworakij ; Rajan Sharma ; Blaine Scroggs ; Zeno Dixon Greenwood ; Pierre Riteau ; Christine Morin
On the Viability of Checkpoint Compression for Extreme Scale Fault Tolerance / Dewan Ibtesham ; Dorian Arnold
Can Checkpoint/Restart Mechanisms Benefit from Hierarchical Data Staging? / Raghunath Rajachandrasekar ; Xiangyong Ouyang ; Xavier Besseron ; Vilobh Meshram
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol / Thierry Gautier
UCHPC 2011: Fourth Workshop on UnConventional High-Performance Computing
PACUE: Processor Allocator Considering User Experience / Anders Hast ; Josef Weidendorfer ; Jan-Philipp Weiss ; Tetsuro Horikawa ; Michio Honda ; Jin Nakazawa ; Kazunori Takashio ; Hideyuki Tokuda
Workload Balancing on Heterogeneous Systems: A Case Study of Sparse Grid Interpolation / Alin Murarasu ; Arndt Bode
Performance Evaluation of a Multi-GPU Enabled Finite Element Method for Computational Electromagnetics / Tristan Cabel ; Joseph Charles ; Stéphane Lanteri
Study of Hierarchical N-Body Methods for Network-on-Chip Architectures / Thomas Canhao Xu ; Pasi Liljeberg ; Hannu Tenhunen
Extending a Highly Parallel Data Mining Algorithm to the Intel® Many Integrated Core Architecture / Alexander Heinecke ; Michael Klemm ; Dirk Pflüger ; Hans-Joachim Bungartz
VHPC 2011: 6th Workshop on Virtualization in High-Performance Cloud Computing
Group-Based Memory Deduplication for Virtualized Clouds / Michael Alexander ; Gianluigi Zanetti ; Sangwook Kim ; Hwanju Kim ; Joonwon Lee
A Smart HPC Interconnect for Clusters of Virtual Machines / Anastassios Nanos ; Nikos Nikoleris ; Stratos Psomadakis ; Elisavet Kozyri ; Nectarios Koziris
PIGA-Virt: An Advanced Distributed MAC Protection of Virtual Systems / J. Briffaut ; E. Lefebvre ; J. Rouzaud-Cornabas ; C. Toinard
An Economic Approach for Application QoS Management in Clouds / Stefania Costache ; Nikos Parlavantzas ; Samuel Kortas
Evaluation of the HPC Challenge Benchmarks in Virtualized Environments / Piotr Luszczek ; Eric Meek ; Shirley Moore ; Dan Terpstra ; Vincent M. Weaver ; Jack Dongarra
DISCOVERY, Beyond the Clouds: Distributed and Cooperative Framework to Manage Virtual EnviRonments autonomicallY: A Prospective Study / Adrien Lèbre ; Paolo Anedda ; Massimo Gaggero ; Flavien Quesnel
Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
Large-Scale DNA Sequence Analysis in the Cloud: A Stream-Based Approach / Romeo Kienzler ; Rémy Bruggmann ; Anand Ranganathan ; Nesime Tatbul
Author Index
HiBB 2011: 2nd Workshop on High-Performance Bioinformatics and Biomedicine
Introduction / Mario Cannataro
On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci ; Mario Coppo ; Ferruccio Damiani ; Maurizio Drocco ; Eva Sciacca ; Salvatore Spinella ; Massimo Torquati ; Angelo Troina
Augmentation of Toothbrush by Modulating Sounds Resulting from Brushing / Taku Hachisu ; Hiroyuki Kajimoto
Bathcratch: Touch and Sound-Based DJ Controller Implemented on a Bathtub / Shigeyuki Hirai ; Yoshinobu Sakakibara ; Seiho Hayakawa
Airstic Drum: A Drumstick for Integration of Real and Virtual Drums / Hiroyuki Kanke ; Yoshinari Takegawa ; Tsutomu Terada ; Masahiko Tsukamoto
Enhancing Level Difficulty and Additional Content in Platform Videogames through Graph Analysis / Fausto Mourato ; Fernando Birra ; Manuel Próspero dos Santos
A System for Supporting Performers in Stuffed Suits / Tatsuhiko Okazaki
Socially Present Board Game Opponents / André Pereira ; Rui Prada ; Ana Paiva
Localizing Global Game Jam: Designing Game Development for Collaborative Learning in the Social Context / Kiyoshi Shin ; Kosuke Kaneko ; Yu Matsui ; Koji Mikami ; Masaru Nagaku ; Toshifumi Nakabayashi ; Kenji Ono ; Shinji R. Yamane
Producing while Consuming: Social Interaction around Photos Shared within Private Group / Dhaval Vyas ; Yanqing Cui ; Jarno Ojala ; Guido Grassel
Short Presentations
Extensible Sound Description in COLLADA: A Unique File for a Rich Sound Design / Shih-Han Chan ; Stéphane Natkin ; Guillaume Tiger ; Alexandre Topol
An Automatic Race Track Generating System / Tai-Yun Chen ; Hung-Wei Hsu ; Wen-Kai Tai ; Chin-Chen Chang
Light Perfume: Designing a Wearable Lighting and Olfactory Accessory for Empathic Interactions / Yongsoon Choi ; Rahul Parsani ; Xavier Roman ; Anshul Vikram Pandey ; Adrian David Cheok
A Survey of Players' Opinions on Interface Customization in World of Warcraft / Chris Deaker ; Masood Masoodian ; Bill Rogers
53.090 Virtual Rusks = 510 Real Smiles Using a Pun Exergame Installation for Advertising Traditional Food Products / Dimitris Grammenos ; George Margetis ; Panagiotis Koutlemanis ; Xenophon Zabulis
Designing Playful Interactive Installations for Urban Environments - The SwingScape Experience / Kaj Grønbæk ; Karen Johanne Kortbek ; Clous Møller ; Jesper Nielsen ; Liselott Stenfeldt
Flashback in Interactive Storytelling / Olivier Guy ; Ronan Champagnat
SanjigenJiten: Computer Assisted Language Learning System within a 3D Game Environment / Robert Howland ; Sachi Urano ; Junichi Hoshino
A Caption Presentation System for the Hearing Impaired People Attending Theatrical Performances / Yuko Konya ; Itiro Siio
Emergent Gait Evolution of Quadruped Artificial Life / Kinyo Kou ; Yoichiro Kawaguchi
Enjoying Text Input with Image-Enabled IME / Toshiyuki Masui
Train Window of Container: Visual and Auditory Representation of Train Movement / Kunihiro Nishimura ; Yasuhiro Suzuki ; Munehiko Sato ; Oribe Hayashi ; Yang LiWei ; Kentaro Kimura ; Shinya Nishizaka ; Yusuke Onojima ; Yuki Ban ; Yuma Muroya ; Shigeo Yoshida ; Michitaka Hirose
Pinch: An Interface That Relates Applications on Multiple Touch-Screen by 'Pinching' Gesture / Takashi Ohta ; Jun Tanaka
Exploring Playability of Social Network Games / Janne Paavilainen ; Kati Alha ; Hannu Korhonen
A Gesture Interface Game for Energy Consumption Awareness / Ricardo Salvador
UBI, The Guardian Dragon: Your Virtual Sidekick / Rossana Santos ; Nuno Correia
Construction of a Prototyping Support System for Painted Musical Instruments / Kenichiro Fukushi ; Tod Machover
Reflex-Based Navigation by Inducing Self-motion Perception with Head-Mounted Vection Display / Tomohiro Tanikawa ; Takuji Narumi
POPAPY: Instant Paper Craft Made Up in a Microwave Oven / Kentaro Yasu ; Masahiko Inami
Art and Culture Track
Games Bridging Cultural Communications / Narisa N. Y. Chu ; Jun Wei
Existential Waters: On Employing a Game Engine for Artistic Expression within a Theater Play, and on the Implications of This towards Existential Games / Ido Aharon Iurgel ; Mário Pinto
Refraining Haute Couture Handcraftship: How to Preserve Artisans' Abilities with Gesture Recognition / Gustavo Marfia ; Marco Roccetti ; Andrea Marcomini ; Cristian Bertuccioli ; Giovanni Matteucci
Pure Flow: Gallery Installation / Mobile Application / Duncan Rowland ; Katy Connor
Juke Cylinder: Sound Image Augmentation to Metamorphose Hands into a Musical Instrument / Masamichi Ueta ; Osamu Hoshuyama ; Sho Sakurai
Extended Abstracts
Puppet Theater System for Normal-Hearing and Hearing-Impaired People / Takayuki Adachi ; Masafumi Goseki ; Hiroshi Mizoguchi ; Miki Namatame ; Fusako Kusunoki ; Ryohei Egusa ; Shigenori Inagaki
Creative Design: Exploring Value Propositions with Urban Nepalese Children / Alissa N. Antle ; Allen Bevans
DriveRS: An In-Car Persuasive System for Making Driving Safe and Fun / Anne Bergmans ; Suleman Shahid
When Away Applaud Anyway / Teresa Romao
Making a Toy Educative Using Electronics / Edwin Dertien ; Jelle Dijkstra ; Angelika Mader ; Dennis Reidsma
Enhancing Tactile Imagination through Sound and Light / Hideyuki Endo ; Hideki Yoshioka
Streaming DirectX-Based Games on Windows / Alexander Franiak ; Yohann Pitrey ; Christoph Czepa ; Helmut Hlavacs
Autonomously Acquiring a Video Game Agent's Behavior: Letting Players Feel Like Playing with a Human Player / Nobuto Fujii ; Yuichi Sato ; Hironori Wakama ; Haruhiro Katayose
Chop Chop: A Sound Augmented Kitchen Prototype / Veronica Halupka ; Ali Almahr ; Yupeng Pan
Time Telescopic Replay of Tactile Sensations / Yuki Hashimoto
Compact Ultrasound Device for Noncontact Interaction / Takayuki Hoshi
Pillow Fight 2.0: A Creative Use of Technology for Physical Interaction / Anne Sofie Juul Sørensen
Immobile Haptic Interface Using Tendon Electrical Stimulation
Stravigation: A Vibrotactile Mobile Navigation for Exploration-Like Sightseeing / Hiroki Kawaguchi ; Takuya Nojima
Earth Girl: A Multi-cultural Game about Natural Disaster Prevention and Resilience / Isaac Kerlow ; Muhammad Khadafi ; Harry Zhuang ; Henry Zhuang ; Aida Azlin ; Aisyah Suhaimi
PowerFood: Turns Fruit Eating into Fun and Makes Snacks Not Done / Lies Kroes
City Pulse: Supporting Going-Out Activities with a Context-Aware Urban Display / Mohammad Obaid ; Ekaterina Kurdyukova ; Elisabeth Andre
Physiological Signals Based Fatigue Prediction Model for Motion Sensing Games / Ziyu Lu ; Ling Chen ; Changjun Fan ; Gencai Chen
JECCO: A Creature-Like Tentacle Robot / Haipeng Mi
Yusabutter: A Messaging Tool That Generates Animated Texts / Mitsuru Minakuchi ; Shougo Kinoshita ; Yu Suzuki
HomeTree - An Art Inspired Mobile Eco-feedback Visualization / Filipe Quintal ; Valentina Nisi ; Nuno Nunes ; Mary Barreto ; Lucas Pereira
Augmenting Trading Card Game: Playing against Virtual Characters Used in Fictional Stories / Mizuki Sakamoto ; Tatsuo Nakajima ; Todorka Alexandrova
Changing Environmental Behaviors through Smartphone-Based Augmented Experiences / Bruno Santos ; Bárbara Teixeira
flona: Development of an Interface That Implements Lifelike Behaviors to a Plant / Furi Sawaki
HOJI*HOJI: The Hole-Type Interactive Device for Entertainment / Yuta Suzuki ; Yusaku Okada ; Takashi Kimura ; Yoichi Takahashi ; Kodai Horita ; Hideki Koike
t-words: Playing with Sounds and Creating Narratives / Cristina Sylla ; Sérgio Gonçalves ; Pedro Branco ; Clara Coutinho
Awareness Support for Remote Music Performance / Hiroyuki Tarumi ; Keiichi Akazawa ; Masaki Ono ; Erina Kagawa ; Toshihiro Hayashi ; Rihito Yaegashi
GENIE: Photo-Based Interface for Many Heterogeneous LED Lamps / Jordan Tewell ; Sunao Hashimoto ; Takeo Igarashi
Disaster Experience Game in a Real World / Peichao Yu
Entertainment Displays Which Restore Negative Images of Shopping Center / Tetsuya Saito
Where Buddhism Encounters Entertainment Computing / Daisuke Uriu ; Naohito Okude ; Takafumi Taketomi ; Chihiro Sato
IUstream: Personal Live Streaming Support System with Automatic Collection and Real-Time Recommendation of Topics / Keiko Yamamoto ; Soya Kirito ; Itaru Kuramoto ; Yoshihiro Tsujino
Author Index
Long Presentations
Applaud Having Fun: A Mobile Game to Cheer Your Favourite Sports Team / Pedro Centieiro ; Teresa Romão ; A. Eduardo Dias
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
HiBB 2011: 2nd Workshop on High-Performance Bioinformatics and Biomedicine
Introduction / Mario Cannataro
On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci ; Mario Coppo ; Ferruccio Damiani ; Maurizio Drocco ; Eva Sciacca ; Salvatore Spinella ; Massimo Torquati ; Angelo Troina
Scalable Sequence Similarity Search and Join in Main Memory on Multi-cores / Astrid Rheinländer ; Ulf Leser
Enabling Data and Compute Intensive Workflows in Bioinformatics / Gaurang Mehta ; Ewa Deelman ; James A. Knowles ; Ting Chen ; Ying Wang ; Jens Vöckler ; Steven Buyske ; Tara Matise
Homogenizing Access to Highly Time-Consuming Biomedical Applications through a Web-Based Interface / Luigi Grasso ; Nuria Medina-Medina ; Rosana Montes-Soldado ; María M. Abad-Grau
Distributed Management and Analysis of Omics Data / Pietro Hiram Guzzi
Managing and Delivering Grid Services (MDGS)
Resource Allocation for the French National Grid Initiative / Thomas Schaaf ; Adam S.Z. Belloum ; Owen Appleton ; Joan Serrat-Fernández ; Tomasz Szepieniec ; Gilles Mathieu ; Hélène Cordier
On Importance of Service Level Management in Grids / Joanna Kocot ; Matti Heikkurinen ; Martin Metzker
On-Line Monitoring of Service-Level Agreements in the Grid / Bartosz Balis ; Renata Slota ; Jacek Kitowski ; Marian Bubak
Challenges of Future e-Infrastructure Governance / Dana Petcu
Influences between Performance Based Scheduling and Service Level Agreements / Antonella Galizia ; Alfonso Quarati ; Michael Schiffers ; Mark Yampolskiy
User Centric Service Level Management in mOSAIC Applications / Massimiliano Rak ; Rocco Aversa ; Salvatore Venticinque ; Beniamino Di Martino
Service Level Management for Executable Papers / Reginald Cushing ; Spiros Koulouzis ; Rudolf Strijkers
Change Management in e-Infrastructures to Support Service Level Agreements / Silvia Knittl ; Ilya Saverchenko
PROPER 2011: Fourth Workshop on Productivity and Performance: Tools for HPC Application Development
Scout: A Source-to-Source Transformator for SIMD-Optimizations / Michael Gerndt ; Olaf Krzikalla ; Kim Feldhoff ; Ralph Müller-Pfefferkorn ; Wolfgang E. Nagel
Scalable Automatic Performance Analysis on IBM BlueGene/P Systems / Yury Oleynik
An Approach to Creating Performance Visualizations in a Parallel Profile Analysis Tool / Wyatt Spear ; Allen D. Malony ; Chee Wai Lee ; Scott Biersdorff ; Sameer Shende
INAM - A Scalable InfiniBand Network Analysis and Monitoring Tool / N. Dandapanthula ; H. Subramoni ; J. Vienne ; K. Kandalla ; S. Sur ; Dhabaleswar K. Panda ; Ron Brightwell
Auto-tuning for Energy Usage in Scientific Applications / Ananta Tiwari ; Michael A. Laurenzano ; Laura Carrington ; Allan Snavely
Automatic Source Code Transformation for GPUs Based on Program Comprehension / Pasquale Cantiello
Enhancing Brainware Productivity through a Performance Tuning Workflow / Christian Iwainsky ; Ralph Altenfeld ; Dieter an Mey ; Christian Bischof
Workshop on Resiliency in High-Performance Computing (Resilience) in Clusters, Clouds, and Grids
The Malthusian Catastrophe Is Upon Us! Are the Largest HPC Machines Ever Up? / Stephen L. Scott ; Chokchai (Box) Leangsuksun ; Patricia Kovatch ; Matthew Ezell ; Ryan Braby
Simulating Application Resilience at Exascale / Rolf Riesen ; Kurt B. Ferreira ; Maria Ruiz Varela ; Michela Taufer ; Aran Rodrigues
Framework for Enabling System Understanding / J. Brandt ; F. Chen ; A. Gentile ; J. Mayo ; P. Pebay ; D. Roe ; N. Taerat ; D. Thompson ; M. Wong
Cooperative Application/OS DRAM Fault Recovery / Patrick G. Bridges ; Mark Hoemmen ; Michael A. Heroux ; Philip Soltero
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC / David Fiala ; Frank Mueller ; Christian Engelmann
Reducing the Impact of Soft Errors on Fabric-Based Collective Communications / José Carlos Sancho ; Ana Jokanovic ; Jesus Labarta
Evaluating Application Vulnerability to Soft Errors in Multi-level Cache Hierarchy / Zhe Ma ; Trevor Carlson ; Wim Heirman ; Lieven Eeckhout
Experimental Framework for Injecting Logic Errors in a Virtual Machine to Profile Applications for Soft Error Resilience / Nathan DeBardeleben ; Sean Blanchard ; Qiang Guan ; Ziming Zhang ; Song Fu
High Availability on Cloud with HA-OSCAR / Thanadech Thanakornworakij ; Rajan Sharma ; Blaine Scroggs ; Zeno Dixon Greenwood ; Pierre Riteau ; Christine Morin
On the Viability of Checkpoint Compression for Extreme Scale Fault Tolerance / Dewan Ibtesham ; Dorian Arnold
Can Checkpoint/Restart Mechanisms Benefit from Hierarchical Data Staging? / Raghunath Rajachandrasekar ; Xiangyong Ouyang ; Xavier Besseron ; Vilobh Meshram
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol / Thierry Gautier
UCHPC 2011: Fourth Workshop on UnConventional High-Performance Computing
PACUE: Processor Allocator Considering User Experience / Anders Hast ; Josef Weidendorfer ; Jan-Philipp Weiss ; Tetsuro Horikawa ; Michio Honda ; Jin Nakazawa ; Kazunori Takashio ; Hideyuki Tokuda
Workload Balancing on Heterogeneous Systems: A Case Study of Sparse Grid Interpolation / Alin Murarasu ; Arndt Bode
Performance Evaluation of a Multi-GPU Enabled Finite Element Method for Computational Electromagnetics / Tristan Cabel ; Joseph Charles ; Stéphane Lanteri
Study of Hierarchical N-Body Methods for Network-on-Chip Architectures / Thomas Canhao Xu ; Pasi Liljeberg ; Hannu Tenhunen
Extending a Highly Parallel Data Mining Algorithm to the Intel® Many Integrated Core Architecture / Alexander Heinecke ; Michael Klemm ; Dirk Pflüger ; Hans-Joachim Bungartz
VHPC 2011: 6th Workshop on Virtualization in High-Performance Cloud Computing
Group-Based Memory Deduplication for Virtualized Clouds / Michael Alexander ; Gianluigi Zanetti ; Sangwook Kim ; Hwanju Kim ; Joonwon Lee
A Smart HPC Interconnect for Clusters of Virtual Machines / Anastassios Nanos ; Nikos Nikoleris ; Stratos Psomadakis ; Elisavet Kozyri ; Nectarios Koziris
PIGA-Virt: An Advanced Distributed MAC Protection of Virtual Systems / J. Briffaut ; E. Lefebvre ; J. Rouzaud-Cornabas ; C. Toinard
An Economic Approach for Application QoS Management in Clouds / Stefania Costache ; Nikos Parlavantzas ; Samuel Kortas
Evaluation of the HPC Challenge Benchmarks in Virtualized Environments / Piotr Luszczek ; Eric Meek ; Shirley Moore ; Dan Terpstra ; Vincent M. Weaver ; Jack Dongarra
DISCOVERY, Beyond the Clouds: Distributed and Cooperative Framework to Manage Virtual EnviRonments autonomicallY: A Prospective Study / Adrien Lèbre ; Paolo Anedda ; Massimo Gaggero ; Flavien Quesnel
Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
Large-Scale DNA Sequence Analysis in the Cloud: A Stream-Based Approach / Romeo Kienzler ; Rémy Bruggmann ; Anand Ranganathan ; Nesime Tatbul
Author Index
HiBB 2011: 2nd Workshop on High-Performance Bioinformatics and Biomedicine
Introduction / Mario Cannataro
On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci ; Mario Coppo ; Ferruccio Damiani ; Maurizio Drocco ; Eva Sciacca ; Salvatore Spinella ; Massimo Torquati ; Angelo Troina
Augmentation of Toothbrush by Modulating Sounds Resulting from Brushing / Taku Hachisu ; Hiroyuki Kajimoto
Bathcratch: Touch and Sound-Based DJ Controller Implemented on a Bathtub / Shigeyuki Hirai ; Yoshinobu Sakakibara ; Seiho Hayakawa
Airstic Drum: A Drumstick for Integration of Real and Virtual Drums / Hiroyuki Kanke ; Yoshinari Takegawa ; Tsutomu Terada ; Masahiko Tsukamoto
Enhancing Level Difficulty and Additional Content in Platform Videogames through Graph Analysis / Fausto Mourato ; Fernando Birra ; Manuel Próspero dos Santos
A System for Supporting Performers in Stuffed Suits / Tatsuhiko Okazaki
Socially Present Board Game Opponents / André Pereira ; Rui Prada ; Ana Paiva
Localizing Global Game Jam: Designing Game Development for Collaborative Learning in the Social Context / Kiyoshi Shin ; Kosuke Kaneko ; Yu Matsui ; Koji Mikami ; Masaru Nagaku ; Toshifumi Nakabayashi ; Kenji Ono ; Shinji R. Yamane
Producing while Consuming: Social Interaction around Photos Shared within Private Group / Dhaval Vyas ; Yanqing Cui ; Jarno Ojala ; Guido Grassel
Short Presentations
Extensible Sound Description in COLLADA: A Unique File for a Rich Sound Design / Shih-Han Chan ; Stéphane Natkin ; Guillaume Tiger ; Alexandre Topol
An Automatic Race Track Generating System / Tai-Yun Chen ; Hung-Wei Hsu ; Wen-Kai Tai ; Chin-Chen Chang
Light Perfume: Designing a Wearable Lighting and Olfactory Accessory for Empathic Interactions / Yongsoon Choi ; Rahul Parsani ; Xavier Roman ; Anshul Vikram Pandey ; Adrian David Cheok
A Survey of Players' Opinions on Interface Customization in World of Warcraft / Chris Deaker ; Masood Masoodian ; Bill Rogers
53.090 Virtual Rusks = 510 Real Smiles Using a Pun Exergame Installation for Advertising Traditional Food Products / Dimitris Grammenos ; George Margetis ; Panagiotis Koutlemanis ; Xenophon Zabulis
Designing Playful Interactive Installations for Urban Environments - The SwingScape Experience / Kaj Grønbæk ; Karen Johanne Kortbek ; Clous Møller ; Jesper Nielsen ; Liselott Stenfeldt
Flashback in Interactive Storytelling / Olivier Guy ; Ronan Champagnat
SanjigenJiten: Computer Assisted Language Learning System within a 3D Game Environment / Robert Howland ; Sachi Urano ; Junichi Hoshino
A Caption Presentation System for the Hearing Impaired People Attending Theatrical Performances / Yuko Konya ; Itiro Siio
Emergent Gait Evolution of Quadruped Artificial Life / Kinyo Kou ; Yoichiro Kawaguchi
Enjoying Text Input with Image-Enabled IME / Toshiyuki Masui
Train Window of Container: Visual and Auditory Representation of Train Movement / Kunihiro Nishimura ; Yasuhiro Suzuki ; Munehiko Sato ; Oribe Hayashi ; Yang LiWei ; Kentaro Kimura ; Shinya Nishizaka ; Yusuke Onojima ; Yuki Ban ; Yuma Muroya ; Shigeo Yoshida ; Michitaka Hirose
Pinch: An Interface That Relates Applications on Multiple Touch-Screen by 'Pinching' Gesture / Takashi Ohta ; Jun Tanaka
Exploring Playability of Social Network Games / Janne Paavilainen ; Kati Alha ; Hannu Korhonen
A Gesture Interface Game for Energy Consumption Awareness / Ricardo Salvador
UBI, The Guardian Dragon: Your Virtual Sidekick / Rossana Santos ; Nuno Correia
Construction of a Prototyping Support System for Painted Musical Instruments / Kenichiro Fukushi ; Tod Machover
Reflex-Based Navigation by Inducing Self-motion Perception with Head-Mounted Vection Display / Tomohiro Tanikawa ; Takuji Narumi
POPAPY: Instant Paper Craft Made Up in a Microwave Oven / Kentaro Yasu ; Masahiko Inami
Art and Culture Track
Games Bridging Cultural Communications / Narisa N. Y. Chu ; Jun Wei
Existential Waters: On Employing a Game Engine for Artistic Expression within a Theater Play, and on the Implications of This towards Existential Games / Ido Aharon Iurgel ; Mário Pinto
Refraining Haute Couture Handcraftship: How to Preserve Artisans' Abilities with Gesture Recognition / Gustavo Marfia ; Marco Roccetti ; Andrea Marcomini ; Cristian Bertuccioli ; Giovanni Matteucci
Pure Flow: Gallery Installation / Mobile Application / Duncan Rowland ; Katy Connor
Juke Cylinder: Sound Image Augmentation to Metamorphose Hands into a Musical Instrument / Masamichi Ueta ; Osamu Hoshuyama ; Sho Sakurai
Extended Abstracts
Puppet Theater System for Normal-Hearing and Hearing-Impaired People / Takayuki Adachi ; Masafumi Goseki ; Hiroshi Mizoguchi ; Miki Namatame ; Fusako Kusunoki ; Ryohei Egusa ; Shigenori Inagaki
Creative Design: Exploring Value Propositions with Urban Nepalese Children / Alissa N. Antle ; Allen Bevans
DriveRS: An In-Car Persuasive System for Making Driving Safe and Fun / Anne Bergmans ; Suleman Shahid
When Away Applaud Anyway / Teresa Romao
Making a Toy Educative Using Electronics / Edwin Dertien ; Jelle Dijkstra ; Angelika Mader ; Dennis Reidsma
Enhancing Tactile Imagination through Sound and Light / Hideyuki Endo ; Hideki Yoshioka
Streaming DirectX-Based Games on Windows / Alexander Franiak ; Yohann Pitrey ; Christoph Czepa ; Helmut Hlavacs
Autonomously Acquiring a Video Game Agent's Behavior: Letting Players Feel Like Playing with a Human Player / Nobuto Fujii ; Yuichi Sato ; Hironori Wakama ; Haruhiro Katayose
Chop Chop: A Sound Augmented Kitchen Prototype / Veronica Halupka ; Ali Almahr ; Yupeng Pan
Time Telescopic Replay of Tactile Sensations / Yuki Hashimoto
Compact Ultrasound Device for Noncontact Interaction / Takayuki Hoshi
Pillow Fight 2.0: A Creative Use of Technology for Physical Interaction / Anne Sofie Juul Sørensen
Immobile Haptic Interface Using Tendon Electrical Stimulation
Stravigation: A Vibrotactile Mobile Navigation for Exploration-Like Sightseeing / Hiroki Kawaguchi ; Takuya Nojima
Earth Girl: A Multi-cultural Game about Natural Disaster Prevention and Resilience / Isaac Kerlow ; Muhammad Khadafi ; Harry Zhuang ; Henry Zhuang ; Aida Azlin ; Aisyah Suhaimi
PowerFood: Turns Fruit Eating into Fun and Makes Snacks Not Done / Lies Kroes
City Pulse: Supporting Going-Out Activities with a Context-Aware Urban Display / Mohammad Obaid ; Ekaterina Kurdyukova ; Elisabeth Andre
Physiological Signals Based Fatigue Prediction Model for Motion Sensing Games / Ziyu Lu ; Ling Chen ; Changjun Fan ; Gencai Chen
JECCO: A Creature-Like Tentacle Robot / Haipeng Mi
Yusabutter: A Messaging Tool That Generates Animated Texts / Mitsuru Minakuchi ; Shougo Kinoshita ; Yu Suzuki
HomeTree - An Art Inspired Mobile Eco-feedback Visualization / Filipe Quintal ; Valentina Nisi ; Nuno Nunes ; Mary Barreto ; Lucas Pereira
Augmenting Trading Card Game: Playing against Virtual Characters Used in Fictional Stories / Mizuki Sakamoto ; Tatsuo Nakajima ; Todorka Alexandrova
Changing Environmental Behaviors through Smartphone-Based Augmented Experiences / Bruno Santos ; Bárbara Teixeira
flona: Development of an Interface That Implements Lifelike Behaviors to a Plant / Furi Sawaki
HOJI*HOJI: The Hole-Type Interactive Device for Entertainment / Yuta Suzuki ; Yusaku Okada ; Takashi Kimura ; Yoichi Takahashi ; Kodai Horita ; Hideki Koike
t-words: Playing with Sounds and Creating Narratives / Cristina Sylla ; Sérgio Gonçalves ; Pedro Branco ; Clara Coutinho
Awareness Support for Remote Music Performance / Hiroyuki Tarumi ; Keiichi Akazawa ; Masaki Ono ; Erina Kagawa ; Toshihiro Hayashi ; Rihito Yaegashi
GENIE: Photo-Based Interface for Many Heterogeneous LED Lamps / Jordan Tewell ; Sunao Hashimoto ; Takeo Igarashi
Disaster Experience Game in a Real World / Peichao Yu
Entertainment Displays Which Restore Negative Images of Shopping Center / Tetsuya Saito
Where Buddhism Encounters Entertainment Computing / Daisuke Uriu ; Naohito Okude ; Takafumi Taketomi ; Chihiro Sato
IUstream: Personal Live Streaming Support System with Automatic Collection and Real-Time Recommendation of Topics / Keiko Yamamoto ; Soya Kirito ; Itaru Kuramoto ; Yoshihiro Tsujino
Author Index
Long Presentations
Applaud Having Fun: A Mobile Game to Cheer Your Favourite Sports Team / Pedro Centieiro ; Teresa Romão ; A. Eduardo Dias
The Application of Multi-Agent System in Monitoring and Control of Nonlinear Bioprocesses / Piotr Skupin ; Mieczyslaw Metzger
Agent Capability Taxonomy for Dynamic Environments / Jorge Agüero ; Miguel Rebollo ; Carlos Carrascosa
Modeling Internet as a User-Adapted Speech Service / David Griol ; Javier Carbó ; José Manuel Molina
HAIS Applications
Unsupervised Classification of Audio Signals by Self-Organizing Maps and Bayesian Labeling / Ricardo Cruz ; Andrés Ortiz ; Ana M. Barbancho ; Isabel Barbancho
Robust Speaker Identification Using Ensembles of Kernel Principal Component Analysis / IL-Ho Yang ; Min-Seok Kim ; Byung-Min So ; Myung-Jae Kim ; Ha-Jin Yu
Application of Genetic Algorithms to Optimize a Truncated Mean k-Nearest Neighbours Regressor for Hotel Reservation Forecasting / Andrés Sanz-García ; Julio Fernández-Ceniceros ; Fernando Antoñanzas-Torres ; F. Javier Matínez-de-Pisón-Ascacibar
A Social Network-Based Approach to Expert Recommendation System / Elnaz Davoodi ; Mohsen Afsharchi ; Keivan Kianmehr
Decentralized Multi-tasks Distribution in Heterogeneous Robot Teams by Means of Ant Colony Optimization and Learning Automata / Javier de Lope ; Darío Maravall ; Yadira Quiñonez
Lipreading Procedure for Liveness Verification in Video Authentication Systems / Agnieszka Owczarek ; Krzysztof Slot
Fuzzy Sliding Mode Control with Chattering Elimination for a Quadrotor Helicopter in Vertical Flight / S. Zeghlache ; D. Saigaa ; K. Kara ; Abdelghani Harrag ; A. Bouguerra
Ensemble of Binary Learners for Reliable Text Categorization with a Reject Option / Giuliano Armano ; Camelia Chira ; Nima Hatami
A Memetic Approach to Project Scheduling That Maximizes the Effectiveness of the Human Resources Assigned to Project Activities / Virginia Yannibelli ; Analía Amandi
Hunting for Fraudsters in Random Forests / R.M. Konijn ; W. Kowalczyk
Neural Networks Ensembles Approach for Simulation of Solar Arrays Degradation Process / Vladimir Bukhtoyarov ; Eugene Semenkin ; Andrey Shabalov
Using Genetic Algorithms to Improve Prediction of Execution Times of ML Tasks / Rattan Priya ; Bruno Feres de Souza ; André L.D. Rossi ; André C.P.L.F. de Carvalho
Hybrid Artificial Intelligence Approaches on Vehicle Routing Problem in Logistics Distribution / Dragan Simic ; Svetlana Simic
Fuzzy C-Means Clustering with Bilateral Filtering for Medical Image Segmentation / Yuchen Liu ; Kai Xiao ; Alei Liang ; Haibing Guan
A Improved Clustering Analysis Method Based on Fuzzy C-Means Algorithm by Adding PSO Algorithm / Liang Pang
Cluster Analysis
k-Means Clustering of Asymmetric Data / Dominik Olszewski
A Max Metric to Evaluate a Cluster / Hosein Alizadeh ; Hamid Parvin ; Sajad Parvin ; Zahra Rezaei ; Moslem Mohamadi
Nearest Cluster Classifier / Behrouz Minaei
Diffusion Maps for the Description of Meteorological Data / Ángela Fernández ; Ana M. González ; Julia Díaz ; José R. Dorronsoro
Computational Complexity Reduction and Interpretability Improvement of Distance-Based Decision Trees / Marcin Blachnik ; Miroslaw Kordos
Data Mining and Knowledge Discovery
Improving the Generalization Capability of Hybrid Immune Detector Maturation Algorithm / Jungan Chen ; Feng Liang ; Zhaoxi Fang
White Box Classification of Dissimilarity Data / Barbara Hammer ; Bassam Mokbel ; Frank-Michael Schleif ; Xibin Zhu
On Ensemble Classifiers for Noninstrusive Appliance Load Monitoring / Oliver Kramer ; O. Wilken ; P. Beenken ; A. Hein ; A. Hüwel ; T. Klingenberg ; C. Meinecke ; T. Raabe ; M. Sonnenschein
Lee Path Replanner for Partially-Known Environments / Maciej Polanczyk ; Przemyslaw Baranski ; Michal Strzelecki
Stroke Based Handwritten Character Recognition / D. Álvarez ; R. Fernández ; L. Sánchez
KETO: A Knowledge Editing Tool for Encoding Condition - Action Guidelines into Clinical DSSs / Aniello Minutolo ; Massimo Esposito ; Giuseppe De Pietro
Integration of Intelligent Information Technologies Ensembles for Modeling and Classification / Pavel Galushin
Fusion of Modular Bayesian Networks for Context-Aware Decision Making / Seung-Hyun Lee ; Sung-Bae Cho
Evolutionary Computation
Real-World Problem for Checking the Sensitiveness of Evolutionary Algorithms to the Choice of the Random Number Generator / Miguel Cárdenas-Montes ; Miguel A. Vega-Rodríguez ; Antonio Gómez-Iglesias
Hybrid Multi-objective Machine Learning Classification in Liver Transplanation / M. Pérez-Ortiz ; M. Cruz-Ramírez ; J.C. Fernández-Caballero ; C. Hervás-Martínez
Evolutionary Optimized Forest of Regression Trees: Application in Metallurgy / Jerzy Piotrowski ; Szymon Bialka ; Slawomir Golak ; Tadeusz Wieczorek
Evolutionary Neural Networks for Product Design Tasks / Angela Bernardini ; Javier Asensio ; José Luis Olazagoitia ; Jorge Biera
An Incremental Hypersphere Learning Framework for Protein Membership Prediction / Noel Lopes ; Daniel Correia ; Carlos Pereira ; Bernardete Ribeiro ; António Dourado
An Evolutionary Approach to Generate Solutions for Conflict Scenarios / Davide Carneiro ; Cesar Analide ; Paulo Novais ; José Neves
Initialization Procedures for Multiobjective Evolutionary Approaches to the Segmentation Issue / José L. Guerrero ; Antonio Berlanga
Optimization of Neuro-coefficient Smooth Transition Autoregressive Models Using Differential Evolution / Christoph Bergmeir ; Isaac Triguero ; Francisco Velasco ; José Manuel Benítez
ReactGA - The Search Space Transformation for the Local Optimum Escaping / Radoslaw Ziembinski
Learning Algorithms
PATMAP: Polyadenylation Site Identification from Next-Generation Sequencing Data / Xiaohui Wu ; Meishuang Tang ; Junfeng Yao ; Shuiyuan Lin ; Zhe Xiang ; Guoli Ji
How to Reduce Dimension while Improving Performance / A. Bouchelaghem ; M. Drif ; N. Harrag
On How Percolation Threshold Affects PSO Performance / Blanca Cases ; Alicia D'Anjou ; Abdelmalik Moujahid
Pollen Grains Contour Analysis on Verification Approach / Norma Monzón García ; Víctor Alfonso Elizondo Chaves ; Juan Carlos Briceño ; Carlos M. Travieso
Modelling Stress Recognition in Conflict Resolution Scenarios / Marco Gomes
Multilayer-Perceptron Network Ensemble Modeling with Genetic Algorithms for the Capacity of Bolted Lap Joint / F. Javier Martínez-de-Pisón-Ascacibar
A Hybrid Classical Approach to a Fixed-Charged Transportation Problem / Camelia-M. Pintea ; Corina Pop Sitar ; Mara Hajdu-Macelaru ; Pop Petrica
Computing Optimal Solutions of a Linear Programming Problem with Interval Type-2 Fuzzy Constraints / Juan Carlos Figueroa-García ; Germán Hernandez
Systems, Man, and Cybernetics by HAIS
Supervision Strategy of a Solar Volumetric Receiver Using NN and Rule Based Techniques / Ramón Ferreiro García ; José Luis Calvo Rolle ; Francisco Javier Pérez Castelo
Modeling an Operating System Based on Agents / Javier Palanca Cámara ; Marti Navarro ; Estefania Argente ; Ana Garcia-Fornes
An Empirical Comparison of Some Approximate Methods for Graph Coloring / Israel Rebollo-Ruiz ; Manuel Graña
A Predictive Evolutionary Algorithm for Dynamic Constrained Inverse Kimematics Problems / Patryk Filipiak ; Krzysztof Michalak ; Piotr Lipinski
Non-linear Data Stream Compression: Foundations and Theoretical Results / Alfredo Cuzzocrea ; Hendrik Decker
Reasoning with Qualitative Velocity: Towards a Hybrid Approach / J. Golinska-Pilarek ; E. Muñoz-Velasco
Research of Neural Network Classifier Based on FCM and PSO for Breast Cancer Classification / Lei Zhang ; Lin Wang ; Xujiewen Wang ; Keke Liu ; Ajith Abraham
Improving Evolved Alphabet Using Tabu Set / Jan Platos ; Pavel Kromer
Rough Sets-Based Identification of Heart Valve Diseases Using Heart Sounds / Mostafa A. Salama ; Aboul Ella Hassanien ; Aly A. Fahmy ; Vaclav Snasel
A Novel Hybrid Intelligent Classifier to Obtain the Controller Tuning Parameters for Temperature Control / José Luis Calvo-Rolle ; Emilio Corchado ; Héctor Quintian-Pardo ; Jesús Ángel Román ; Pedro Antonio Hernández
SpaGRID: A Spatial Grid Framework for High Dimensional Medical Databases / Harleen Kaur ; Ritu Chauhan ; Mohd. Afshar Alam ; Syed Aljunid ; Mohd. Salleh
Author Index
Special Sessions
Agents and Multi Agents Systems
An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan ; Ching-Chin Chern