Weighted Bagging for Graph Based One-Class Classifiers / Santi Seguà ; Laura Igual ; Jordi VitriÃ
Improving Multilabel Classification Performance by Using Ensemble of Multi-label Classifiers / Muhammad Atif Tahir ; Josef Kittler ; Krystian Mikolajczyk ; Fei Yan
New Feature Splitting Criteria for Co-training Using Genetic Algorithm Optimization / Ahmed Salaheldin ; Neamat El Gayar
Tomographic Considerations in Ensemble Bias/Variance Decomposition / Gregory Ditzler ; Michael D. Muhlbaier ; Robi Polikar ; David Windridge
Choosing Parameters for Random Subspace Ensembles for fMRI Classification / Ludmila I. Kuncheva ; Catrin O. Plumpton
Multiple Classifier Systems under Attack / Battista Biggio ; Giorgio Fumera ; Fabio Roli
SOCIAL: Self-Organizing Classifier ensemble for Adversarial Learning / Francesco Gargiulo ; Carlo Sansone
Unsupervised Change-Detection in Retinal Images by a Multiple-Classifier Approach / Giulia Troglio ; Marina Alberti ; Jón Atli Benediksson ; Gabriele Moser ; Sebastiano Bruno Serpico ; Einar Stefánsson
A Double Pruning Algorithm for Classification Ensembles / VÃctor Soto ; Gonzalo MartÃnez-Muñoz ; Daniel Hernández-Lobato ; Alberto Suárez
Estimation of the Number of Clusters Using Multiple Clustering Validity Indices / Krzysztof Kryszczuk ; Paul Hurley
Classifier Diversity
"Good" and "Bad" Diversity in Majority Vote Ensembles / Gavin Brown
Multi-information Ensemble Diversity / Zhi-Hua Zhou ; Nan Li
Classifier Selection
Dynamic Selection of Ensembles of Classifiers Using Contextual Information / Paulo R. Cavalin ; Robert Sabourin ; Ching Y. Suen
Selecting Structural Base Classifiers for Graph-Based Multiple Classifier Systems / Wan-Jui Lee ; Robert P.W. Duin ; Horst Bunke
Combining Multiple Kernels
A Support Kernel Machine for Supervised Selective Combining of Diverse Pattern-Recognition Modalities / Alexander Tatarchuk ; Eugene Urlov ; Vadim Mottl
Combining Multiple Kernels by Augmenting the Kernel Matrix
Boosting and Bootstrapping
Class-Separability Weighting and Bootstrapping in Error Correcting Output Code Ensembles / R.S. Smith ; T. Windeatt
Boosted Geometry-Based Ensembles / Oriol Pujol
Online Non-stationary Boosting / Adam Pocock ; Paraskevas Yiapanis ; Jeremy Singer ; Mikel Luján
Handwriting Recognition
Combining Neural Networks to Improve Performance of Handwritten Keyword Spotting / Volkmar Frinken ; Andreas Fischer
Combining Committee-Based Semi-supervised and Active Learning and Its Application to Handwritten Digits Recognition / Mohamed Farouk Abdel Hady ; Friedhelm Schwenker
Using Diversity in Classifier Set Selection for Arabic Handwritten Recognition / Nabiha Azizi ; Nadir Farah ; Mokhtar Sellami ; Abdel Ennaji
Applications
Forecase Combination Strategies for Handling Structural Breaks for Time Series Forecasting / Waleed M. Azmy ; Amir F. Atiya ; Hisham El-Shishiny
A Multiple Classifier System for Classification of LIDAR Remote Sensing Data using Multi-class SVM / Farhad Samadzadegan ; Behnaz Bigdeli ; Pouria Ramzi
A Multi-Classifier System for Off-Line Signature Verification Based on Dissimilarity Representation / Luana Batista ; Eric Granger
A Multi-objective Sequential Ensemble for Cluster Structure Analysis and Visualization and Application to Gene Expression / Noha A. Yousri
Combining 2D and 3D Features to Classify Protein Mutants in HeLa Cells / Vincenzo Paduano ; Michele Ceccarelli
An Experimental Comparison of Hierarchical Bayes and True Path Rule Ensembles for Protein Function Prediction / Matteo Re ; Giorgio Valentini
Recognizing Combinations of Facial Action Units with Different Intensity Using a Mixture of Hidden Markov Models and Neural Network / Mahmoud Khademi ; Mohammad Taghi Manzuri-Shalmani ; Mohammad Hadi Kiapour ; Ali Akbar Kiaei
Invited Papers
Some Thoughts at the Interface of Ensemble Methods and Feature Selection (Abstract)
Multiple Classifier Systems for the Recogonition of Human Emotions / Stefan Scherer ; Miriam Schmidt ; Martin Schels ; Michael Glodek
Erratum
Erratum to Biggio, B., Fumera, G., Roli, F., "Multiple classifier systems for adversarial classification tasks." In Benediktsson, J.A., Kittler, J., Roli, F., eds.: MCS 2009. Volume 5519 of Lecture Notes in Computer Science., Springer (2009) 132141
Author Index
Classifier Ensembles(I)
Weighted Bagging for Graph Based One-Class Classifiers / Santi Seguà ; Laura Igual ; Jordi VitriÃ
Improving Multilabel Classification Performance by Using Ensemble of Multi-label Classifiers / Muhammad Atif Tahir ; Josef Kittler ; Krystian Mikolajczyk ; Fei Yan
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-DomÃnguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
Face Recognition Using Simplicial Complexes / Chengming Zou ; Edwin R. Hancock
Skeleton Simplification by Key Points Identification / Gabriel Rojas-AlbarracÃn ; Carlos A. Carbajal ; Antonio Fernández-Caballero ; MarÃa T. López
Learning and Fast Object Recognition in Robot Skill Acquisition: A New Method / I. Lopez-Juarez ; R. Rios-Cabrera ; M. Peña-Cabrera ; R. Osorio-Comparan
Light Source Intensity Adjustment for Enhanced Feature Extraction / Francisco J. Castro-MartÃnez ; Mario Castelán ; Ismael López-Juárez
Fringe-Pattern Demodulation Using a Parametric Method Based on Differential Evolution / J.F. Jimenez ; F.J. Cuevas ; J.H. Sossa ; L.E. Gomez
ANIMA: Non-conventional Brain-Computer Interfaces in Robot Control through Electroencephalography and Electrooculography, ARP Module / Luis F. Reina ; Gerardo MartÃnez ; Mario Valdeavellano ; Marie Destarac ; Carlos Esquit
Efficient Roughness Recognition for Velocity Updating by Wheeled-Robots Navigation / Farid GarcÃa ; MatÃas Alvarado
Image Processing
Fingerprint Verification with Non-linear Composite Correlation Filters / Saúl MartÃnez-DÃaz ; Javier A. Carmona-Troyo
Automatic Ultrasound Image Analysis in Hashimoto's Disease / Robert Koprowski ; Zygmunt Wrobel ; Witold Zieleznik
Estimating Quality Bounds of JPEG 2000 Compressed Leukocytes Images / Alexander Falcón-Ruiz ; Juan Paz-Viera ; Hichem Sahli
Surface Material Segmentation Using Polarisation / Nitya Subramaniam ; Edwin Hancock
Measurement of Defocus Level in Iris Images Using Different Convolution Kernel Methods / J. Miguel Colores- Vargas ; Mireya S. GarcÃa - Vázquez ; Alejandro A. RamÃrez-Acosta
Radon Transform Algorithm for Fingerprint Ccore Point Detection / Miguel Mora-González ; Julio C. MartÃnez-Romo ; Jesús Muñoz-Maciel ; Guillermo Sánchez-DÃaz ; Javier Salinas-Luna ; H.I. Piza-Dávila ; Francisco J. Luna-Rosas ; Carlos M. de Luna-Ortega
On-line Signature Verification Based on Modified Dynamic Time Warping and Wavelet Sub-band Coding / Juan Carlos Sánchez-Diaz ; Juan Manuel RamÃrez-Cortes ; Rogerio Enriquez-Caldera ; Pilar Gomez-Gil
Third Degree Volterra Kernel for Newborn Cry Estimation / Gibran Etcheverry ; EfraÃn López-Damian ; Carlos A. Reyes-GarcÃa
Pattern Recognition and Data Mining
Cascading an Emerging Pattern Based Classifier
A New Combined Filter-Wrapper Framework for Gene Subset Selection with Specialized Genetic Operators / Edmundo Bonilla Huerta ; J. CrispÃn Hernández Hernández ; L. Alberto Hernández Montiel
Hybrid Feature Selection Method for Supervised Classification Based on Laplacian Score Ranking / Saúl Solorio-Fernández
Navigating K-Nearest Neighbor Graphs to Solve Nearest Neighbor Searches / Edgar Chávez ; Eric Sadit Tellez
Sentence to Document Level Emotion Tagging - A Coarse-Grained Study on Bengali Blogs / Dipankar Das ; Sivaji Bandyopadhyay
Clustering Weblogs on the Basis of a Topic Detection Method / Fernando Perez-Tellez ; David Pinto ; John Cardiff ; Paolo Rosso
A Naïve Bayes Approach to Cross-Lingual Word Sense Disambiguation and Lexical Substitution / Darnes Vilariño ; Carlos Balderas ; Mireya Tovar ; Beatriz Beltrán
Supervised Learning for Semantic Classification of Spanish Collocations / Alexander Gelbukh ; Olga Kolesnikova
Recognizing Textual Entailment with Statistical Methods / Miguel Angel RÃos Gaona
Author Index
Computer Vision and Robotics
A Hierarchical Recursive Partial Active Basis Model / Pavel Herrera-DomÃnguez ; Leopoldo Altamirano-Robles
Facial Feature Model for Emotion Recognition Using Fuzzy Reasoning / Renan Contreras ; Oleg Starostenko ; Vicente Alarcon-Aquino ; Leticia Flores-Pulido
Talking Rabbit: A User Evaluation of Sentence Production / Paula Engelbrecht ; Glen Hart ; Catherine Dolbear
Naturalness vs. Predictability: A Key Debate in Controlled Languages / Peter Clark ; William R. Murray ; Phil Harrison ; John Thompson
Implementing Controlled Languages in GF / Krasimir Angelov ; Aarne Ranta
Polysemy in Controlled Natural Language Texts / Normunds Gruzitis ; Guntis Barzdins
Economical Discourse Representation Theory / Johan Bos
Controlled English Ontology-Based Data Access / Camilo Thorne ; Diego Calvanese
SBVR's Approach'to Controlled Natural Language / Silvie Spreeuwenberg ; Keri Anderson Healy
Tools and Applications
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts / Marcos Cramer ; Bernhard Fisseni ; Peter Koepke ; Daniel Kühlwein ; Bernhard Schröder ; Jip Veldman
On Designing Controlled Natural Languages for Semantic Annotation / Brian Davis ; Pradeep Dantuluri ; Laura Dragan ; Siegfried Handschuh ; Hamish Cunningham
Development of a Controlled Natural Language Interface for Semantic MediaWiki / Paul R. Smart ; Jie Bao ; Dave Braines ; Nigel R. Shadbolt
A Controlled Language for the Specification of Contracts / Gordon J. Pace ; Michael Rosner
Rabbit to OWL: Ontology Authoring with a CNL-Based Tool / Ronald Denaux ; Vania Dimitrova ; Anthony G. Cohn
Writing Clinical Practice Guidelines in Controlled Natural Language / Richard N. Shiffman ; George Michel ; Michael Krauthammer ; Norbert E. Fuchs ; Kaarel Kaljurand
What Are Controlled Natural Languages?
On Controlled Natural Languages: Properties and Prospects / Adam Wyner ; Danica Damljanovic ; Norbert Fuchs ; Stefan Hoefler ; Ken Jones ; Martin Luts ; Jonathan Pool ; Mike Rosner ; John Sowa
Author Index
Language Aspects
An Evaluation Framework for Controlled Natural Languages / Tobias Kuhn
Rhetorical Compositions for Controlled Natural Languages / Andrew Potter
Using Tag Clouds to Promote Community Awareness in Research Environments / Alexandre de Spindler ; Stefania Leone ; Matthias Geel ; Moira C. Norrie
A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context / Fernando Gallego ; Ana I. Molina ; Crescencio Bravo ; William J. Giraldo
Fixing Collaborative Edition on Typed Documents / Stéphane Martin ; Denis Lugiez
Towards the Construction of a Knowledge Building Environment / Ruth Cobos ; Raúl Cajias ; Linda Barros ; Marcos R.S. Borges
Applying Situation Awareness Approach to Cooperative Play in Interactive Installation Storytelling System / Wen-Hwa Cheng ; Chich-Jen Shieh ; Yung-Hoh Sheu ; Hsiao-Chuan Chang
Argumentation Tools in a Collaborative Development Environment / Furio Belgiorno ; Ilaria Manno ; Giuseppina Palmieri ; Vittorio Scarano
Cooperative Learning by Replay Files in Real-Time Strategy Game / Jaekwang Kim ; Kwang Ho Yoon ; Taebok Yoon ; Jee-Hyong Lee
Memory and Creativity in Cooperative vs. Non-cooperative Spatial Planning and Architecture / Dino Borri ; Domenico Camarda ; Rossella Stufano
An Embedded Road Crack Detection System in a Cooperative Platform / Zhenyu Ning ; Yu Sun ; Guofeng Qin ; Qiyan Li
Saving Energy with Cooperative Group-Based Wireless Sensor Networks / Miguel Garcia ; Sandra Sendra ; Jaime Lloret ; Raquel Lacuesta
Enhancing Collaboration in Vehicular Networks / J. Molina-Gil ; P. Caballero-Gil ; C. Caballero-Gil
Initial Risk Assessment of Emergency Events in Cooperative Operating Control / Mieczyslaw Metzger ; Grzegorz Polaków
The Sensitivity Analysis for Cooperative Decision by TOPSIS Method / Leonas Ustinovichius ; Ruta Simanaviciene
A Freshness Based Persistent Assurance Scheme for Secure Scalable Media Distribution / Yong-Hyuk Moon ; Jae-Hoon Nah ; Chan-Hyun Youn
Cooperative Decision Making for Evaluating Ports' Reception Facilities / Sylvia Encheva ; Sharil Tumin
Group Formation through Cooperating Node in VANETs
Scrum in Research / Martin Ota
Towards a Framework for the Development of CSCW Systems / Sergio López Antonaya ; Crescendo Bravo Santos
Cooperative Design / Part II：
An Anthropo-Based Study of Industrial Design Cooperative Practices Using "Mediating Objects" / Catherine Elsen ; Arnaud Dawans ; Pierre Leclercq
Design for Service-Oriented Collaborative Design and Manufacturing Platform / Feng Wang ; Shuangxi Huang ; Hui Liang ; Yingfeng Zhang ; Huiping Lin
Cluster Analysis for Classifying Similar Shared Resources in Cooperative Design / Huifen Wang ; Li Qiao ; Tingting Liu
Parametric CAD Data Exchange Using Geometry-Based Neutral Macro File / Ilhwna Song ; Soonhung Han
Study of Collaborative Design Based on Fuzzy Theory / Tieming Su ; Xinpeng Qiu ; Chunyan Yang
Technological Change: Educating for Extreme Collaboration / Vasilije Kokotovich ; Tom Barker
Team Organization and Web-Based Project Management for Collaborative Highway Design / Zhiqiang Zhang ; Xiaodong Zhang ; Yingzi Li ; Cancan Zhao
Taking the Customer into Account in Collaborative Design / Maria-Jesus Agost ; Margarita Vergara
Cooperative Visualization / Part III：
Multi-user Multi-touch Setups for Collaborative Learning in an Educational Setting / Jan Schneider ; Jan Derboven ; Kris Luyten ; Chris Vleugels ; Stijn Bannier ; Dries De Roeck ; Mathijs Verstraete
Explore, Collaborate and Publish Official Statistics for Measuring Regional Progress / Mikael Jern
Pattern Browsing and Query Adjustment for the Exploratory Analysis and Cooperative Visualisation of Microarray Time-Course Data / Paul Craig ; Alan Cannon ; Jessie Kennedy ; Robert Kukla
CAD and VR Technologies Used in Civil Engineering Education / A.Z. Sampaio ; M.M. Ferreira ; D.P. Rosário ; O.P. Martins
Complicated Simulation Visualization Based on Grid and Cloud Computing / Eva Pajorová ; Ladislav Hluchý
Visualization of Neutral Model of Ship Pipe System Using X3D / Ikjune Kim ; Guimok Cho ; Jinsang Hwang ; Jinggao Li
Cooperative Engineering / Part IV：
Coordinating a Cooperative Automotive Manufacturing Network - An Agent-Based Model / Jose P. Garcia-Sabater ; Juan A. Marin-Garcia ; Xavier Puig-Bernabeu
A Constraint Solving Method for Collaborative Product Development / Zhaoying Zhang
A Solution of Manufacturing Resources Sharing in Cloud Computing Environment / Lei Wu ; Chengwei Yang
Cluster Analysis on Candidates of Cooperative Product Development Team / Yitai Xu ; Xuedong Gao ; Ying Wang ; Lin Wei
Collaboration Support in a Web-Based SCADA System
Collaborative Control of Hierarchical System Based on JADE / Dariusz Choinski ; Michal Senik
Requirement Specification for Agent-Based Cooperative Control of Dynamical Systems / Witold Nocon
Web Engineering Process Matrix for Sustainable Deployment of Web-Based Applications
Collaborative and Visualized Safety Planning for Construction Performed at High Elevation / Nobuyoshi Yabuki ; Petcharat Limsupreeyarat ; Tanit Tongthong
Product Precision Information Modeling under Cooperative Virtual Assembly Environment / Fengqiang Nan ; Juntang Yuan
Task Scheduling of Collaborative Product Design Project / Le Luo ; Shuo Zhang
Author Index
Cooperative Applications / Part I：
Using Tag Clouds to Promote Community Awareness in Research Environments / Alexandre de Spindler ; Stefania Leone ; Matthias Geel ; Moira C. Norrie
A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context / Fernando Gallego ; Ana I. Molina ; Crescencio Bravo ; William J. Giraldo
Development of Information Security-Focused Incident Prevention Measures for Critical Information Infrastructure in Japan / Hideaki Kobayashi ; Kenji Watanabe ; Takahito Watanabe ; Yukinobu Nagayasu
Design of a Mobile Agent-Based Adaptive Communication Middleware for Federations of Critical Infrastructure Simulations / Gökçe Görbil ; Erol Gelenbe
An Alternate Topology Generator for Joint Study of Power Grids and Communication Networks / Alpha Amadou Diallo ; Claude Chaudet
Trouble Brewing: Using Observations of Invariant Behavior to Detect Malicious Agency in Distributed Control Systems / Thomas Richard McEvoy ; Stephen D. Wolthusen
Optimisation of Critical Infrastructure Protection: The SiVe Project on Airport Security / Marcus Breiing ; Mara Cole ; John D'Avanzo ; Gebhard Geiger ; Sascha Goldner ; Andreas Kuhlmann ; Claudia Lorenz ; Alf Papproth ; Erhard Petzel ; Oliver Schwetje
Cyber-Critical Infrastructure Protection Using Real-Time Payload-Based Anomaly Detection / Patrick Düssel ; Christian Gehl ; Pavel Laskov ; Jens-Uwe Bu?er ; Christof Störmann ; Jan Kästner
Decision Aid Tool and Ontology-Based Reasoning for Critical Infrastructure Vulnerabilities and Threats Analysis / Michal Choras ; Adam Flizikowski ; Rafal Kozik ; Witold Holubowicz
Application Filters for TCP/IP Industrial Automation Protocols / Aguinaldo B. Batista Jr. ; Tiago H. Kobayashi ; João Paulo S. Medeiros ; Agostinho M. Brito Jr. ; Paulo S. Motta Pires
Web Browser Security Update Effectiveness / Thomas Duebendorfer ; Stefan Frei
State-Based Network Intrusion Detection Systems for SCADA Protocols: A Proof of Concept / Andrea Carcano ; Igor Nai Fovino ; Marcelo Masera ; Alberto Trombetta
Towards Early Warning Systems - Challenges, Technologies and Architecture / Martin Apel ; Joachim Biskup ; Ulrich Flegel ; Michael Meier
CII Protection - Lessons for Developing Countries: South Africa as a Case Study / Mboneli Ndlangisa ; Deon Herbst
Energy Theft in the Advanced Metering Infrastructure / Stephen McLaughlin ; Dmitry Podkuiko ; Patrick McDaniel
Current Capabilities, Requirements and a Proposed Strategy for Interdependency Analysis in the UK / Robin Bloomfield ; Nick Chozos ; Kizito Salako
Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure / Lubos Buzna ; Peter Popov ; David Wright
Author Index
On Modelling of Inter-dependent Network Infrastructures by Extended Leontief Models / Gregorio D'Agostino ; Roberto Cannata ; Vittorio Rosato
Development of Information Security-Focused Incident Prevention Measures for Critical Information Infrastructure in Japan / Hideaki Kobayashi ; Kenji Watanabe ; Takahito Watanabe ; Yukinobu Nagayasu
QUARK: A Lightweight Hash / Jean-Philippe Aumasson ; Luca Henzen ; Willi Meier ; Maria Naya-Plasencia
PRINTcipher: A Block Cipher for IC-Printing / Lars Knudsen ; Gregor Leander ; Axel Poschmann ; Matthew J.B. Robshaw
Sponge-Based Pseudo-Random Number Generators / Guido Bertoni ; Joan Daemen ; Michaël Peeters ; Gilles Van Assche
Efficient Implementations I
A High Speed Coprocessor for Elliptic Curve Scalar Multiplications over &$$$; / Nicolas Guillermin
Co-Z Addition Formulæ and Binary Ladders on Elliptic Curves / Raveen R. Goundar ; Marc Joye ; Atsuko Miyaji
Efficient Techniques for High-Speed Elliptic Curve Cryptography / Patrick Longa ; Catherine Gebotys
Side-Channel Attacks and Countermeasures I
Analysis and Improvement of the Random Delay Countermeasure of CHES 2009 / Jean-Sébastien Coron ; Ilya Kizhvatov
New Results on Instruction Cache Attacks / Onur Aciiçmez ; Billy Bob Brumley ; Philipp Grabher
Correlation-Enhanced Power Analysis Collision Attack / Amir Moradi ; Oliver Mischke ; Thomas Eisenbarth
Side-Channel Analysis of Six SHA-3 Candidates / Olivier Benoît ; Thomas Peyrin
Tamper Resistance and Hardware Trojans
Flash Memory 'Bumping' Attacks / Sergei Skorobogatov
Self-referencing: A Scalable Side-Channel Approach for Hardware Trojan Detection / Dongdong Du ; Seetharam Narasimhan ; Rajat Subhra Chakraborty ; Swarup Bhunia
When Failure Analysis Meets Side-Channel Attacks / Jerome Di-Battista ; Jean-Christophe Courrege ; Bruno Rouzeyre ; Lionel Torres ; Philippe Perdu
Efficient Implementations II
Fast Exhaustive Search for Polynomial Systems in &$$$; / Charles Bouillaguet ; Hsieh-Chung Chen ; Chen-Mou Cheng ; Tung Chou ; Ruben Niederhagen ; Adi Shamir ; Bo-Yin Yang
256 Bit Standardized Crypto for 650 GE - GOST Revisited / San Ling ; Huaxiong Wang
Mixed Bases for Efficient Inversion in &$$$; and Conversion Matrices of SubBytes of AES / Yasuyuki Nogami ; Kenta Nekado ; Tetsumi Toyota ; Naoto Hongo ; Yoshitaka Morikawa
SHA-3
Developing a Hardware Evaluation Method for SHA-3 Candidates / Pietro Gendotti ; Patrice Guillet ; Enrico Pargaetzi ; Martin Zoller ; Frank K. Gürkaynak
Fair and Comprehensive Methodology for Comparing Hardware Performance of Fourteen Round Two SHA-3 Candidates Using FPGAs / Kris Gaj ; Ekawat Homsirikamol ; Marcin Rogawski
Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures / Joppe W. Bos ; Deian Stefan
XBX: eXternal Benchmarking eXtension for the SUPERCOP Crypto Benchmarking Framework / Christian Wenzel-Benner ; Jens Gräf
Fault Attacks and Countermeasures
Public Key Perturbation of Randomized RSA Implementations / Alexandre Berzati ; Cécile Canovas-Dumas ; Louis Goubin
An Alternative to Error Correction for SRAM-Like PUFs / Maximilian Hofer ; Christoph Boehm
New High Entropy Element for FPGA Based True Random Number Generators / Michal Varchola ; Milos Drutarousky
The Glitch PUF: A New Delay-PUF Architecture Exploiting Glitch Shapes / Daisuke Suzuki ; Koichi Shimizu
New Designs
Garbled Circuits for Leakage-Resilience: Hardware Implementation and Evaluation of One-Time Programs / Kimmo Järvinen ; Vladimir Kolesnikov ; Ahmad-Reza Sadeghi ; Thomas Schneider
ARMADILLO: A Multi-purpose Cryptographic Primitive Dedicated to Hardware / Stéphane Badel ; Nilay Dagtekin ; Jorge Nakahara Jr. ; Khaled Ouafi ; Nicolas Reffé ; Pouyan Sepehrdad ; Petr Sušil ; Serge Vaudenay
Hesitation in Intercultural Communication: Some Observations and Analyses on Interpreting Shoulder Shrugging / Kristiina Jokinen ; Jens Allwood
A Socio-Cultural Model Based on Empirical Data of Cultural and Social Relationships / Afia Akhter Lipi ; Yukiko Nakano ; Matthias Rehm
Dynamic Term Suggestion for Searching Multilingual School Documents / Kohei Sawa ; Yusuke Okano ; Masahiro Hori ; Chigusa Kita
Intercultural Collaboration Support System Using Disaster Safety Map and Machine Translation / Yoshiyasu Ikeda ; Yosuke Yoshioka ; Yasuhiko Kitamura
Development of a Multilingual Translation Service for Interpretations and Usage Examples of Mobile Phone Pictograms / Seiya Tanaka ; Aika Nakakubo ; Momoki Kimura ; Kazuya Takeda
Culture and Computing for Art and Heritage
Cultural Computing - Creative Power Integrating Culture, Unconsciousness and Software / Naoko Tosa
Logos, Pathos, and Entertainment / Ryohei Nakatsu
Digital Conservation of Cultural Assets / Yoshihiro Okada ; Tetsuo Shoji
Automatic Knowledge Acquisition from Historical Document Archives: Historiographical Perspective / Katsumi Tanaka ; Adam Jatowt
Culture and Computing in Regional Communities
Virtual Kyoto Project: Digital Diorama of the Past, Present, and Future of the Historical City of Kyoto / Tomoki Nakaya ; Keiji Yano ; Yuzuru Isoda ; Tatsunori Kawasumi ; Yutaka Takase ; Takashi Kirimura ; Akihiro Tsukamoto ; Ayako Matsumoto ; Toshikazu Seto|cTakafusa Iizuka
A Platform for Mining and Visualizing Regional Collective Culture / Shin Ohno ; Shinya Saito ; Mitsuyuki Inaba
A Web Strategy for Cultural Inheritance Centered on Agriculture Case Study Approach: The Olive Project in Shodoshima Japan / Takashi Togami ; Yoshitaka Motonaga ; Ryoei Ito ; Atsushi Hashimoto ; Takaharu Kameoka ; Tsuyoshi Nakamoto
Area Informatics - Concept and Status / Shoichiro Hara
Author Index
Culturally Situated Agents
Using Immersive Simulations to Develop Intercultural Competence / W. Lewis Johnson
Cross-Cultural Study on Facial Regions as Cues to Recognize Emotions of Virtual Agents / Tomoko Koda ; Zsofia Ruttkay ; Yuka Nakagawa ; Kyota Tabuchi
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
Improving Efficiency of 3-SAT-Solving Tile Systems / Yuriy Brun
Optimizing Tile Concentrations to Minimize Errors and Time for DNA Tile Self-assembly Systems / Ho-Lin Chen ; Ming-Yang Kao
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement / Ehsan Chiniforooshan ; David Doty ; Lila Kari ; Shinnosuke Seki
Negative Interactions in Irreversible Self-assembly / Benoît Masson
Search and Validation of Short Genome-Wide Biomarkers for Bacterial Biological Phylogenies / Max H. Garzon ; Tit-Yee Wong
High-Fidelity DNA Hybridization Using Programmable Molecular DNA Devices / Nikhil Gopalkrishnan ; Harish Chandran ; John Reif
Synthesizing Minimal Tile Sets for Patterned DNA Self-assembly / Mika Göös ; Pekka Orponen
Operation of a DNA-Based Autocatalytic Network in Serum / Elton Graugnard ; Amber Cox ; Jeunghoon Lee ; Cheryl Jorcyk ; Bernard Yurke ; William L. Hughes
Design of a Functional Nanomaterial with Recognition Ability for Constructing Light-Driven Nanodevices / Xingguo Liang ; Toshio Mochizuki ; Taiga Fujii ; Hiromu Kashida ; Hiroyuki Asanuma
Efficient Turing-Universal Computation with DNA Polymers / Lulu Qian ; David Soloveichik ; Erik Winfree
Reversible Transition of Photonic DNA Automaton Using Hairpin-DNA Responding to a Single Kind of Photonic Signal / Hiroto Sakai ; Yusuke Ogura ; Jun Tanida
Simple Evolution of Complex Crystal Species / Rebecca Schulman
Towards Domain-Based Sequence Design for DNA Strand Displacement Reactions / David Yu Zhang
DNA-Based Fixed Gain Amplifiers and Linear Classifier Circuits / Georg Seelig
Author Index
Improving Efficiency of 3-SAT-Solving Tile Systems / Yuriy Brun
Optimizing Tile Concentrations to Minimize Errors and Time for DNA Tile Self-assembly Systems / Ho-Lin Chen ; Ming-Yang Kao
Scalable, Time-Responsive, Digital, Energy-Efficient Molecular Circuits Using DNA Strand Displacement / Ehsan Chiniforooshan ; David Doty ; Lila Kari ; Shinnosuke Seki
Provenance Management for Data Exploration / Juliana Freire
High-Performance Systems for in Silico Microscopy Imaging Studies / Fusheng Wang ; Tahsin Kurc ; Patrick Widener ; Tony Pan ; Jun Kong ; Lee Cooper ; David Gutman ; Ashish Sharma ; Sharath Cholleti ; Vijay Kumar ; Joel Saltz
Ontology Engineering
Discovering Evolving Regions in Life Science Ontologies / Michael Hartung ; Anika Gross ; Toralf Kirsten ; Erhard Rahm
On Matching Large Life Science Ontologies in Parallel
A System for Debugging Missing Is-a Structure in Networked Ontologies / Qiang Liu ; Patrick Lambrix
Web Services
On the Secure Sharing and Aggregation of Data to Support Systems Biology Research / Andrew Simpson ; Mark Slaymaker ; David Gavaghan
Helping Biologists Effectively Build Workflows, without Programming / Paul M.K. Gordon ; Ken Barker ; Christoph W. Sensen
The Cinderella of Biological Data Integration: Addressing Some of the Challenges of Entity and Relationship Mining from Patent Sources / Ithipol Suriyawongkul ; Christopher Southan ; Sorel Muresan
Algorithm for Grounding Mutation Mentions from Text to Protein Sequences / Jonas Bergman Laurila ; Rajaraman Kanagasabai ; Christopher J.O. Baker
Handling Missing Features with Boosting Algorithms for Protein-Protein Interaction Prediction / Fabrizio Smeraldi ; Michael Defoin-Platel ; Mansoor Saqi
Instance Discovery and Schema Matching with Applications to Biological Deep Web Data Integration / Tantan Liu ; Fan Wang ; Gagan Agrawal
Information Management
Integrative Information Management for Systems Biology / Neil Swainston ; Daniel Jameson ; Peter Li ; Irena Spasic ; Pedro Mendes ; Norman W. Paton
An Integration Architecture Designed to Deal with the Issues of Biological Scope, Scale and Complexity / Hector Rovira ; Sarah Killcoyne ; Ilya Shmulevich ; John Boyle
Quality Assessment of MAGE-ML Genomic Datasets Using DescribeX / Lorena Etcheverry ; Shahan Khatchadourian ; Mariano Consens
Search Computing: Integrating Ranked Data in the Life Sciences / Marco Masseroli ; Giorgio Ghisalberti
Author Index
Invited Talks
Provenance Management for Data Exploration / Juliana Freire
High-Performance Systems for in Silico Microscopy Imaging Studies / Fusheng Wang ; Tahsin Kurc ; Patrick Widener ; Tony Pan ; Jun Kong ; Lee Cooper ; David Gutman ; Ashish Sharma ; Sharath Cholleti ; Vijay Kumar ; Joel Saltz
Data Warehouse Modeling and Spatial Data Warehouses
Logic Programming for Data Warehouse Conceptual Schema Validation / Carlo dell'Aquila ; Francesco Di Tria ; Ezio Lefons ; Filippo Tangorra
A Model-Driven Heuristic Approach for Detecting Multidimensional Facts in Relational Data Sources / Andrea Carmè ; Jose-Norberto Mazón ; Stefano Rizzi
Physical Design and Implementation of Spatial Data Warehouses Supporting Continuous Fields / Leticia Gómez ; Alejandro Vaisman ; Esteban Zimányi
Benchmarking Spatial Data Warehouses / Thiago Luís Lopes Siqueira ; Ricardo Rodrigues Ciferri ; Valéria Cesário Times ; Cristina Dutra de Aguiar Ciferri
Mining Social Networks and Graphs
Discovering Community-Oriented Roles of Nodes in a Social Network / Bin-Hui Chou ; Einoshin Suzuki
A Graph-Based Clustering Scheme for Identifying Related Tags in Folksonomies / Symeon Papadopoulos ; Yiannis Kompatsiaris ; Athena Vakali
Frequent Sub-graph Mining on Edge Weighted Graphs / Chuntao Jiang ; Frans Coenen ; Michele Zito
Physical Data Warehouse Design
F&A: A Methodology for Effectively and Efficiently Designing Parallel Relational Data Warehouses on Heterogenous Database Clusters / Ladjel Bellatreche ; Alfredo Cuzzocrea ; Soumia Benkrid
Yet Another Algorithms for Selecting Bitmap Join Indexes / Kamel Boukhalfa
Speeding Up Queries in Column Stores: A Case for Compression / Christian Lemke ; Kai-Uwe Sattler ; Franz Faerber ; Alexander Zeier
Dependency Mining
Mining Non-redundant Information-Theoretic Dependencies between Itemsets / Michael Mampaey
Discovery and Application of Functional Dependencies in Conjunctive Query Mining / Bart Goethals ; Dominique Laurent ; Wim Le Page
Using Transitivity to Increase the Accuracy of Sample-Based Pearson Correlation Coefficients / Taylor Phillips ; Chris GauthierDickey ; Ramki Thurimella
Business Intelligence and Analytics
The NOX Framework: Native Language Queries for Business Intelligence Applications / Todd Eavis ; Hiba Tabbara ; Ahmad Taleb
Experience in Extending Query Engine for Continuous Analytics / Qiming Chen ; Meichun Hsu
Development of a Business Intelligence Environment for e-Gov Using Open Source Technologies / Eduardo Zanoni Marques ; Rodrigo Sanches Miani ; Everton Luiz de Almeida Gago Júnior ; Leonardo de Souza Mendes
Outlier and Image Mining
A Fast Randomized Method for Local Density-Based Outlier Detection in High Dimensional Data / Minh Quoc Nguyen ; Edward Omiecinski ; Leo Mark ; Danesh Irani
HookScout: Proactive Binary-Centric Hook Detection / Heng Yin ; Pongsin Poosankam ; Steve Hanna ; Dawn Song
Conqueror: Tamper-Proof Code Execution on Legacy Systems / Lorenzo Martignoni ; Roberto Paleari ; Danilo Bruschi
dAnubis - Dynamic Device Driver Analysis Baaed on Virtual Machine Introspection / Matthias Neugschwandtner ; Christian Platzer ; Paolo Milani Comparetti ; Ulrich Bayer
Trends
Evaluating Bluetooth as a Medium for Botnet Command and Control / Kapil Singh ; Samrit Sangal ; Nehil Jain ; Patrick Traynor ; Wenke Lee
Take a Deep Breath: A Stealthy, Resilient and Cost-Effective Botnet Using Skype / Antonio Nappa ; Aristide Fattori ; Marco Balduzzi ; Matteo Dell'Amico ; Lorenzo Cavallaro
An Extensible Framework for Dynamic Market-Based Service Selection and Business Process Execution / Ante Vilenica ; Kristof Hamann ; Winfried Lamersdorf ; Jan Sudeikat ; Wolfgang Renz
Beddernet: Application-Level Platform-Agnostic Manets / Rasmus Sidorovs Gohs ; Sigurður Rafn Gunnarsson ; Arne John Glenstrup
The Role of Ontologies in Enabling Dynamic Interoperability / Vatsala Nundloll ; Paul Grace ; Gordon S. Blair
A Step towards Making Local and Remote Desktop Applications Interoperable with High-Resolution Tiled Display Walls / Tor-Magne Stien Hagen ; Daniel Stødle ; John Markus Bjørndalen ; Otto Anshus
Replica Placement in Peer-Assisted Clouds: An Economic Approach / Ahmed Ali-Eldin ; Sameh El-Ansary
A Correlation-Aware Data Placement Strategy for Key-Value Stores / Ricardo Vilaça ; Rui Oliveira
Experience Report: Trading Dependability, Performance, Security through Temporal Decoupling / Lorenz Froihofer ; Guenther Starnberger ; Karl M. Goeschka
Cooperative Repair of Wireless Broadcasts / Aaron Harwood ; Spyros Voulgaris ; Maarten van Steen
ScoreTree: A Decentralised Framework for Credibility Management of User-Generated Content / Yang Liao ; Kotagiri Ramaraohanarao
Worldwide Consensus / Francisco Maia ; Miguel Matos
Transparent Scalability with Clustering for Java e-Science Applications / Pedro Sampaio ; Paulo Ferreira ; LuÃs Veiga
CassMail: A Scalable, Highly-Available, and Rapidly-Prototyped E-Mail Service / Lazaros Koromilas ; Kostas Magoutis
Transparent Adaptation of e-Science Applications for Parallel and Cycle-Sharing Infrastructures / João Morais ; João Nuno Silva
Author Index
Gozar: NAT-friendly Peer Sampling with One-Hop Distributed NAT Traversal / Amir H. Payberah ; Jim Dowling ; Seif Haridi
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators / John Ardelius ; Boris MejÃas
Usurp: Distributed NAT Traversal for Overlay Networks / Salman Niazi
Network-Aware Distributed Algorithms: Challenges and Opportunities in Wireless Networks (Invited Lecture Summary) / Nitin Vaidya
Connectivity Problem in Wireless Networks / Mariusz A. Rokicki
Computing in Wireless and Mobile Networks (Session 3b)
Trusted Computing for Fault-Prone Wireless Networks
Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony / Antonio Fernández Anta ; Miguel A. Mosteiro ; Shmuel Zaks
Brief Announcements III (Session 3c)
Failure Detectors Encapsulate Fairness / Scott M. Pike ; Srikanth Sastry ; Jennifer L. Welch
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study / Francesco Alberti ; Silvio Ghilardi ; Elena Pagani ; Silvio Ranise ; Gian Paolo Rossi
On Reversible and Irreversible Conversions / Mitre C. Dourado ; Lucia Draque Penso ; Dieter Rautenbach ; Jayme L. Szwarcfiter
A Decentralized Algorithm for Distributed Trigger Counting / Venkatesan T. Chakaravarthy ; Anamitra R. Choudhury ; Vijay K. Garg ; Yogish Sabharwal
Flash-Log - A High Throughput Log / Mahesh Balakrishnan ; Philip A. Bernstein ; Vijayan Prabhakaran ; Colin Reid
New Bounds for Partially Synchronous Set Agreement / Corentin Travers
Modeling Issues and Adversity (Session 3d)
It's on Me! The Benefit of Altruism in BAR Environments / Edmund L. Wong ; Joshua B. Leners ; Lorenzo Alvisi
Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems / Ido Ben-Zvi ; Yoram Moses
On the Power of Non-spoofing Adversaries / H.B. Acharya ; Mohamed Gouda
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Self-stabilizing and Graph Algortihms (Session 3e)
Low Communication Self-stabilization through Randomization / Shay Kutten ; Dmitry Zinenko
Fast Self-stabilizing Minimum Spanning Tree Construction: Using Compact Nearest Common Ancestor Labeling Scheme / Shlomi Dolev ; Maria Gradinariu Potop-Butucaru ; Stephane Rovedakis
The Impact of Topology on Byzantine Containment in Stabilization / Swan Dubois ; Toshimitsu Masuzawa
Minimum Dominating Set Approximation in Graphs of Bounded Arboricity / Christoph Lenzen
Brief Announcements IV (Session 3f)
Sharing Memory in a Self-stabilizing Manner / Noga Alon ; Maria Gradinariu
Stabilizing Consensus with the Power of Two Choices / Benjamin Doerr ; Leslie Ann Goldberg ; Lorenz Minder ; Thomas Sauerwald
Author Index
The 2010 Edsger W. Dijkstra Prize in Distributed Computing
Consensus (Session la) / Invited Lecture I：
The Power of Abstraction (Invited Lecture Abstract) / Barbara Liskov
Maintaining Coherent Views over Dynamic Distributed Data / Krithi Ramamritham
Malware: From Modelling to Practical Detection / R. K. Shyamasundar ; Harshit Shah ; N. V. Narendra Kumar
Semantic Frameworks--Meanings in the Architecture / Jim Davies ; Jeremy Gibbons
Networking / Section 2：
Fuzzy-Controlled Source-Initiated Multicasting (FSIM) in Ad Hoc Networks / Anuradha Banerjee ; Paramartha Dutta
On Optimal Space Tessellation with Deterministic Deployment for Coverage in Three-Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M. M. Gore
Seamless Handoff between IEEE 802.11 and GPRS Networks / Dhananjay Kotwal ; Maushumi Barooah ; Sukumar Nandi
A Tool to Determine Strategic Location and Ranges of Nodes for Optimum Deployment of Wireless Sensor Network / Amrit Kumar ; Mukul Kumar ; Kumar Padmanabh
An Efficient Hybrid Data-Gathering Scheme in Wireless Sensor Networks / Ayon Chakraborty ; Swarup Kumar Mitra ; M. K. Naskar
Grid Computing and Web Services / Section 3：
Introducing Dynamic Ranking on Web Pages Based on Multiple Ontology Supported Domains / Debajyoti Mukhopadhyay ; Anirban Kundu ; Sukanta Sinha
Multi-criteria Service Selection with Optimal Stopping in Dynamic Service-Oriented Systems / Oliver Skroch
Template-Based Process Abstraction for Reusable Inter-organizational Applications in RESTful Architecture / Cheng Zhu ; Hao Yu ; Hongming Cai ; Boyi Xu
Enhancing the Hierarchical Clustering Mechanism of Storing Resources' Security Policies in a Grid Authorization System / Mustafa Kaiiali ; Rajeev Wankar ; C.R. Rao ; Arun Agarwal
A Framework for Web-Based Negotiation / Hrushikesha Mohanty ; Rajesh Kurra ; R.K. Shyamasundar
Internet Technology and Distributed Computing / Section 4：
Performance Analysis of a Renewal Input Bulk Service Queue with Accessible and Non-accessible Batches / Yesuf Obsie Mussa ; P. Vijaya Laxmi
A Distributed Algorithm for Pattern Formation by Autonomous Robots, with No Agreement on Coordinate Compass / Swapnil Ghike ; Krishnendu Mukhopadhyaya
Gathering Asynchronous Transparent Fat Robots / Sruti Gan Chaudhuri
Development of Generalized HPC Simulator / W. Hurst ; S. Ramaswamy ; R. Lenin ; D. Hoffman
Performance Analysis of Finite Buffer Queueing System with Multiple Heterogeneous Servers / C. Misra ; P. K. Swain
Finite Buffer Controllable Single and Batch Service Queues / J.R. Mohanty
Enhanced Search in Peer-to-Peer Networks Using Fuzzy Logic / Sirish Kumar Balaga ; K. Haribabu ; Chittaranjan Hota
Software Engineering: Secured Systems / Section 5：
UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams / Jayeeta Chanda ; Ananya Kanjilal ; Sabnam Sengupta
Evolution of Hyperelliptic Curve Cryptosystems / Kakali Chatterjee ; Daya Gupta
Reliability Improvement Baaed on Prioritization of Source Code / Mitrabinda Ray ; Durga Prasad Mohapatra
Secure Dynamic Identity-Based Remote User Authentication Scheme / Sandeep K. Sood ; Anil K. Sarje ; Kuldip Singh
Theoretical Notes on Regular Graphs as Applied to Optimal Network Design / Sanket Patil ; Srinath Srinivasa
Formal Approaches to Location Management in Mobile Communications / Juanhua Kong ; Qin Li ; Huibiao Zhu ; Wenjuan Wu
Automated Test Scenario Selection Based on Levenshtein Distance / Sapna P.G
Societal Applications / Section 6：
Study of Diffusion Models in an Academic Social Network / Vasavi Junapudi ; Gauri K. Udgata ; Siba K. Udgata
First Advisory and Real-Time Health Surveillance to Reduce Maternal Mortality Using Mobile Technology / Satya Swarup Samal ; Arunav Mishra ; Sidheswar Samal ; J.K. Pattnaik ; Prachet Bhuyan
Author Index
Invited Papers / Section 1：
Transactional Memory Today / Maurice Herlihy
Maintaining Coherent Views over Dynamic Distributed Data / Krithi Ramamritham
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
Computations and Interaction / Jos C. M. Baeten ; Bas Luttik ; Paul van Tilburg
Scribbling Interactions with a Formal Foundation / Kohei Honda ; Aybek Mukhamedov ; Gary Brown ; Tzu-Chun Chen ; Nobuko Yoshida
Open Government in Policy Development: From Collaborative Scenario Texts to Formal Policy Models / Maria A. Wimmer
Linear Process Algebra / Vaughan Pratt
Distributed Computing
Jump-Start Cloud: Efficient Deployment Framework for Large-Scale Cloud Applications / Xiaoxin Wu ; Zhiming Shen ; Ryan Wu ; Yunfeng Lin
Capacity Estimation in HPC Systems: Simulation Approach / A. Anghelescu ; R.B. Lenin ; S. Ramaswamy ; K. Yoshigoe
A Multi-Granular Lock Model for Distributed Object Oriented Databases Using Semantics / V. Geetha ; N. Sreenath
Contention-Free Many-to-Many Communication Scheduling for High Performance Clusters / Satyajit Banerjee ; Atish Datta Chowdhury ; Koushik Sinha ; Subhas Kumar Ghosh
Recursive Competitive Equilibrium Approach for Dynamic Load Balancing a Distributed System / K. Shahu Chatrapati ; J. Ujwala Rekha ; A. Vinaya Babu
Sensor Networks
Smoothed Functional and Quasi-Newton Algorithms for Routing in Multi-stage Queueing Network with Constraints / K. Lakshmanan ; Shalabh Bhatnagar
An Incremental Power Greedy Heuristic for Strong Minimum Energy Topology in Wireless Sensor Networks / B.S. Panda ; D. Pushparaj Shetty
kth Order Geometric Spanners for Wireless Ad Hoc Networks / Prabhat Kiran ; S.V. Rao
Robust and Distributed Range-Free Localization Using Anchor Nodes with Varying Communication Range for Three Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M.M. Gore
Internet Technologies and Applications
Decision Support Web Service / N. Parimala ; Anu Saini
A Scalable Architecture for Real-Time Online Data Access / Ionut Rosoiu
Socially Responsive Resource Usage: A Protocol / Hrushikesha Mohanty
An Automated HSV Based Text Tracking System from Complex Color Video / C. Misra ; P.K. Swain
Security
Enhanced Insider Threat Detection Model that Increases Data Availability / Qussai Yaseen ; Brajendra Panda
Checking Anonymity Levels for Anonymized Data / V. Valli Kumari ; N. Sandeep Varma ; A. Sri Krishna ; K.V. Ramana ; K.V.S. V.N. Raju
Chaos Based Image Encryption Scheme Based on Enhanced Logistic Map / I. Shatheesh Sam ; P. Devaraj ; R.S. Bhuvaneswaran
Bio-inspired Computing
Matrix Insertion-Deletion Systems for Bio-Molecular Structures / Lakshmanan Kuppusamy ; Anand Mahendran
Artificial Bee Colony Based Sensor Deployment Algorithm for Target Coverage Problem in 3-D Terrain / S. Mini ; Siba K. Udgata ; Samrat L. Sabat
Author Index
Invited Talks
An Overview of Membrane Computing / Shankara Narayanan Krishna
Protecting Critical Infrastructures While Preserving Each Organization's Autonomy / Yves Deswarte
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
Collective Exposure: Peer Effects in Voluntary Disclosure of Personal Data / Rainer Böhme ; Stefanie Pötzsch
It's All about the Benjamins: An Empirical Study on Incentivizing Users to Ignore Security Advice / Nicolas Christin ; Serge Egelman ; Timothy Vidas ; Jens Grossklags
Evaluating the Privacy Risk of Location-Based Services / Julien Freudiger ; Reza Shokri ; Jean-Pierre Hubaux
Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance / Jeremy Clark ; Urs Hengartner
Malice versus AN.ON: Possible Risks of Missing Replay and Integrity Protection / Benedikt Westermann ; Dogan Kesdogan
Absolute Pwnage: A Short Paper about the Security Risks of Remote Administration Tools / Jay Novak ; Jonathan Stribley ; Kenneth Meagher ; J. Alex Halderman
A Protocol for Anonymously Establishing Digital Provenance in Reseller Chains (Short Paper) / Ben Palmer ; Kris Bubendorfer ; Ian Welch
Impeding Individual User Profiling in Shopper Loyalty Programs / Philip Marquardt ; David Dagon ; Patrick Traynor
Beyond Risk-Based Access Control: Towards Incentive-Based Access Control / Debin Liu ; Ninghui Li ; XiaoFeng Wang ; L. Jean Camp
Authenticated Key Exchange under Bad Randomness / Guomin Yang ; Shanshan Duan ; Duncan S. Wong ; Chik How Tan ; Huaxiong Wang
Oblivious Outsourced Storage with Delegation / Martin Franz ; Peter Williams ; Bogdan Carbunar ; Stefan Katzenbeisser ; Andreas Peter ; Radu Sion ; Miroslava Sotakova
Homomorphic Signatures for Digital Photographs / Rob Johnson ; Leif Walsh ; Michael Lamb
Revisiting the Computational Practicality of Private Information Retrieval / Femi Olumofin ; Ian Goldberg
Optimal One Round Almost Perfectly Secure Message Transmission (Short Paper) / Mohammed Ashraful Alam Tuhin ; Reihaneh Safavi-Naini
A New Approach towards Coercion-Resistant Remote E-Voting in Linear Time / Oliver Spycher ; Reto Koenig ; Rolf Haenni ; Michael Schläpfer
An Attack on PUF-Based Session Key Exchange and a Hardware-Based Countermeasure: Erasable PUFs / Ulrich Rührmair ; Christian Jaeger ; Michael Algasinger
Peeling Away Layers of an RFID Security System / Henryk Plötz ; Karsten Nohl
Might Financial Cryptography Kill Financial Innovation? û The Curious Case of EMV / Ross Anderson ; Mike Bond ; Omar Choudary ; Steven J. Murdoch ; Frank Stajano
hPIN/hTAN: A Lightweight and Low-Cost E-Banking Solution against Untrusted Computers / Shujun Li ; Ahmad-Reza Sadeghi ; Sören Heisrath ; Roland Schmitz ; Junaid Jameel Ahmad
Certified Lies: Detecting and Defeating Government Interception Attacks against SSL (Short Paper) / Christopher Soghoian ; Sid Stamm
Proximax: Measurement-Driven Proxy Dissemination (Short Paper) / Damon McCoy ; Jose Andre Morales ; Kirill Levchenko
BNymble: More Anonymous Blacklisting at Almost No Cost (A Short Paper) / Peter Lofgren ; Nicholas Hopper
Quo Vadis? A Study of the Evolution of Input Validation Vulnerabilities in Web Applications / Theodoor Scholte ; Davide Balzarotti ; Engin Kirda
Re-evaluating the Wisdom of Crowds in Assessing Web Security / Pern Hui Chia ; Svein Johan Knapskog
Mercury: Recovering Forgotten Passwords Using Personal Devices / Mohammad Mannan ; David Barrera ; Carson D. Brown ; David Lie ; Paul C. van Oorschot
Author Index
Finacial Cryptography and Data Security (FC 2011)
Collective Exposure: Peer Effects in Voluntary Disclosure of Personal Data / Rainer Böhme ; Stefanie Pötzsch
It's All about the Benjamins: An Empirical Study on Incentivizing Users to Ignore Security Advice / Nicolas Christin ; Serge Egelman ; Timothy Vidas ; Jens Grossklags
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Developing Mode-Rich Satellite Software by Refinement in Event B / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky ; Kimmo Varpaaniemi ; Dubravka Ilic ; Timo Latvala
Automatic Error Correction of Java Programs / Christian Kern ; Javier Esparza
Range Analysis of Microcontroller Code Using Bit-Level Congruences / Jörg Brauer ; Andy King ; Stefan Kowalewski
An Automated Translator for Model Checking Time Constrained Workflow Systems / Ahmed Shah Mashiyat ; Fazle Rabbi ; Hao Wang ; Wendy MacCaull
Correctness of Sensor Network Applications by Software Bounded Model Checking / Frank Werner ; David Faragó
Model Checking the FlexRay Physical Layer Protocol / Michael Gerke ; Rüdiger Ehlers ; Bernd Finkbeiner ; Hans-Jörg Peter
SMT-Based Formal Verification of a TTEthernet Synchronization Function / Wilfried Steiner ; Bruno Dutertre
Embedded Network Protocols for Mobile Devices / Despo Galataki ; Andrei Radulescu ; Kees Verstoep ; Wan Fokkink
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP / Radu Mateescu ; Wendelin Serwe
A Formal Model of Identity Mixer / Jan Camenisch ; Sebastian Mödersheim ; Dieter Sommer
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept / Lars Michael Kristensen ; Michael Westergaard
Author Index
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Interdisciplinary Foundations for Open Cyber-Physical Systems (Abstract of Invited Talk) / Torek Abdelzaher
Safraless Procedures for Timed Specifications (Invited Talk) / Barbara Di Giampaolo ; Gilles Geeraerts ; Jean-François Raskin ; Nathalie Sznajder
Property-Based Monitoring of Analog and Mixed-Signal Systems (Abstract of Invited Tutorial) / John Havlicek ; Scott Little ; Oded Maler ; Dejan Nickovic
A Framework for Verification of Software with Time and Probabilities (Invited Talk) / Marta Kwiatkowska ; Gethin Norman ; David Parker
Synchrony and Time in Fault-Tolerant Distributed Algorithms (Abstract of Invited Tutorial) / Ulrich Schmid
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting / D.A. (Bert) van Beek ; Pieter J.L. Cuijpers ; Jasen Markovski ; Datnian E. Nadales Agut ; J. (Koos) B. Rooda
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games / Patricia Bouyer ; Romain Brenguier ; Nicolas Markey
Natural Domain SMT: A Preliminary Assessment / Scott Cotton
A Conformance Testing Relation for Symbolic Timed Automata / Sabrina von Styp ; Henrik Bohnenkamp ; Julien Schmaltz
Author Index
Interdisciplinary Foundations for Open Cyber-Physical Systems (Abstract of Invited Talk) / Torek Abdelzaher
Safraless Procedures for Timed Specifications (Invited Talk) / Barbara Di Giampaolo ; Gilles Geeraerts ; Jean-François Raskin ; Nathalie Sznajder
Property-Based Monitoring of Analog and Mixed-Signal Systems (Abstract of Invited Tutorial) / John Havlicek ; Scott Little ; Oded Maler ; Dejan Nickovic
Formal Software Verification: How Close Are We? (Abstract) / Gerard J. Holzmann
Formal UML Modeling
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning / Artur Boronat ; Roberto Bruni ; Alberto Lluch Lafuente ; Ugo Montanari ; Generoso Paolillo
Reactive Semantics for Distributed UML Activities / Frank Alexander Kraemer ; Peter Herrmann
Components and Architecture
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems / Ananda Basu ; Saddek Bensalem ; Marius Bozga ; Benoît Caillaud ; Benoît Delahaye ; Axel Legay
A Process Calculus for Dynamic Networks / Dimitrios Kouzapas ; Anna Philippou
On Asynchronous Session Semantics / Nobuko Yoshida ; Kohei Honda
Dynamic Soundness in Resource-Constrained Workflow Nets / Tianxiang Lu ; Stephan Merz ; Christoph Wetdenbach ; MarÃa Martos-Salgado ; Fernando Rosa- Velardo
SimGrid MC: Verification Support for a Multi-API Simulation Platform / Martin Quinson ; Cristian Rosa
Ownership Types for the Join Calculus / Marco Patrignani ; Dave Clarke ; Davide Sangiorgi
Contracts for Multi-instance UML Activities / Vidar Slåtten ; Peter Herrmann
Revising the UML Collaborations: A Well-Founded Approach / Egidio Astesiano ; Gianna Reggio
Client Synthesis for Aspect Oriented Web Services / Mehdi Ben Hmida ; Serge Haddad
Formal Reasoning about Software Object Translations / Vladis Berzins ; Luqi ; Peter M. Musial
Software Engineering Techniques for the Development of Systems of Systems / Radu Calinescu ; Marta Kwiatkowska
Simulation of LET Models in Simulink and Ptolemy / Patricia Derler ; Andreas Naderlinger ; Wolfgang Pree ; Stefan Resmerita ; Josef Templ
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems / Claudiu Farcas ; Emilia Farcas ; Ingolf Krüger
On the Pragmatics of Model-Based Design / Hauke Fuhrmann ; Reinhard von Hanxleden
Modelling and Verification of Relay Interlocking Systems / Anne E. Haxthausen ; Marie Le Bliguet ; Andreas A. Kjœr
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication / Rolf Hennicker ; Stephan Janisch ; Alexander Knapp
Experiences in Model Driven Verification of Behavior with UML / Fabrice Kordon ; Yann Thierry-Mieg
Software Verification of Autonomic Systems Developed with ASSL / Emil Vassev ; Mike Hinchey
Modeling Language Variability / Hans Grönniger ; Bemhard Rumpe
An Approach for Effective Design Space Exploration / Eunsuk Kang ; Ethan Jackson ; Wolfram Schulte
Migration of Legacy Software towards Correct-by-Construction Timing Behavior / Stefan Resmerita ; Kenneth Butts ; Patricia Derler ; Andreas Naderlinger ; Wolfgang Free
ＥＢ
