Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1:
Introduction / 1.1:
Overview of Approaches / 1.2:
RDF and RDF Schema / 1.2.1:
The Web Ontology Language OWL / 1.2.2:
Rule Languages for Integration / 1.2.3:
Rule Interchange Format RIF / 1.2.4:
Approaches to Integration / 1.2.5:
Hybrid Rules and Ontologies in REWERSE / 1.3:
Extensions of Expressive Non-monotonic Logic Programs by DL-Programs and HEX-Programs / 1.3.1:
DL-Programs / 1.3.2:
HEX-Programs / 1.3.3:
Extensions of Well-Founded Semantics by Hybrid Well-Founded Semantics / 1.3.4:
Variants and Extensions of the Basic Formalisms / 1.4:
Probabilistic DL-Programs / 1.4.1:
Fuzzy DL-Programs / 1.4.2:
CQ-Programs / 1.4.3:
Conclusion / 1.5:
Four Lessons in Versatility or How Query Languages Adapt to the Web / François Bry ; Tim Furche ; Benedikt Linse ; Alexander Pohl ; Antonius Weinzierl ; Olga Yestekhina2:
Versatile Data / 2.1:
Extensible Markup Language (XML) / 2.2.1:
Resource Description Framework (RDF) / 2.2.2:
Versatile Queries / 2.3:
XML Queries-Examples and Patterns / 2.3.1:
RDF Queries-Examples and Patterns / 2.3.2:
Rules-Separation of Concern and Reasoning / 2.3.3:
State of the Art: The SPARQL Query Language and Its Extensions / 2.3.4:
Versatile Semantics / 2.4:
Simulation as Foundation for a Semantics of Versatile Queries / 2.4.1:
Rules with Negation and Versatile Queries: Local Stratification / 2.4.2:
Rules with Negation and Versatile Queries: Well-Founded Semantics / 2.4.3:
A Relational Semantics for Versatile Queries / 2.4.4:
Versatile Evaluation / 2.5:
Evaluating Queries: Structure Scaling with CIQCAG / 2.5.1:
Evaluating Rules: Subsumption under Rich Unification / 2.5.2:
Evolution and Reactivity in the Semantic Web / José Júlio Alferes ; Michael Eckert ; Wolfgang May2.6:
Starting Point and Related Work / 3.1:
Conceptualization of ECA Rules and Their Components: A General Framework for ECA Rules / 3.3:
The Rule Level / 3.3.1:
The Event Component / 3.3.2:
The Condition Component / 3.3.3:
The Action Component / 3.3.4:
Languages and Language Borders / 3.3.5:
Languages Types, Service Types, and Tasks / 3.3.6:
Architecture and Processing: Cooperation between Resources / 3.3.7:
The RDF Level: Language Elements and Their Instances as Resources / 3.3.8:
MARS Implementation / 3.3.9:
r3 Implementation / 3.3.10:
X Change-A Concrete Web-Based ECA Rule Language / 3.4:
Representing, Querying, and Constructing Web Data / 3.4.1:
Event-Condition-Action (ECA) Rules / 3.4.2:
Events / 3.4.3:
Conditions / 3.4.4:
Actions / 3.4.5:
Applications / 3.4.6:
Conclusions and Outlook / 3.5:
Rule-Based Policy Representations and Reasoning / Piero Andrea Bonatti ; Juri Luca De Coi ; Daniel Olmedilla ; Luigi Sauro4:
A Review of the State-of-the-Art in Policy Languages / 4.1:
Related Work / 4.2.1:
Background / 4.2.2:
Presentation of the Considered Policy Languages / 4.2.3:
Presentation of the Considered Criteria / 4.2.4:
Comparison / 4.2.5:
Discussion / 4.2.6:
A Framework for Semantic Web Policies / 4.3:
Policies as Semantic Markup in Protune / 4.3.1:
Negotiations / 4.3.2:
Protune's Policy Language and Framework / 4.3.3:
Explanations: Protune-X / 4.3.4:
The Engine / 4.3.5:
Demo: Policy-Driven Protection and Personalization of Web Content / 4.3.6:
Experimental Evaluation / 4.3.7:
Discussion and Conclusions / 4.3.8:
Component Models for Semantic Web Languages / Jakob Henriksson ; Uwe Aßmann5:
Composition Systems and Component Models / 5.1:
Web Query Language Xcerpt / 5.2.2:
Description Logics and OWL / 5.2.3:
State of the Art: Semantic Web Components and Invasive Software Component Models / 5.3:
Query Modularization / 5.3.1:
Ontology Modularization / 5.3.2:
Invasive Component Models in Software Engineering / 5.3.3:
Universal Syntactic Abstractions with Embedded ISC / 5.5.3:
Example Application: Modular Xcerpt / 5.6:
Conclusions / 5.7:
Controlled English for Reasoning on the Semantic Web / Norbert E. Fucks ; Kaarel Kaljurand ; Tobias Kuhn6:
Why Use Controlled Natural Languages for the Semantic Web? / 6.1:
Controlled Natural Languages: State of the Art / 6.2:
Attempto Controlled English (ACE) / 6.3:
Overview of Attempto Controlled English / 6.3.1:
From Attempto Controlled English to First-Order Logic / 6.3.2:
Attempto Parsing Engine (APE) / 6.3.3:
Fitting ACE into the Semantic Web / 6.4:
OWL and SWRL / 6.4.1:
AceRules: Rules in ACE / 6.4.2:
The Protune Policy Language / 6.4.3:
Other Web Languages / 6.4.4:
ACE Tools for the Semantic Web / 6.5:
Attempto Reasoner RACE / 6.5.1:
ACE View Ontology and Rule Editor / 6.5.2:
AceWiki: ACE in a Semantic Wiki / 6.5.3:
Protune / 6.5.4:
Semantic Search with GoPubMed / Andreas Doms ; Michael Schroeder6.6:
Biomedical Literature Search / 7.1:
Limits of Classical Search / 7.1.1:
Biomedical Search Engines / 7.1.2:
The Ontology-Based Search Paradigm / 7.1.3:
Answering Biomedical Questions / 7.2:
Characterization of Question Types / 7.2.1:
Using Background Knowledge to Answer Questions / 7.2.2:
Revealing Trends in the Literature / 7.3:
Important Topic: Apotosis / 7.3.1:
Important Topic: Endosome / 7.3.2:
Important Place: Dresden / 7.3.3:
Important Journal: Which Are the 10 Most Frequently Used GO Terms in Nature, Cell and Science? / 7.3.4:
20 Journals for the Molecular Biologist / 7.3.5:
Information Integration in Bioinformatics with Ontologies and Standards / Patrick Lambrix ; Lena Strömbäck ; He Tan7.4:
Resources / 8.1:
Data Sources / 8.2.1:
Ontologies / 8.2.2:
Standards / 8.2.3:
Integrating the Resources / 8.3:
Integration Model / 8.3.1:
Integration of Data Sources / 8.3.2:
Data Sources and Ontologies / 8.3.3:
Ontology Alignment / 8.3.4:
Integrating Standards / 8.3.5:
Connection between Standards and Other Resources / 8.3.6:
Author Index / 8.4:
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1:
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1:
Introduction / 1.1:
Overview of Approaches / 1.2:
RDF and RDF Schema / 1.2.1:
The Web Ontology Language OWL / 1.2.2:
Rule Languages for Integration / 1.2.3:
Rule Interchange Format RIF / 1.2.4:
Approaches to Integration / 1.2.5:
Hybrid Rules and Ontologies in REWERSE / 1.3:
Extensions of Expressive Non-monotonic Logic Programs by DL-Programs and HEX-Programs / 1.3.1:
DL-Programs / 1.3.2:
HEX-Programs / 1.3.3:
Extensions of Well-Founded Semantics by Hybrid Well-Founded Semantics / 1.3.4:
Variants and Extensions of the Basic Formalisms / 1.4:
Probabilistic DL-Programs / 1.4.1:
Fuzzy DL-Programs / 1.4.2:
CQ-Programs / 1.4.3:
Conclusion / 1.5:
Four Lessons in Versatility or How Query Languages Adapt to the Web / François Bry ; Tim Furche ; Benedikt Linse ; Alexander Pohl ; Antonius Weinzierl ; Olga Yestekhina2:
Versatile Data / 2.1:
Extensible Markup Language (XML) / 2.2.1:
Resource Description Framework (RDF) / 2.2.2:
Versatile Queries / 2.3:
XML Queries-Examples and Patterns / 2.3.1:
RDF Queries-Examples and Patterns / 2.3.2:
Rules-Separation of Concern and Reasoning / 2.3.3:
State of the Art: The SPARQL Query Language and Its Extensions / 2.3.4:
Versatile Semantics / 2.4:
Simulation as Foundation for a Semantics of Versatile Queries / 2.4.1:
Rules with Negation and Versatile Queries: Local Stratification / 2.4.2:
Rules with Negation and Versatile Queries: Well-Founded Semantics / 2.4.3:
A Relational Semantics for Versatile Queries / 2.4.4:
Versatile Evaluation / 2.5:
Evaluating Queries: Structure Scaling with CIQCAG / 2.5.1:
Evaluating Rules: Subsumption under Rich Unification / 2.5.2:
Evolution and Reactivity in the Semantic Web / José Júlio Alferes ; Michael Eckert ; Wolfgang May2.6:
Starting Point and Related Work / 3.1:
Conceptualization of ECA Rules and Their Components: A General Framework for ECA Rules / 3.3:
The Rule Level / 3.3.1:
The Event Component / 3.3.2:
The Condition Component / 3.3.3:
The Action Component / 3.3.4:
Languages and Language Borders / 3.3.5:
Languages Types, Service Types, and Tasks / 3.3.6:
Architecture and Processing: Cooperation between Resources / 3.3.7:
The RDF Level: Language Elements and Their Instances as Resources / 3.3.8:
MARS Implementation / 3.3.9:
r3 Implementation / 3.3.10:
X Change-A Concrete Web-Based ECA Rule Language / 3.4:
Representing, Querying, and Constructing Web Data / 3.4.1:
Event-Condition-Action (ECA) Rules / 3.4.2:
Events / 3.4.3:
Conditions / 3.4.4:
Actions / 3.4.5:
Applications / 3.4.6:
Conclusions and Outlook / 3.5:
Rule-Based Policy Representations and Reasoning / Piero Andrea Bonatti ; Juri Luca De Coi ; Daniel Olmedilla ; Luigi Sauro4:
A Review of the State-of-the-Art in Policy Languages / 4.1:
Related Work / 4.2.1:
Background / 4.2.2:
Presentation of the Considered Policy Languages / 4.2.3:
Presentation of the Considered Criteria / 4.2.4:
Comparison / 4.2.5:
Discussion / 4.2.6:
A Framework for Semantic Web Policies / 4.3:
Policies as Semantic Markup in Protune / 4.3.1:
Negotiations / 4.3.2:
Protune's Policy Language and Framework / 4.3.3:
Explanations: Protune-X / 4.3.4:
The Engine / 4.3.5:
Demo: Policy-Driven Protection and Personalization of Web Content / 4.3.6:
Experimental Evaluation / 4.3.7:
Discussion and Conclusions / 4.3.8:
Component Models for Semantic Web Languages / Jakob Henriksson ; Uwe Aßmann5:
Composition Systems and Component Models / 5.1:
Web Query Language Xcerpt / 5.2.2:
Description Logics and OWL / 5.2.3:
State of the Art: Semantic Web Components and Invasive Software Component Models / 5.3:
Query Modularization / 5.3.1:
Ontology Modularization / 5.3.2:
Invasive Component Models in Software Engineering / 5.3.3:
Universal Syntactic Abstractions with Embedded ISC / 5.5.3:
Example Application: Modular Xcerpt / 5.6:
Conclusions / 5.7:
Controlled English for Reasoning on the Semantic Web / Norbert E. Fucks ; Kaarel Kaljurand ; Tobias Kuhn6:
Why Use Controlled Natural Languages for the Semantic Web? / 6.1:
Controlled Natural Languages: State of the Art / 6.2:
Attempto Controlled English (ACE) / 6.3:
Overview of Attempto Controlled English / 6.3.1:
From Attempto Controlled English to First-Order Logic / 6.3.2:
Attempto Parsing Engine (APE) / 6.3.3:
Fitting ACE into the Semantic Web / 6.4:
OWL and SWRL / 6.4.1:
AceRules: Rules in ACE / 6.4.2:
The Protune Policy Language / 6.4.3:
Other Web Languages / 6.4.4:
ACE Tools for the Semantic Web / 6.5:
Attempto Reasoner RACE / 6.5.1:
ACE View Ontology and Rule Editor / 6.5.2:
AceWiki: ACE in a Semantic Wiki / 6.5.3:
Protune / 6.5.4:
Semantic Search with GoPubMed / Andreas Doms ; Michael Schroeder6.6:
Biomedical Literature Search / 7.1:
Limits of Classical Search / 7.1.1:
Biomedical Search Engines / 7.1.2:
The Ontology-Based Search Paradigm / 7.1.3:
Answering Biomedical Questions / 7.2:
Characterization of Question Types / 7.2.1:
Using Background Knowledge to Answer Questions / 7.2.2:
Revealing Trends in the Literature / 7.3:
Important Topic: Apotosis / 7.3.1:
Important Topic: Endosome / 7.3.2:
Important Place: Dresden / 7.3.3:
Important Journal: Which Are the 10 Most Frequently Used GO Terms in Nature, Cell and Science? / 7.3.4:
20 Journals for the Molecular Biologist / 7.3.5:
Information Integration in Bioinformatics with Ontologies and Standards / Patrick Lambrix ; Lena Strömbäck ; He Tan7.4:
Resources / 8.1:
Data Sources / 8.2.1:
Ontologies / 8.2.2:
Standards / 8.2.3:
Integrating the Resources / 8.3:
Integration Model / 8.3.1:
Integration of Data Sources / 8.3.2:
Data Sources and Ontologies / 8.3.3:
Ontology Alignment / 8.3.4:
Integrating Standards / 8.3.5:
Connection between Standards and Other Resources / 8.3.6:
Author Index / 8.4:
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1:
Damien Sauveron, Angelos Bilas, Takeo Kanade, Konstantinos Markantonakis, Jean-Jacques Quisquater, Association for Computing Machinery-Digital Library., International Federation for Information Processing.
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
Verification of General and Cyclic Covering Arrays Using Grid Computing / Himer Avila-George ; Jose Torres-Jimenez ; Vicente Hernández ; Nelson Rangel-Valdez
Data Stream Systems and Large Scale Distributed Applications
Scale Out Parallel and Distributed CDR Stream Analytics / Qiming Chen ; Meichun Hsu
A Wide Area Network Optimization Service for Effective Access to Heterogeneous DataGrid Infrastructures / Francesco Palmieri ; Silvio Pardi
A Profile-Based Aggregation Model in a Peer-To-Peer Information Retrieval System / Rim Mghirbi ; Yahya Slimani ; Bruno Defude
Author Index
Data Storage and Management
High Throughput Data-Compression for Cloud Storage / Bogdan Nicolae
Verification of General and Cyclic Covering Arrays Using Grid Computing / Himer Avila-George ; Jose Torres-Jimenez ; Vicente Hernández ; Nelson Rangel-Valdez
Data Stream Systems and Large Scale Distributed Applications
Scale Out Parallel and Distributed CDR Stream Analytics / Qiming Chen ; Meichun Hsu
A Wide Area Network Optimization Service for Effective Access to Heterogeneous DataGrid Infrastructures / Francesco Palmieri ; Silvio Pardi
A Profile-Based Aggregation Model in a Peer-To-Peer Information Retrieval System / Rim Mghirbi ; Yahya Slimani ; Bruno Defude
Author Index
Data Storage and Management
High Throughput Data-Compression for Cloud Storage / Bogdan Nicolae
Combining Biometric Evidence for Person Authentication / J. Bigun ; J. Fierrez-Aguilar ; J. Ortega-Garcia ; J. Gonzales-Rodriguez
Biometric Gait Recognition / J.E. Boyd ; J.J. Little
A Tutorial on Fingerprint Recognition / D. Maltoni
Spiral Topologies for Biometric Recognition / M. Tistarelli ; E. Grosso ; A. Lagorio
Statistical Learning Approaches with Application to Face Detection / E. Franceschi ; F. Odone ; A. Verri
Hand Detection by Direct Convexity Estimation / D. Maimon ; Y. Yeshurun
Template-Based Hand Detection and Tracking / R. Cipolla ; B. Stenger ; A. Thayananthan ; P.H.S. Torr
Student Papers
3D Face Recognition Using Stereoscopic Vision / U. Castellani ; M. Bicego ; G. Iacono ; V. Murino
Selection of Location, Frequency, and Orientation Parameters of 2D Gabor Wavelets for Face Recognition / B. Gökberk ; M. O. Irfanoglu ; L. Akarun ; E. Alpaydin
A Face Recognition System Based on Local Feature Characterization / P. Campadelli ; R. Lanzarotti
Influence of Location over Several Classifiers in 2D and 3D Face Verification / S. Mata ; C. Conde ; A. Sánchez ; E. Cabello
Author Index
Combining Biometric Evidence for Person Authentication / J. Bigun ; J. Fierrez-Aguilar ; J. Ortega-Garcia ; J. Gonzales-Rodriguez
Biometric Gait Recognition / J.E. Boyd ; J.J. Little
A Tutorial on Fingerprint Recognition / D. Maltoni
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
An Incentive-Based Approach to Traffic Management for Peer-to-Peer Overlays / Konstantin Pussep ; Sergey Kuleshov ; Christian Gro? ; Sergios Soursos
Quantifying Operational Cost-Savings through ALTO-Guidance for P2P Live Streaming / Jan Seedorf ; Saverio Niccolini ; Martin Stiemerling ; Ettore Ferranti ; Rolf Winter
Overlay Connection Usage in BitTorrent Swarms / Simon Oechsner ; Frank Lehrieder ; Dirk Staehle
Evaluations and Estimations
Implementation and Performance Evaluation of the re-ECN Protocol / Mirja Kühlewind ; Michael Scharf
Estimating AS Relationships for Application-Layer Traffic Optimization / Hirochika Asai ; Hiroshi Esaki
Mobile Internet in Stereo: An End-to-End Scenario / Henna Warma ; Tapio Levä ; Lars Eggert ; Heikki Hämmäinen ; Jukka Manner
Short Papers
A Study of Non-neutral Networks with Usage-Based Prices / Eitan Altman ; Pierre Bernhard ; Stephane Caron ; George Kesidis ; Julio Rojas-Mora ; Sulan Wong
Business-Driven QoS Management of B2C Web Servers / Grazyna Suchacka ; Leszek Borzemski
The Applicability of Context-Based Multicast - A Shopping Centre Scenario / Thomas Wozniak ; Katarina Stanoevska-Slabeva ; Diogo Gomes ; Hans D. Schotten
Author Index
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
Combining Biometric Evidence for Person Authentication / J. Bigun ; J. Fierrez-Aguilar ; J. Ortega-Garcia ; J. Gonzales-Rodriguez
Biometric Gait Recognition / J.E. Boyd ; J.J. Little
A Tutorial on Fingerprint Recognition / D. Maltoni
Spiral Topologies for Biometric Recognition / M. Tistarelli ; E. Grosso ; A. Lagorio
Statistical Learning Approaches with Application to Face Detection / E. Franceschi ; F. Odone ; A. Verri
Hand Detection by Direct Convexity Estimation / D. Maimon ; Y. Yeshurun
Template-Based Hand Detection and Tracking / R. Cipolla ; B. Stenger ; A. Thayananthan ; P.H.S. Torr
Student Papers
3D Face Recognition Using Stereoscopic Vision / U. Castellani ; M. Bicego ; G. Iacono ; V. Murino
Selection of Location, Frequency, and Orientation Parameters of 2D Gabor Wavelets for Face Recognition / B. Gökberk ; M. O. Irfanoglu ; L. Akarun ; E. Alpaydin
A Face Recognition System Based on Local Feature Characterization / P. Campadelli ; R. Lanzarotti
Influence of Location over Several Classifiers in 2D and 3D Face Verification / S. Mata ; C. Conde ; A. Sánchez ; E. Cabello
Author Index
Combining Biometric Evidence for Person Authentication / J. Bigun ; J. Fierrez-Aguilar ; J. Ortega-Garcia ; J. Gonzales-Rodriguez
Biometric Gait Recognition / J.E. Boyd ; J.J. Little
A Tutorial on Fingerprint Recognition / D. Maltoni
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
An Incentive-Based Approach to Traffic Management for Peer-to-Peer Overlays / Konstantin Pussep ; Sergey Kuleshov ; Christian Gro? ; Sergios Soursos
Quantifying Operational Cost-Savings through ALTO-Guidance for P2P Live Streaming / Jan Seedorf ; Saverio Niccolini ; Martin Stiemerling ; Ettore Ferranti ; Rolf Winter
Overlay Connection Usage in BitTorrent Swarms / Simon Oechsner ; Frank Lehrieder ; Dirk Staehle
Evaluations and Estimations
Implementation and Performance Evaluation of the re-ECN Protocol / Mirja Kühlewind ; Michael Scharf
Estimating AS Relationships for Application-Layer Traffic Optimization / Hirochika Asai ; Hiroshi Esaki
Mobile Internet in Stereo: An End-to-End Scenario / Henna Warma ; Tapio Levä ; Lars Eggert ; Heikki Hämmäinen ; Jukka Manner
Short Papers
A Study of Non-neutral Networks with Usage-Based Prices / Eitan Altman ; Pierre Bernhard ; Stephane Caron ; George Kesidis ; Julio Rojas-Mora ; Sulan Wong
Business-Driven QoS Management of B2C Web Servers / Grazyna Suchacka ; Leszek Borzemski
The Applicability of Context-Based Multicast - A Shopping Centre Scenario / Thomas Wozniak ; Katarina Stanoevska-Slabeva ; Diogo Gomes ; Hans D. Schotten
Author Index
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
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
Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks / Jingxian Lu ; Christophe Dousson ; Benoit Radier ; Francine Krief
LearnIT: Enhanced Search and Visualization of IT Projects / Claudio Bartolini
Strategies for Network Resilience: Capitalising on Policies / Paul Smith ; Alberto Schaeffer-Filho ; Azman Ali ; Marcus Schöller ; Nizar Kheir ; Andreas Mauthe ; David Hutchison
Management Mechanisms
Automatic Link Numbering and Source Routed Multicast / Visa Holopainen ; Raimo Kantola ; Taneli Taira ; Olli-Pekka Lamminen
Mining NetFlow Records for Critical Network Activities / Shaonan Wang ; Mohamed Ourdane
Implementation of a Stream Based IP Flow Record Query Language / Kaloyan Kanev ; Nikolay Melnikov
PhD Workshop: Security, Network Monitoring, and Analysis
Towards Flexible and Secure Distributed Aggregation / Kristján Valur Jónsson ; Mads F. Dam
Intrusion Detection in SCADA Networks / Rafael Ramos Regis Barbosa ; Aiko Pras
Cybermetrics: User Identification through Network Flow Analysis
Distributed Architecture for Real-time Traffic Analysis / Cristian Morariu
Scalable Service Performance Monitoring / Idilio Drago
Author Index
Keynote
Facing Complexity in Systems Management / Metin Feridun
Combining Two Worlds: Parameterised Approximation for Vertex Cover / Ljiljana Brankovic ; Henning Fernau
Listing All Maximal Cliques in Sparse Graphs in Near-Optimal Time / Maarten Löffler
Optimization / Session 5B:
Lower Bounds for Howard's Algorithm for Finding Minimum Mean-Cost Cycles / Thomas Dueholm Hansen ; Uri Zwick
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut / Immanuel Bomze ; Markus Chimani ; Michael Jünger ; Ivana Ljubic ; Petra Mutzel ; Bernd Zey
An Optimal Algorithm for Single Maximum Coverage Location on Trees and Related Problems / Joachim Spoerhase
A Faster Algorithm for the Maximum Even Factor Problem / Maxim A. Babenko
Author Index
Invited Talks
Regular Labelings and Geometric Structures (Abstract) / David Eppstein
Algorithmic Aspects of Secure Computation and Communication (Abstract) / Matt Franklin
Combining Two Worlds: Parameterised Approximation for Vertex Cover / Ljiljana Brankovic ; Henning Fernau
Listing All Maximal Cliques in Sparse Graphs in Near-Optimal Time / Maarten Löffler
Optimization / Session 5B:
Lower Bounds for Howard's Algorithm for Finding Minimum Mean-Cost Cycles / Thomas Dueholm Hansen ; Uri Zwick
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut / Immanuel Bomze ; Markus Chimani ; Michael Jünger ; Ivana Ljubic ; Petra Mutzel ; Bernd Zey
An Optimal Algorithm for Single Maximum Coverage Location on Trees and Related Problems / Joachim Spoerhase
A Faster Algorithm for the Maximum Even Factor Problem / Maxim A. Babenko
Author Index
Invited Talks
Regular Labelings and Geometric Structures (Abstract) / David Eppstein
Algorithmic Aspects of Secure Computation and Communication (Abstract) / Matt Franklin
Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks / Jingxian Lu ; Christophe Dousson ; Benoit Radier ; Francine Krief
LearnIT: Enhanced Search and Visualization of IT Projects / Claudio Bartolini
Strategies for Network Resilience: Capitalising on Policies / Paul Smith ; Alberto Schaeffer-Filho ; Azman Ali ; Marcus Schöller ; Nizar Kheir ; Andreas Mauthe ; David Hutchison
Management Mechanisms
Automatic Link Numbering and Source Routed Multicast / Visa Holopainen ; Raimo Kantola ; Taneli Taira ; Olli-Pekka Lamminen
Mining NetFlow Records for Critical Network Activities / Shaonan Wang ; Mohamed Ourdane
Implementation of a Stream Based IP Flow Record Query Language / Kaloyan Kanev ; Nikolay Melnikov
PhD Workshop: Security, Network Monitoring, and Analysis
Towards Flexible and Secure Distributed Aggregation / Kristján Valur Jónsson ; Mads F. Dam
Intrusion Detection in SCADA Networks / Rafael Ramos Regis Barbosa ; Aiko Pras
Cybermetrics: User Identification through Network Flow Analysis
Distributed Architecture for Real-time Traffic Analysis / Cristian Morariu
Scalable Service Performance Monitoring / Idilio Drago
Author Index
Keynote
Facing Complexity in Systems Management / Metin Feridun
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; MarÃa Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
Autonomous Platform for Life-Critical Decision Support in the ICU / Kristof Steurbaut
Policy Management
Policy-Based Pricing for Heterogeneous Wireless Access Networks / Javier Baliosian ; Joan Serrat ; Matias Richart ; Juan Saavedra ; Mariela Borba ; Jose Luis Melus
Decision Engine for SIP Based Dynamic Call Routing / Sajjad Ali Musthaq ; Christophe Lohr ; Annie Gravey
Support Technologies
Evaluation of the Resource Requirements of SNMP Agents on Constrained Devices / Siarhei Kuryla ; Jürgen Schönwälder
Carrier Ethernet OAM: An Overview and Comparison to IP OAM / Rick Hofstede ; Idilio Drago ; Giovane C.M. Mourn
P2P and Aggregation Schemes
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services / Ying Qiao ; Gregor von Bochmann
On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; MarÃa Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
Autonomous Platform for Life-Critical Decision Support in the ICU / Kristof Steurbaut
Policy Management
Policy-Based Pricing for Heterogeneous Wireless Access Networks / Javier Baliosian ; Joan Serrat ; Matias Richart ; Juan Saavedra ; Mariela Borba ; Jose Luis Melus
Decision Engine for SIP Based Dynamic Call Routing / Sajjad Ali Musthaq ; Christophe Lohr ; Annie Gravey
Support Technologies
Evaluation of the Resource Requirements of SNMP Agents on Constrained Devices / Siarhei Kuryla ; Jürgen Schönwälder
Carrier Ethernet OAM: An Overview and Comparison to IP OAM / Rick Hofstede ; Idilio Drago ; Giovane C.M. Mourn
P2P and Aggregation Schemes
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services / Ying Qiao ; Gregor von Bochmann
On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
The Dragon Stream Cipher: Design, Analysis and Implementation Issues / Ed Dawson ; Matt Henricksen ; Leonie Simpson
The Stream Cipher HC-128 / Hongjun Wu
Design of a New Stream Cipher-LEX / Alex Biryukov
Specification for NLSv2 / Philip Hawkes ; Cameron McDonald ; Michael Paddon ; Gregory G. Rose ; Miriam Wiggers de Vries
The Rabbit Stream Cipher / Martin Boesgaard ; Mette Vesterager ; Erik Zenner
The Salsa20 Family of Stream Ciphers / Daniel J. Bernstein
Sosemanuk, a Fast Software-Oriented Stream Cipher / Come Berbain ; Olivier Billet ; Anne Canteaut ; Nicolas Courtois ; Henri Gilbert ; Louis Goubin ; Aline Gouget ; Louis Granboulan ; Cedric Lauradoux ; Marine Minier ; Thomas Pornin ; Herve Sibert
eSTREAM Software Performance / Christophe De Canniere
Decim[superscript v2] / Blandine Debraize
The Stream Cipher Edon80 / Danilo Gligoroski ; Smile Markovski ; Svein Johan Knapskog
Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox / Juan R. Castro ; Oscar Castillo ; Patricia Melin ; Antonio Rodriguez-Diaz
Data Processing and Industrial Applications / Part 2:
Comparative Analysis of Electrocardiogram Data by Means of Temporal Locality Approach with Additional Normalization / Victor F. Dailyudenko
Missing Value Imputation Based on Data Clustering / Shichao Zhang ; Jilian Zhang ; Xiaofeng Zhu ; Yongsong Qin ; Chengqi Zhang
Laminar Forced Convection in Circular Duct for Power-Law Fluid / Tudor Boaca ; Ioana Boaca
The Homotopy Wiener-Hermite Expansion and Perturbation Technique (WHEP) / Magdy A. El-Tawil
Author Index
Information Systems Design / Part 1:
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis / Phan Cong Vinh ; Jonathan P. Bowen
Partners Selection in Multi-Agent Systems by Using Linear and Non-linear Approaches / Fenghui Ren ; Minjie Zhang
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
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
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Building Fuzzy Inference Systems with a New Interval Type-2 Fuzzy Logic Toolbox / Juan R. Castro ; Oscar Castillo ; Patricia Melin ; Antonio Rodriguez-Diaz
Data Processing and Industrial Applications / Part 2:
Comparative Analysis of Electrocardiogram Data by Means of Temporal Locality Approach with Additional Normalization / Victor F. Dailyudenko
Missing Value Imputation Based on Data Clustering / Shichao Zhang ; Jilian Zhang ; Xiaofeng Zhu ; Yongsong Qin ; Chengqi Zhang
Laminar Forced Convection in Circular Duct for Power-Law Fluid / Tudor Boaca ; Ioana Boaca
The Homotopy Wiener-Hermite Expansion and Perturbation Technique (WHEP) / Magdy A. El-Tawil
Author Index
Information Systems Design / Part 1:
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis / Phan Cong Vinh ; Jonathan P. Bowen
Partners Selection in Multi-Agent Systems by Using Linear and Non-linear Approaches / Fenghui Ren ; Minjie Zhang
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
The Dragon Stream Cipher: Design, Analysis and Implementation Issues / Ed Dawson ; Matt Henricksen ; Leonie Simpson
The Stream Cipher HC-128 / Hongjun Wu
Design of a New Stream Cipher-LEX / Alex Biryukov
Specification for NLSv2 / Philip Hawkes ; Cameron McDonald ; Michael Paddon ; Gregory G. Rose ; Miriam Wiggers de Vries
The Rabbit Stream Cipher / Martin Boesgaard ; Mette Vesterager ; Erik Zenner
The Salsa20 Family of Stream Ciphers / Daniel J. Bernstein
Sosemanuk, a Fast Software-Oriented Stream Cipher / Come Berbain ; Olivier Billet ; Anne Canteaut ; Nicolas Courtois ; Henri Gilbert ; Louis Goubin ; Aline Gouget ; Louis Granboulan ; Cedric Lauradoux ; Marine Minier ; Thomas Pornin ; Herve Sibert
eSTREAM Software Performance / Christophe De Canniere
Decim[superscript v2] / Blandine Debraize
The Stream Cipher Edon80 / Danilo Gligoroski ; Smile Markovski ; Svein Johan Knapskog
From Propositional Satisfiability to Satisfiability Modulo Theories / Hossein M. Sheini ; Karem A. Sakallah
CSPs: Adding Structure to SAT / Fahiem Bacchus
Proofs and Cores / Session 1:
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity / Arist Kojevnikov ; Alexander S. Kulikov
Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel / Oliver Kullmann ; Ines Lynce ; Joao Marques-Silva
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction / Nachum Dershowitz ; Ziyad Hanna ; Alexander Nadel
Minimum Witnesses for Unsatisfiable 2CNFs / Joshua Buresh-Oppenheim ; David Mitchell
Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs / Allen Van Gelder
Extended Resolution Proofs for Symbolic SAT Solving with Quantification / Toni Jussila ; Carsten Sinz ; Armin Biere
Heuristics and Algorithms / Session 2:
Encoding CNFs to Empower Component Analysis / Mark Chavira ; Adnan Darwiche
Satisfiability Checking of Non-clausal Formulas Using General Matings / Himanshu Jain ; Constantinos Bartzis ; Edmund Clarke
Determinization of Resolution by an Algorithm Operating on Complete Assignments / Eugene Goldberg
A Complete Random Jump Strategy with Guiding Paths / Hantao Zhang
Applications / Session 3:
Applications of SAT Solvers to Cryptanalysis of Hash Functions / Ilya Mironov ; Lintao Zhang
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies / Yuliya Zabiyaka
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC / Roberto Sebastiani ; Michele Vescovi
SAT in Bioinformatics: Making the Case with Haplotype Inference
SMT / Session 4:
Lemma Learning in SMT on Linear Constraints / Yinlei Yu ; Sharad Malik
On SAT Modulo Theories and Optimization Problems / Robert Nieuwenhuis ; Albert Oliveras
Fast and Flexible Difference Constraint Propagation for DPLL(T) / Scott Cotton ; Oded Maler
A Progressive Simplifier for Satisfiability Modulo Theories
Structure / Session 5:
"Dependency Quantified Horn Formulas: Models and Complexity / Uwe Bubeck ; Hans Kleine Buning
On Linear CNF Formulas / Stefan Porschen ; Ewald Speckenmeyer ; Bert Randerath
A Dichotomy Theorem for Typed Constraint Satisfaction Problems / Su Chen ; Tomasz Imielinski ; Karin Johnsgard ; Donald Smith ; Mario Szegedy
Max-SAT / Session 6:
A Complete Calculus for Max-SAT / Maria Luisa Bonet ; Jordi Levy ; Felip Manya
On Solving the Partial Max-Sat Problem / Zhaohui Fu
Max-SAT for Formulas with Constant Clause Density Can Be Solved Faster Than in O(2n) Time / Eugeny Dantsin ; Alexander Wolpert
Average-Case Analysis for the Max-2SAT Problem / Osamu Watanabe ; Masaki Yamamoto
Local Search and Survey Propagation / Session 7:
Local Search for Unsatisfiability / Steven Prestwich
Efficiency of Local Search / Andrei A. Bulatov ; Evgeny S. Skvortsov
Implementing Survey Propagation on Graphics Processing Units / Panagiotis Manolios ; Yimin Zhang
Characterizing Propagation Methods for Boolean Satisfiability / Eric I. Hsu ; Sheila A. McIlraith
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency / Ashish Sabharwal ; Carlos Ansotegui ; Carla P. Gomes ; Justin W. Hart ; Bart Selman
Counting and Concurrency / Session 9:
Solving #SAT Using Vertex Covers / Naomi Nishimura ; Prabhakar Ragde ; Stefan Szeider
Counting Models in Integer Domains / Antonio Morgado ; Paulo Matos ; Vasco Manquinho
SharpSAT - Counting Models with Advanced Component Caching and Implicit BCP / Marc Thurley
A Distribution Method for Solving SAT in Grids / Antti Eero Johannes Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Author Index
Invited Talks
From Propositional Satisfiability to Satisfiability Modulo Theories / Hossein M. Sheini ; Karem A. Sakallah
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Ãlvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
The (K, k)-Capacitated Spanning Tree Problem / Esther M. Arkin ; Nili Guttmann-Beck ; Refael Hassin
Optimal Algorithms for the Economic Lot-Sizing Problem with Multi-supplier / Qing-Guo Bai ; Jian-Teng Xu
Synthetic Road Networks / Reinhard Bauer ; Marcus Krug ; Sascha Meinert ; Dorothea Wagner
Computing Exact and Approximate Nash Equilibria in 2-Player Games / Vittorio Bitò ; Angela Fanelli
Where Would Refinancing Preferences Go? / Yajun Chai ; Bo Liu
Approximating Maximum Edge 2-Coloring in Simple Graphs / Zhi-Zhong Chen ; Sayuri Konno ; Yuki Matsushita
A Linear Kernel for Co-Path/Cycle Packing / Michael Fellows ; Bin Fu ; Haitao Jiang ; Yang Liu ; Lusheng Wang ; Binhai Zhu
A VaR Algorithm for Warrants Portfolio / Jun Dai ; Liyun Ni ; Xiangrong Wang ; Weizhong Chen
Some Results on Incremental Vertex Cover Problem / Wenqiang Dai
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction / Christian Ernst ; Changxing Dong ; Gerold Jäger ; Dirk Richter ; Paul Molitor
Point Location in the Continuous-Time Moving Network / Chenglin Fan ; Jun Luo
Coordinated Scheduling of Production and Delivery with Production Window and Delivery Capacity Constraints / Yumei Huo ; Hairong Zhao
On the Approximability of the Vertex Cover and Related Problems / Xiucui Guan ; Binwu Zhang ; Qiaoming Han ; Abraham P. Punnen
Feasibility Testing for Dial-a-Ride Problems / Dag Haugland ; Sin C. Ho
Indexing Similar DNA Sequences / Songbo Huang ; T. W. Lam ; W. K. Sung ; S.L. Tom ; S.M. Yiu
Online Scheduling on Two Uniform Machines to Minimize the Makespan with a Periodic Availability Constraint / Ming Liu ; Chengbin Chu ; Yinfeng Xu ; Lu Wang
A New Smoothing Newton Method for Symmetric Cone Complementarity Problems / Lixia Liu ; Sanyang Liu
Approximation Algorithms for Scheduling with a Variable Machine Maintenance / Wenchang Luo ; Lin Chen ; Guochuan Zhang
Bounded Parallel-Batch Scheduling on Unrelated Parallel Machines / Cuixia Miao ; Yuzhong Zhang ; Chengfei Wang
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs / Christian Miller ; Stefan Kupferschmid ; Matthew Lewis ; Bernd Becker
Statistical Methodology for Comparison of SAT Solvers / Mladen Nikolic
On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem / Denis Pankratov ; Allan Borodin
The Seventh QBF Solvers Evaluation (QBFEVAL'10) / Claudia Peschiera ; Luca Pulina ; Armando Tacchella ; Oliver Kullmann
Complexity Results for Linear XSAT-Problems / Stefan Porschen ; Tatjana Schmidt ; Ewald Speckenmeyer
Bounds on Threshold of Regular Random k-SAT / Vishwambhar Rathi ; Erik Aurell ; Lars Rasmussen ; Mikael Skoglund
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT / Dave A.D. Tompkins ; Holger H. Hoos
Short Papers / Part 3:
Improved Local Search for Circuit Satisfiability / Anton Belov ; Zbigniew Stachniak
A System for Solving Constraint Satisfaction Problems with SMT / Miquel Bofil ; Josep Suy ; Mateu Villaret
Two Techniques for Minimizing Resolution Proofs / Scott Cotton
On Moderately Exponential Time for SAT / Evgeny Dantsin ; Alexander Wolpert
Minimising Deterministic Büchi Automata Precisely Using SAT Solving / Rüdiger Ehlers
Exploiting Circuit Representations in QBF solving / Alexandra Goultiaeva ; Fahiem Bacchus
Reconstructing Solutions after Blocked Clause Elimination / Matti Järvisalo
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search / Lukas Kroc ; Ashish Sabharwal ; Bart Selman
Green-Tao Numbers and SAT
Exact MinSAT Solving / Chu Min Li ; Felip Manyà ; Zhe Quan ; Zhu Zhu
Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable / William Matthews
Assignment Stack Shrinking / Alexander Nadel ; Vadim Ryuchin
Simple but Hard Mixed Horn Formulas / Gayathri Namasivayam ; Miroslaw Truszczynski
Zero-One Designs Produce Small Hard SAT Instances / Allen Van Gelder ; Ivor Spence
Author Index
Invited Talks / Part 1:
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
The ImmunoGrid Simulator: How to Use It / Francesco Pappalardo ; Mark Halling-Brown ; Marzio Pennisi ; Ferdinando Chiacchio ; Clare E. Sansom ; Adrian J. Shepherd ; David S. Moss ; Santo Motta ; Vladimir Brusic
Improving Coiled-Coil Prediction with Evolutionary Information / Piero Fariselli ; Lisa Bartoli ; Rita Casadio
Intelligent Text Processing Techniques for Textual-Profile Gene Characterization / Floriana Esposito ; Marenglen Biba ; Stefano Ferilli
SILACAnalyzer - A Tool for Differential Quantitation of Stable Isotope Derived Data / Lars Nilse ; Marc Sturm ; David Trudgian ; Mogjiborahman Salek ; Paul F.G. Sims ; Kathleen M. Carroll ; Simon J. Hubbard
Gene Expression Analysis
Non-parametric MANOVA Methods for Detecting Differentially Expressed Genes in Real-Time RT-PCR Experiments / Niccoló Bassani ; Federico Ambrogi ; Roberta Bosotti ; Matteo Bertolotti ; Antonella Isacchi ; Elia Biganzoli
In Silico Screening for Pathogenesis Related-2 Gene Candidates in Vigna Unguiculata Transcriptome / Ana Carolina Wanderley-Nogueira ; Nina da Mota Soares-Cavalcanti ; Luis Carlos Belarmino ; Adriano Barbosa-Silva ; Ederson Akio Kido ; Semiramis Jamil Hadad do Monte ; Valesca Pandolfi ; Tercilio Calsa-Junior ; Ana Maria Benko-Iseppon
Penalized Principal Component Analysis of Microarray Data / Vladimir Nikulin ; Geoffrey J. McLachlan
An Information Theoretic Approach to Reverse Engineering of Regulatory Gene Networks from Time-Course Data / Pietro Zoppoli ; Sandro Morganella ; Michele Ceccarelli
New Perspectives in Bioinformatics
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks / Gilles Bernot ; Jean-Paul Comet
Predicting Protein-Protein Interactions with K-Nearest Neighbors Classification Algorithm / Mario R. Guarracino ; Adriano Nebbia
Simulations of the EGFR - KRAS - MAPK Signalling Network in Colon Cancer. Virtual Mutations and Virtual Treatments with Inhibitors Have More Important Effects Than a 10 Times Range of Normal Parameters and Rates Fluctuations / Nicoletta Castagnino ; Lorenzo Tortolina ; Roberto Montagna ; Raffaele Pesenti ; Anahi Balbi ; Silvio Parodi
Special Session on "Using Game-Theoretical Tools in Bioinformatics"
Basics of Game Theory for Bioinformatics / Fioravante Patrone
Microarray Data Analysis via Weighted Indices and Weighted Majority Games / Roberto Lucchetti ; Paola Radrizzani
Special Session on "Combining Bayesian and Machine Learning Approaches in Bioinformatics: State of Art and Future Perspectives"
Combining Replicates and Nearby Species Data: A Bayesian Approach / Claudia Angelini ; Italia De Feis ; Viet Anh Nguyen ; Richard van der Wath ; Pietro Liò
Multiple Sequence Alignment with Genetic Algorithms / Marco Botta ; Guido Negro
Special Session on "Data Clustering and Bioinformatics" (DCB 2009)
Multiple Clustering Solutions Analysis through Least-Squares Consensus Algorithms / Loredana Murino ; Ida Bifulco ; Giancarlo Raiconi ; Roberto Tagliaferri
Projection Based Clustering of Gene Expression Data / Sotiris K. Tasoulis ; Vassilis P. Plagianakos ; Dimitris K. Tasoulis
Searching a Multivariate Partition Space Using MAX-SAT / Silvia Liverani ; James Cussens ; Jim Q. Smith
A Novel Approach for Biclustering Gene Expression Data Using Modular Singular Value Decomposition / V.N. Manjunath Aradhya ; Francesco Masulli ; Stefano Rovetta
Special Session on "Intelligent Systems for Medical Decisions Support" (ISMDS 2009)
Using Computational Intelligence to Develop Intelligent Clinical Decision Support Systems / Alexandru G. Floares
3-D Mouse Brain Model Reconstruction from a Sequence of 2-D Slices in Application to Allen Brain Atlas / Anton Osokin ; Dmitry Vetrov ; Dmitry Kropotov
A Proposed Knowledge Based Approach for Solving Proteomics Issues / Antonino Fiannaca ; Salavatore Gaglio ; Massimo La Rosa ; Daniele Peri ; Riccardo Rizzo ; Alfonso Urso
Author Index
Tools for Bioinformatics
The ImmunoGrid Simulator: How to Use It / Francesco Pappalardo ; Mark Halling-Brown ; Marzio Pennisi ; Ferdinando Chiacchio ; Clare E. Sansom ; Adrian J. Shepherd ; David S. Moss ; Santo Motta ; Vladimir Brusic
Improving Coiled-Coil Prediction with Evolutionary Information / Piero Fariselli ; Lisa Bartoli ; Rita Casadio
Stakeholders' Views on Government Enterprise Architecture: Strategic Goals and New Public Services / Katja Penttinen ; Hannakaisa Isomäki
An Investigation into Critical Determinants of e-Government Implementation in the Context of a Developing Nation / Nahid Rashid ; Shams Rahman
"What We Cannot Speak about We Must Pass over in Silence" - (In)correctly Arguing and Comparing the Costs of IT Investments in Public Sector / Samuli Pekkola ; Kimmo Wideroos
Decision Support Tools
Small-Area Population Projections - A Key Element in Knowledge Based e-Governance / Henning Sten Hansen
From Policy-Making Statements to First-Order Logic / Adam Wyner ; Tom van Engers ; Kiavash Bahreini
A Fuzzy Recommender System for eElections / Luis Terán ; Andreas Meier
Invited Talk
Web 2.0 Creates a New Government / Roland Traunmüller
ICT in E-Government (I)
Elements of Comprehensive Assessments of IT Infrastructure Projects in the Austrian Ministry of Finance / Edward W.N. Bernroider ; Stefan Koch ; Volker Stix
Updating Official Publications to the Web 3.0: A Quantum Leap in e-Gov Transparency and Citizen Participation Is on Sight / Francisco-Javier GarcÃa-Marco
One Inch Wide and One Inch Deep: The Role of Policies in Shaping the Adoption of Open Standards and Software in Government / Kim Normann Andersen ; Daniel Veit ; Rony Medaglia ; Helle Zinner Henriksen
Towards Interoperability: An Architecture for Pan-European eID-Based Authenation Services / Arne Tauber ; Bernd Zwattendorfer ; Thomas Zefferer ; Yasmin Mazhari ; Eleftherios Chamakiotis
E-Government Services and Web 2.0 (I)
SocialSupervisor: A Geographically Enhanced Social Content Site to Supervise Public Works / Luciana Cavalcante de Menezes ; Hugo Feitosa de Figueirêdo ; Ricardo Madeira Fernandes ; Tiago Eduardo da Silva ; Cláudio de Souza Baptista
Transforming the Greek e-Government Environment towards the e-Gov 2.0 Era / Prokopios Drogkaris ; Stefanos Gritzalis ; Costas Lambrinoudakis
E-Government Services Design, Implementation and Monitoring
Geographic e-Services Development through Product-Line Engineering and Standardization / Agustina Buccella ; Alejandra Cechich
Governmeter: Monitoring Government Performance: A Web Based Application Proposal / Artur Afonso Sousa ; Pedro Agante ; LuÃs Borges Gouveia
ICT in E-Government (II)
Policy Incentives for Innovation Diffusion: An Agent-Based Simulation / Enrich Ferro ; Brunella Caroleo ; Marco Cantamessa ; Maur Leo
E-Government Services Using Customer Index Knowledge / Sung Ho Ha ; Min Jung Lee
The Bangladesh National Biometric Database: A Transferable Success? / M. Sirajul Islam ; Åke Grönlund
E-Government Services and Web 2.0 (II)
E-Government and Geographical Information Based Collaboration Patterns / Lise Schrøder ; Line Hvingel
Participatory Design of Public Sector Services / Alan Hartman ; Anshu N. Jain ; Jay Ramanathan ; Antonis Ramfos ; Willem-Jan Van der Heuvel ; Christian Zirpins ; Stefan Tai ; Yannis Charalabidis ; A. Pasic ; T. Johannessen ; T. Grønsund
Public Safety Mashups to Support Policy Makers / Sunil Choenni ; Erik Leertouwer
Knowledge Management
Intellectual Capital Management Using Knowledge Scorecards: The Austrian National Defence Academy Showcase / Johannes Göllner ; Klaus Mak ; Robert Woitsch
Deploying a Semantically-Enabled Content Management System in a State University / Maria Befa ; Efstratios Kontopoulos ; Nick Bassiliades ; Christos Berberidis ; Ioannis Vlahavas
Author Index
E-Government Services Analysis
Stakeholders' Views on Government Enterprise Architecture: Strategic Goals and New Public Services / Katja Penttinen ; Hannakaisa Isomäki
An Investigation into Critical Determinants of e-Government Implementation in the Context of a Developing Nation / Nahid Rashid ; Shams Rahman
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen