e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics / Ingo Wassink ; Matthijs Ooms ; Pieter Neerincx ; Gerrit van der Veer ; Han Rauwerda ; Jack A.M. Leunissen ; Timo M. Breit ; Anton Nijholt ; Paul van der Vet
MEDCollector: Multisource Epidemic Data Collector / João Zamite ; FabrÃcio A.B. Silva ; Francisco Couto ; Mário J. Silva
Epidemic Marketplace: An Information Management System for Epidemiological Data / Luis F. Lopes ; Hugo Ferreira ; Carla Sousa
Decision Support and Data Management in Biomedicine
DCM Data Management Framework: A Data Warehousing Approach / Shehla Khalid ; Claire Surr ; Daniel Neagu
Automatic Classification of Intrapartal Fetal Heart-Rate Recordings - Can It Compete with Experts? / Václav Chudácek ; Jirà Spilka ; Michal Huptych ; George Georgoulas ; Petr Janku ; Michal Koucky ; Chrysostomos Stylios ; Lenka Lhotská
Clinical Informatics to Diagnose Cardiac Diseases Based on Data Mining / Sung Ho Ha ; Zhen Yu Zhang
Decision Support in Biomedicine (Short Papers)
The Case-Based Software System for Physician's Decision Support / Leonid Karpov ; Valery Yudin
SASAgent: An Agent Based Architecture for Search, Retrieval and Composition of e-Science Models and Tools / Luiz Felipe Mendes ; Regina Braga ; Fernanda Campos
Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments / Ivana Rudolfova ; Jaroslav Zendulka ; Matej Lexa
A Comorbidity Network Approach to Predict Disease Risk / Francesco Folino ; Clara Pizzuti ; Maria Ventura
Mining and Post-Processing of Association Rules in the Atherosclerosis Risk Domain / Petr Berka ; Jan Rauch
Medical Data Modeling and Information Retrieval
Optimized Column-Oriented Model: A Storage and Search Efficient Representation of Medical Data / Razan Paul ; Abu Sayed Md. Latiful Hoque
BioMedical Information Retrieval: The BioTracer Approach / Heri Ramampiaro
Data Mining in Bioinformatics
A Self-Organizing State Space Approach to Inferring Time-Varying Causalities between Regulatory Proteins / Osamu Hirose ; Kentaro Shimizu
Knowledge Representation and Data Management in Bioinformatics
Retrieving Samples from Biobanks / Claus Dabringer ; Johann Eder
Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways / Sine Zambach ; Jens Ulrik Hansen
Smooth Introduction of Semantic Tagging in Genotyping Procedures / Alessio Bechini ; Jacopo Viotto ; Riccardo Giannini
Biological Data and Signal Processing
Laboratory Kit for Oscillometry Measurement of Blood Pressure / Jan Dvorák ; Jan HavlÃk
Initial Analysis of the EEG Signal Processing Methods for Studying Correlations between Muscle and Brain Activity / Helena Valentová
Highlighting the Current Issues with Pride Suggestions for Improving the Performance of Real Time Cardiac Health Monitoring / Mohamed Ezzeldin A. Bashir ; Dong Gyu Lee ; Makki Akasha ; Gyeong Min Yi ; Eun-jong Cha ; Jang-whan Bae ; Myeong Chan Cho ; Keun Ho Ryu
Author Index
Workflow Management and Database
e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics / Ingo Wassink ; Matthijs Ooms ; Pieter Neerincx ; Gerrit van der Veer ; Han Rauwerda ; Jack A.M. Leunissen ; Timo M. Breit ; Anton Nijholt ; Paul van der Vet
MEDCollector: Multisource Epidemic Data Collector / João Zamite ; FabrÃcio A.B. Silva ; Francisco Couto ; Mário J. Silva
A Unified Submodular Framework for Multimodal IC Trojan Detection / Azalia Mirhoseini ; Yousra Alkabani
A Secure and Robust Approach to Software Tamper Resistance / Sudeep Ghosh ; Jason D. Hiser ; Jack W. Davidson
Security with Noisy Data (Extended Abstract of Invited Talk) / Boris Škoric
Detection of Copy-Rotate-Move Forgery Using Zernike Moments / Seung-Jin Ryu ; Min-Jeong Lee ; Heung-Kyu Lee
Scene Illumination as an Indicator of Image Manipulation / Christian Riess ; Elli Angelopoulou
Capacity of Collusion Secure Fingerprinting - A Tradeoff Between Rate and Efficiency (Extended Abstract of Invited Talk) / Gábor Tardos
Short Collusion-Secure Fingerprint Codes Against Three Pirates / Koji Nuida
Tardos's Fingerprinting Code over AWGN Channel / Minoru Kuribayashi
Steganalysis Using Partially Ordered Markov Models / Jennifer Davidson ; Jaikishan Jalan
The Influence of the Image Basis on Modeling and Steganalysis Performance / Valentin Schwamberger ; Pham Hai Dang Le ; Bernhard Schölkopf ; Matthias O. Franz
The Square Root Law in Stegosystems with Imperfect Information / Andrew D. Ker
Using High-Dimensional Image Models to Perform Highly Undetectable Steganography / Tomás Pevný ; Tomás Filler ; Patrick Bas
Obtaining Higher Rates for Steganographic Schemes While Maintaining the Same Detectability / Anindya Sarkar ; Kaushal Solanki ; B.S. Manjunath
Robust and Undetectable Steganographic Timing Channels for i.i.d. Traffic / Yali Liu ; Dipak Ghosal ; Frederik Armknecht ; Ahmad-Reza Sadeghi ; Steffen Schulz ; Stefan Katzenbeisser
STBS: A Statistical Algorithm for Steganalysis of Translation-Based Steganography / Peng Meng ; Liusheng Hang ; Zhili Chen ; Yuchong Hu ; Wei Yang
The Reverse Statistical Disclosure Attack / Nayantara Mallesh ; Matthew Wright
Security Analysis of ISS Watermarking Using Natural Scene Statistics / Dong Zhang ; Jiangqun Ni ; Qiping Zeng ; Dah-Jye Lee ; Jiwu Huang
Provably Secure Spread-Spectrum Watermarking Schemes in the Known Message Attack Framework / Jian Cao
A New Spread Spectrum Watermarking Scheme to Achieve a Trade-Off between Security and Robustness
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays / Maxime Crochemore ; Costas S. Iliopoulos ; Marcin Kubica ; Wojciech Rytter ; Tomasz Waleń
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL / Piotr Cybula ; Kazimierz Subieta
Perfect Matching for Biconnected Cubic Graphs in 0(n log2 n) Time / Krzysztof Diks ; Piotr Stanczyk
Destructive Rule-Based Properties and First-Order Logic / David Duris
Learning User Preferences for 2CP-Regression for a Recommender System / Alan Eckhardt ; Peter Vojtáš
Parallel Randomized Load Balancing: A Lower Bound for a More General Model / Guy Even ; Moti Medina
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem / Simone Faro ; Elisa Pappalardo
Linear Complementarity Algorithms for Infinite Games / John Fearnley ; Marcin Jurdziński ; Rahul Savani
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test / Alain Finkel ; Arnaud Sangnier
Practically Applicable Formal Methods / J&ecedil;drzej Fulara ; Krzysztof Jakubczyk
Fast and Compact Prefix Codes / Travis Gagie ; Gonzalo Navarro ; Yakov Nekrich
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes / Robert Ganian ; Petr Hliněný
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations / Giorgio Gnecco ; Marcello Sanguineti
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph / Alexander Grigoriev ; Bert Marchal ; Natalya Usotskaya
On the Complexity of the Highway Pricing Problem / Joyce van Loon ; Marc Uetz
Accelerating Smart Play-Out / David Harel ; Hillel Kugler ; Shahar Maoz ; Itai Segall
Maintaining XML Data Integrity in Programs: An Abstract Datatype Approach / Patrick Michel ; Arnd Poetzsch-Heffter
Improving Classification Performance with Focus on the Complex Areas / Seyed Zeinolabedin Moussavi ; Kambiz Zarei ; Reza Ebrahimpour
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions / Friedrich Otto
Source Code Rejuvenation Is Not Refactoring / Peter Pirkelbauer ; Damian Dechev ; Bjarne Stroustrup
Empirical Evaluation of Strategies to Detect Logical Change Dependencies / Guenter Pirklbauer
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup / Jakub Radoszewski
An Amortized Search Tree Analysis for k-Leaf Spanning Tree / Daniel Raible ; Henning Fernau
Approximate Structural Consistency / Michel de Rougemont ; Adrien Vieilleribiére
Comprehensive System for Systematic Case-Driven Software Reuse / Micha&lstoke; Śmia&lstoke;ek ; Audris Kalnins ; Elina Kalnina ; Albert Ambroziewicz ; Tomasz Straszak ; Katharina Wolter
Comparison of Scoring and Order Approach in Description Logic EL(D) / Veronika Vaneková
Homophily of Neighborhood in Graph Relational Classifier / Peter Vojtek ; Mária Bieliková
Multilanguage Debugger Architecture / Jan Vraný ; Michal Píše
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining / Danuta Zakrzewska
Finding and Certifying Loops / Harold Zankl ; Christian Sternagel ; Dieter Hofbauer ; Aart Middeldorp
Vertex Ranking with Capacity / Ruben van der Zwaan
Author Index
Invited Talks
Forcing Monotonicity in Parameterized Verification: From Multisets to Words / Parosk Aziz Abdulla
Research Issues in the Automated Testing of Ajax Applications / Arie van Deursen ; Ali Mesbah
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
Perspective on Computer Science Education (Invited Talk) / Amiram Yehudai
Didactics of Introduction to Computer Science in High School / Michal Armoni ; Tamar Benaya ; Ela Zur
Software Design Course for Leading CS In-Service Teachers / Ofra Brandes ; Tamar Vilner
The Effect of Tangible Artifacts, Gender and Subjective Technical Competence on Teaching Programming to Seventh Graders / Philipp Brauner ; Thiemo Leonhardt ; Martina Ziefle ; Ulrik Schroeder
The Difficulty of Programming Contests Increases / Michal Forišek
Didactic Games for Teaching Information Theory / Monika Steinová
Collaborative Initiatives for Promoting Computer Science in Secondary Schools / Irene Glendinning ; Margaret Low
Teaching Public-Key Cryptography in School / Lucia Keller ; Dennis Komm ; Giovanni Serafini ; Andreas Sprock ; Björn Steffen
Towards a Methodical Approach for an Empirically Proofed Competency Model / Johannes Magenheim ; Wolfgang Nelles ; Thomas Rhode ; Niclas Schaper
Having Fun with Computer Programming and Games: Teacher and Student Experiences / Clare McInerney
Showing Core-Concepts of Informatics to Kids and Their Teachers / Roland T. Mittermeir ; Ernestine Bischof ; Karin Hodnigg
Object-Oriented Modeling of Object-Oriented Concepts: A Case Study-in Structuring an Educational Domain / Michela Pedroni ; Bertrand Meyer
Programming Camps: Letting Children Discover the computer Science / Juliana Šišková
Mission to Mars - A Study on Naming and Referring / Michael Weigend
Long-Term Development of Software Projects - Students' Self-appreciation and Expectations / Cecile Yehezkel ; Bruria Haberman
Author Index
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
Secure Obfuscation for Encrypted Signatures / Satoshi Hada
Public-Key Encryption in the Bounded-Retrieval Model / Joël Alwen ; Yevgeniy Dodis ; Moni Naor ; Gil Segev ; Shabsi Walfish ; Daniel Wichs
Protecting Circuits from Leakage: The Computationally-Bounded and Noisy Cases / Sebastian Faust ; Tal Rabin ; Leonid Reyzin ; Eran Tromer
2-Party Protocols
Partial Fairness in Secure Two-Party Computation / S. Dov Gordon ; Jonathan Katz
Secure Message Transmission with Small Public Discussion / Juan Garay ; Clint Givens ; Rafail Ostrovsky
On the Impossibility of Three-Move Blind Signature Schemes / Marc Fischlin ; Dominique Schröder
Efficient Device-Independent Quantum Key Distribution / Esther Hänggi ; Renato Renner ; Stefan Wolf
Cryptanalysis
New Generic Algorithms for Hard Knapsacks / Nick Howgrave-Graham ; Antoine Joux
Lattice Enumeration Using Extreme Pruning / Nicolas Gama ; Phong Q. Nguyen
Algebraic Cryptanalysis of McEliece Variants with Compact Keys / Jean-Charles Faugère ; Ayoub Otmani ; Ludovic Perret ; Jean-Pierre Tillich
Key Recovery Attacks of Practical Complexity on AES-256 Variants with Up to 10 Rounds / Alex Biryukov ; Orr Dunkelman ; Nathan Keller ; Dmitry Khovratovich ; Adi Shamir
2010 IACR Distinguished Lecture
Cryptography between Wonderland and Underland / Moti Yung
Automated Tools and Formal Methods
Automatic Search for Related-Key Differential Characteristics in Byte-Oriented Block Ciphers: Application to AES, Camellia, Khazad and Others / Ivica Nikolic
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR / Kenneth G. Paterson ; Gaven J. Watson
Computational Soundness, Co-induction, and Encryption Cycles / Daniele Micciancio
Models and Proofs
Encryption Schemes Secure against Chosen-Ciphertext Selective Opening Attacks / Serge Fehr ; Dennis Hofheinz ; Eike Kiltz ; Hoeteck Wee
Cryptographic Agility and Its Relation to Circular Encryption / Tolga Acar ; Mira Belenkiy ; Mihir Bellare ; David Cash
SLA-Driven Automatic Bottleneck Detection and Resolution for Read Intensive Multi-tier Applications Hosted on a Cloud / Waheed Iqbal ; Mathew N. Dailey ; David Carrera ; Paul Jenecek
An Effective Job Replication Technique Based on Reliability and Performance in Mobile Grids / Daeyong Jung ; SungHo Chin ; KwangSik Chung ; Taeweon Suh ; HeonChang Yu ; JoonMin Gil
A Matrix Scheduling Strategy with Multi-QoS Constraints in Computational Grid / Ding Ding ; Siwei Luo ; Zhan Gao
Peer-to-Peer and Pervasive Computing / Track 2：
The Mini-Grid Framework: Application Programming Support for Ad-Hoc, Peer-to-Peer Volunteer Grids / Jakob E. Bardram ; Neelanarayanan Venkataraman
Human Movement Detection Algorithm Using 3-Axis Accelerometer Sensor Based on Low-Power Management Scheme for Mobile Health Care System / Jaewan Shin ; Dongkyoo Shin ; Dongil Shin ; Sungmin Her ; Soohan Kim ; Myungsoo Lee
A Genetic Context Interpreter for Context-Aware Systems in Pervasive Computing Environments / Been-Chian Chien ; Shiang-Yi He
Supporting Filename Partial Matches in Structured Peer-to-Peer Overlay / Guanling Lee ; Jia-Sin Huang ; Yi-Chun Chen
EEG: A Way to Explore Learner's Affect in Pervasive Learning Systems / Jizheng Wan ; Xiaowei Li
Sensor and Mobile Networks / Track 3：
The Mission-Oriented Self-deploying Methods for Wireless Mobile Sensor Networks / Shih-Chang Huang
Multi-Dimensional Resilient Statistical En-Route Filtering in Wireless Sensor Networks / Feng Yang ; Xuehai Zhou ; Qiyuan Zhang
Cross-Layer Based Rate Control for Lifetime Maximization in Wireless Sensor Networks / Xiaoyan Yin ; Xingshe Zhou ; Zhigang Li ; Shining Li
A 2D Barcode Validation System for Mobile Commerce / David Kuo ; Daniel Wong ; Jerry Gao ; Lee Chang
A Petri-Net Based Context Representation in Smart Car Environment / Jie Sun ; Yongping Zhang ; Kejia He
Service-Oriented Computing / Track 4：
A New Distributed and Hierarchical Mechanism for Service Discovery in Grid Environment / Leyli Mohamad Khanli ; Saeed Ebadi
DSOA: A Service Oriented Architecture for Ubiquitous Applications / Fabricio Nogueira Buzeto ; Carlos Botelho de Paula Filho ; Carla Denise Castanho ; Richardo Pezzuol Jacobi
Monitoring Service Using Markov Chain Model in Mobile Grid Environment / JiSu Park ; Eun Young Lee ; YoungSik Jeong
Modeling Grid Workflow by Coloured Grid Service Net / Hong Feng Lai
A Lower Bound on Greedy Embedding in Euclidean Plane / Lei Cao ; Andrew Strelzoff ; Jonathan Z. Sun
Performance of Parallel Bit-Reversal with Clik and UPC for Fast Fourier Transform / Tien-Hsiung Weng ; Sheng-Wei Huang ; Wei-Duen Liau ; Kuan-Ching Li
Resource Management and Scheduling / Track 5：
Variable-Sized Map and Locality-Aware Reduce on Public-Resource Grids / Po-Cheng Chen ; Yen-Liang Su ; Jyh-Biau Chang ; Ce-Kuen Shieh
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations / Wei-Jen Wang ; Carlos Varela ; Fu-Hau Hsu ; Cheng-Hsien Tang
Scalable Grid Resource Allocation for Scientific Workflows Using Hybrid Metaheuristics / Georg Buss ; Kevin Lee ; Daniel Veit
Pareto Front Based Realistic Soft Real-Time Task Scheduling with Multi-objective Genetic Algorithm in Unstructured Heterogeneous Distributed System / Nafiseh Sedaghat ; Hamid Tabatabaee-Yazdi ; Mohammad-R Akbarzadeh- T
Job Scheduling Techniques for Distributed Systems with Temporal Constraints / Ping-Yi Lin ; Pangfeng Liu
Replica-Aware Job Scheduling in Distributed Systems / Wei-Cheng Liao ; Jan-Jan Wu
Online Scheduling of Workflow Applications in Grid Environment / Chih-Chiang Hsu ; Kuo-Chan Huang ; Feng-Jian Wang
Securing Interoperable Grid Services in ARC Grid Middleware / Weizhong Qiang ; Aleksandr Konstantinov ; Mattias Ellert ; Hai Jin
CPRS: A Cloud-Based Program Recommendation System for Digital TV Platforms / Lai Chin-Feng ; Chang Jui-Hung ; Hu Chia-Cheng ; Huang Yueh-Min ; Chao Han-Chieh
Monitoring and Status Representation of Devices in Wireless Grids / Mahantesh N. Birje ; Sunilkumar S. Manvi
Diagnosis from Bayesian Networks with Fuzzy Parameters û A Case in Supply Chains / Han-Ying Kao ; Chia-Hui Huang ; Chu-Ling Hsu ; Chiao-Ling Huang
Packing and Generating Mechanism of Image Processing Services on Heterogeneous Grid Platforms / Ran Zheng ; Jian Lan ; Qin Zhang
AvPM: An Avatar-Based Personal Messenger for Low Bandwidth Networks / Yu-En Wu ; Cheng-Chin Chiang
Virtual EZ Grid: A Volunteer Computing Infrastructure for Scientific Medical Applications / Mohamed Ben Belgacem ; Nabil Abdennadher ; Marko Niinimaki
Towards Complex Negotiation for Cloud Economy / Kwang Mong Sim
Semantic Grid and Ontologies / Track 7：
A Novel E-Newspapers Publication System Using Provably Secure Time-Bound Hierarchical Key Assignment Scheme and XML Security / Hung-Yu Chien ; Ying-Lun Chen ; Chien-Feng Lo ; Yuh-Ming Huang
A Tree-Based Reliability Model for Composite Web Service with Common-Cause Failures / Bo Zhou ; Keting Yin ; Shuai Zhang ; Honghong Jiang ; Aleksander J. Kavs
Efficient Astronomical Data Classification on Large-Scale Distributed Systems / Min-Feng Wang ; Meng-Feng Tsai ; Yuji Urata ; Chow-Choong Ngeow ; Induk Lee ; Kuiyun Huang ; Wen-Ping Chen
Ontology-Based Personal Annotation Management on Semantic Peer Network to Facilitating Collaborations / Ching-Long Yeh ; Chun-Fu Chang ; Po-Shen Lin ; Yu-Peng Wang ; Yi-Chun Tsai
On the Design of Semi-structured Multi-star Hybrid-Overlays for Multi-attribute Range Queries / You-Fu Yu ; Po-Jung Huang ; Quan-Jie Chen ; Tian-Liang Huang ; Kuan-Chou Lai
Distributed Island-Based Query Answering for Expressive Ontologies / Sebastian Wandelt ; Ralf Moeller
An Extended Description Logic for Event Ontology / Wei Liu ; Wenjie Xu ; Jianfeng Fu ; Zongtian Liu ; Zhaomang Zhaong
Mobile Commerce and Services / Track 8：
An Empirical Analysis of Revisit Behaviors of Monthly Subscription-Based Mobile Video Services / Toshihiko Yamakami
A One-Seg Service Development Model: Ecosystem Considerations in the Context of Mobile Communication/Broadcast Convergence
A Mechanism for Solving the Sequential Inconsistent Event in a Peer-to-Peer Network Virtual Environment / Jui-Fa Chen ; Wei-Chuan Lin ; Kun-Hsiao Tsai ; Yu-Yu Cho ; Cheng-Yu Yu
Enhanced Generic Information Services Using Mobile Messaging / Muhammad Saleem ; Ali Zahir ; Yasir Ismail ; Bilal Saeed
A Focused Crawler with Ontology-Supported Website Models for Information Agents / Sheng-Yuan Yang
An Efficient Technique for OFDM System Using Discrete Wavelet Transform / W. Saad ; N. El-Fishawy ; S. EL-Rabaie ; M. Shokair
Marginalized Particle Filter for Maneuvering Target Tracking Application / Fei Zhou ; Wei-jun He ; Xin-yue Fan
Business Independent Model of Mobile Workforce Management / Volker Gruhn ; Thomas Richter
Multimedia Applications for Cloud / Track 9：
An Adaptive Job Allocation Strategy for Heterogeneous Multi-cluster Systems / Chao-Tung Yang ; Keng-Yi Chou
Privacy Protection of Grid Service Requesters through Distributed Attribute Based Access Control Model / Ali Esmaeeli ; Hamid Reza Shahriari
Detecting and Resolving a Loop in the Tree-Based Mobility Management Protocol / Trung-Dinh Han ; Hoon Oh
Data-Centric Trust Framework for High Integrity Wireless Sensor Networks / Mingming Li ; Jianbin Hu ; Nike Gui
Shuffle: An Enhanced QoS Control by Balancing Energy Consumption in Wireless Sensor Networks / Rong-Guei Tsai ; Hao-Li Wang
Scheduling of Job Combination and Dispatching Strategy for Grid and Cloud System / Tai-Lung Chen ; Ching-Hsien Hsu ; Shih-Chang Chen
The Routing Mechanism with Interface Aware and Congestion Aware for IEEE 802.16j Networks / Wei-Hang Liang ; Horng-Twu Liaw ; Li-Lin Hsiao ; Jyun-Fu Chen ; Ming-Hunag Guo
A Handover Scheme in Heterogeneous Wireless Networks / Yuliang Tang ; Ming- Yi Shih ; Chun-Cheng Lin ; Guannan Kou ; Der-Jiunn Deng
A 3D Video Rendering and Transmission Mechanism Based on Clouding Computing System / I-Ju Liao ; Hua-Pu Cheng ; Tin-Yu Wu ; Wei-Tsong Lee
Intelligent Network Management / Track 10：
Executing Multiple Group by Query Using MapReduce Approach: Implementation and Optimization / Jie Pan ; Yann Le Biannic
A Fully-Protected Large-Scale Email System Built on Map-Reduce Framework / Duy-Phuong Pham ; Shyan-Ming Yuan ; Emery Jou
Agent-Based Immunity for Computer Virus: Abstraction from Dendritic Cell Algorithm with Danger Theory / Chung-Ming Ou ; C.R. Ou
A Metadata Classification Assistant Scientific Data Extraction Architecture / Yue-Shan Chang ; Hsiang-Tai Cheng
Price Differentiation All-Pay Auction-Based Incentives in BitTorrent / Yan Pang ; Zongming Guo
Author Index
Keynote Speeches
A Grid Based Virtual Laboratory for HIV Drugranking / Peter Sloot
Solving the Scalability Dilemma with Clouds, Crowds, and Algorithms / Michael J. Franklin
Scaling Up High-Value Retrieval to Medium-Volume Data / Hamish Cunningham ; Allan Hanbury ; Stefan Rüger
Sentence-level Attachment Prediction / M-Dyaa Albakour ; Udo Kruschwitz ; Simon Lucas
Rank by Readability: Document Weighting for Information Retrieval / Neil Newbold ; Harry McLaughlin ; Lee Gillam
Knowledge Modeling in Prior Art Search / Erik Graf ; Ingo Frommholz ; Mounia Lalmas ; Keith van Rijsbergen
Combining Wikipedia-Based Concept Models for Cross-Language Retrieval / Benjamin Roth ; Dietrich Klakow
Exploring Contextual Models in Chemical Patent Search / Jay Urbain ; Ophir Frieder
Measuring the Variability in Effectiveness of a Retrieval System / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Millic-Frayling ; Vishwa Vinay
An Information Retrieval Model Based on Discrete Fourier Transform / Alberto Costa ; Massimo Melucci
Logic-Based Retrieval: Technology for Content-Oriented and Analytical Querying of Patent Data / Iraklis Angelos Klampanos ; Hengzhi Wu ; Thomas Roelleke ; Hany Azzam
Automatic Extraction and Resolution of Bibliographical References in Patent Documents / Patrice Lopez
An Investigation of Quantum Interference in Information Retrieval
Abstracts versus Full Texts and Patents: A Quantitative Analysis of Biomedical Entities / Bernd Müller ; Roman Klinger ; Harsha Gurulingappa ; Heinz-Theodor Mevissen ; Martin Hofmann-Apitius ; Juliane Fluck ; Christoph M. Friedrich
Author Index
Scaling Up High-Value Retrieval to Medium-Volume Data / Hamish Cunningham ; Allan Hanbury ; Stefan Rüger
Sentence-level Attachment Prediction / M-Dyaa Albakour ; Udo Kruschwitz ; Simon Lucas
Rank by Readability: Document Weighting for Information Retrieval / Neil Newbold ; Harry McLaughlin ; Lee Gillam
Stimulus-Dependent Noise Facilitates Tracking Performances of Neuronal Networks / Longwen Huang ; Si Wu
Range Parameter Induced Bifurcation in a Single Neuron Model with Delay-Dependent Parameters / Min Xiao ; Jinde Cao
Messenger RNA Polyadenylation Site Recognition in Green Alga Chlamydomonas Reinhardtii / Guoli Ji ; Xiaohui Wu ; Qingshun Quinn Li ; Jianti Zheng
A Study to Neuron Ensemble of Cognitive Cortex ISI Coding Represent Stimulus / Hu Yi ; Xin Tian
STDP within NDS Neurons / Mario Antoine Aoun
Synchronized Activities among Retinal Ganglion Cells in Response to External Stimuli / Lei Xiao ; Ying-Ying Zhang ; Pei-Ji Liang
Novel Method to Discriminate Awaking and Sleep Status in Light of the Power Spectral Density / Lengshi Dai ; You Wang ; Haigang Zhu ; Walter J. Freeman ; Guang Li
Current Perception Threshold Measurement via Single Channel Electroencephalogram Based on Confidence Algorithm / Yi Qiu ; Yuping Miao ; Guiping Dai
Electroantennogram Obtained from Honeybee Antennae for Odor Detection / Yuanzhe Zheng ; Zhiyuan Luo
A Possible Mechanism for Controlling Timing Representation in the Cerebellar Cortex / Takeru Honda ; Tadashi Yamazaki ; Shigeru Tanaka ; Tetsuro Nishino
Theory and Models
Parametric Sensitivity and Scalability of k-Winners-Take-All Networks with a Single State Variable and Infinity-Gain Activation Functions / Jun Wang ; Zhishan Guo
A New Two-Step Gradient-Based Backpropagation Training Method for Neural Networks / Xuewen Mu ; Yaling Zhang
A Large-Update Primal-Dual Interior-Point Method for Second-Order Cone Programming / Liang Fang ; Guoping He ; Zengzhe Feng ; Yongli Wang
A Neural Network Algorithm for Solving Quadratic Programming Based on Fibonacci Method / Xianming Kong ; Xiaoyan Ma ; Han Li ; Wei Zhang ; Jingli Yang ; Tingsong Du
A Hybrid Particle Swarm Optimization Algorithm Based on Nonlinear Simplex Method and Tabu Search / Zhanchao Li ; Dongjian Zheng ; Huijing Hou
Fourier Series Chaotic Neural Networks / Jia-hai Zhang ; Chen-zhi Sun ; Yao-qun Xu
Multi-objective Optimization of Grades Based on Soft Computing / Yong He
Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks / Demin Li ; Jie Zhou ; Jiacun Wang ; Chunjie Chen
A Quantum-Inspired Artificial Immune System for Multiobjective 0-1 Knapsack Problems / Jiaquan Gao ; Lei Fang ; Guixia He
RBF Neural Network Based on Particle Swarm Optimization / Yuxiang Shao ; Qing Chen ; Hong Jiang
Genetic-Based Granular Radial Basis Function Neural Network / Ho-Sung Park ; Sung-Kwun Oh ; Hyun-Ki Kim
A Closed-Form Solution to the Problem of Averaging over the Lie Group of Special Orthogonal Matrices / Simone Fiori
A Lower Order Discrete-Time Recurrent Neural Network for Solving High Order Quadratic Problems with Equality Constraints / Wudai Liao ; Jiangfeng Wang ; Junyan Wang
A Experimental Study on Space Search Algorithm in ANFIS-Based Fuzzy Models / Wei Huang ; Lixin Ding
Optimized FCM-Based Radial Basis Function Neural Networks: A Comparative Analysis of LSE and WLSE Method / Wook-Dong Kim
Design of Information Granulation-Based Fuzzy Radial Basis Function Neural Networks Using NSGA-II / Jeoung-Nae Choi
Practical Criss-Cross Method for Linear Programming / Wei Li
Calculating the Shortest Paths by Matrix Approach / Huilin Yuan ; Dingwei Wang
A Particle Swarm Optimization Heuristic for the Index Tacking Problem / Hanhong Zhu ; Yun Chen ; Kesheng Wang
Structural Design of Optimized Polynomial Radial Basis Function Neural Networks / Young-Hoon Kim
Convergence of the Projection-Based Generalized Neural Network and the Application to Nonsmooth Optimization Problems / Jiao Liu ; Yongqing Yang ; Xianyun Xu
A Global Inferior-Elimination Thermodynamics Selection Strategy for Evolutionary Algorithm / Fahong Yu ; Yuanxiang Li ; Weiqin Ying
Particle Swarm Optimization Based Learning Method for Process Neural Networks / Kun Liu ; Ying Tan ; Xingui He
Interval Fitness Interactive Genetic Algorithms with Variational Population Size Based on Semi-supervised Learning / Xiaoyan Sun ; Jie Ren ; Dunwei Gong
Research on One-Dimensional Chaos Maps for Fuzzy Optimal Selection Neural Network / Tao Ding ; Hongfei Xiao ; Jinbao Liu
Edited Nearest Neighbor Rule for Improving Neural Networks Classifications / R. Alejo ; J.M. Sotoca ; R.M. Valdovinos ; P. Toribio
A New Algorithm for Generalized Wavelet Transform / Feng-Qing Han ; Li-He Guan ; Zheng-Xia Wang
Neural Networks Algorithm Based on Factor Analysis / Shifei Ding ; Weikuan Jia ; Xinzheng Xu ; Hong Zhu
IterativeSOMSO: An Iterative Self-organizing Map for Spatial Outlier Detection / Qiao Cai ; Haibo He ; Hong Man ; Jianlong Qiu
A Novel Method of Neural Network Optimized Design Based on Biologic Mechanism / Ding Xiaoling ; Shen Jin ; Fei Luo
Research on a Novel Ant Colony Optimization Algorithm / Gang Yi ; Ming Jin ; Zhi Zhou
A Sparse Infrastructure of Wavelet Network for Nonparametric Regression / Jun Zhang ; Zhenghui Gu ; Yuanqing Li ; Xieping Gao
Information Distances over Clusters / Maxime Houllier ; Yuan Luo
Learning and Inference
Regression Transfer Learning Based on Principal Curve / Wentao Mao ; Guirong Yan ; Junqing Bai ; Hao Li
Semivariance Criteria for Quantifying the Choice among Uncertain Outcomes / Yankui Liu ; Xiaoqing Wang
Enhanced Extreme Learning Machine with Modified Gram-Schmidt Algorithm / Jianchuan Yin ; Nini Wang
Solving Large N-Bit Parity Problems with the Evolutionary ANN Ensemble / Lin-Yu Tseng ; Wen-Ching Chen
Multiattribute Bayesian Preference Elicitation with Pairwise Comparison Queries / Shengbo Guo ; Scott Sanner
Local Bayesian Based Rejection Method for HSC Ensemble / Qing He ; Wenjuan Luo ; Fuzhen Zhuang ; Zhongzhi Shi
Orthogonal Least Squares Based on Singular Value Decomposition for Spare Basis Selection / Min Han ; De-cai Li
Spectral Clustering on Manifolds with Statistical and Geometrical Similarity / Yong Cheng ; Qiang Tong
A Supervised Fuzzy Adaptive Resonance Theory with Distributed Weight Update / Aisha Yousuf ; Yi Lu Murphey
A Hybrid Neural Network Model Based Reinforcement Learning Agent / Pengyi Gao ; Chuanbo Chen ; Kui Zhang ; Yingsong Hu ; Dan Li
A Multi-view Regularization Method for Semi-supervised Learning / Jiao Wang ; Siwei Luo ; Yan Li
Multi-reservoir Echo State Network with Sparse Bayesian Learning / Dayun Mu
Leave-One-Out Cross-Validation Based Model Selection for Manifold Regularization / Jin Yuan ; Yan-Ming Li ; Cheng-Liang Liu ; Xuan F. Zha
Probability Density Estimation Based on Nonparametric Local Kernel Regression / Zhi-ping Liang
A Framework of Decision Making Based on Maximal Supported Sets / Ahmad Nazari Mohd Rose ; Tutut Herawan ; Mustafa Mat Deris
Neurodynamics
Dynamics of Competitive Neural Networks with Inverse Lipschitz Neuron Activations / Xiaobing Nie
Stability and Hopf Bifurcation of a BAM Neural Network with Delayed Self-feedback / Shifang Kuang ; Feiqi Deng ; Xuemei Li
Stability Analysis of Recurrent Neural Networks with Distributed Delays Satisfying Lebesgue-Stieljies Measures / Zhanshan Wang ; Huaguang Zhang ; Jian Feng
Stability of Genetic Regulatory Networks with Multiple Delays via a New Functional / Zhenwei Liu
The Impulsive Control of the Projective Synchronization in the Drive-Response Dynamical Networks with Coupling Delay / Yun Gao ; Yanhong Zhao
Novel LMI Stability Criteria for Interval Hopfield Neural Networks with Time Delays / Xiaolin Li ; Jia Jia
Memetic Evolutionary Learning for Local Unit Networks / Roman Neruda ; Petra Vidnerová
Synchronization for a Class of Uncertain Chaotic Cellular Neural Networks with Time-Varying Delay / Jianjun Tu ; Hanlin He
Global Exponential Stability of Equilibrium Point of Hopfield Neural Network with Delay / Xiaolin Liu ; Kun Yuan
Stability of Impulsive Cohen-Grossberg Neural Networks with Delays / Jianfu Yang ; Wensi Ding ; Fengjian Yang ; Lishi Liang ; Qun Hong
P-Moment Asymptotic Behavior of Nonautonomous Stochastic Differential Equation with Delay / Bing Li ; Yafei Zhou ; Qiankun Song
Exponential Stability of the Neural Networks with Discrete and Distributed Time-Varying Delays / Qingbo Li ; Peixu Xing ; Yuanyuan Wu
Mean Square Stability in the Numerical Simulation of Stochastic Delayed Hopfield Neural Networks with Markovian Switching / Hua Yang ; Feng Jiang ; Jiangrong Liu
The Existence of Anti-periodic Solutions for High-Order Cohen-Grossberg Neural Networks / Zhouhong Li ; Kaihong Zhao ; Chenxi Yang
Global Exponential Stability of BAM Type Cohen-Grossberg Neural Network with Delays on Time Scales / Chaolong Zhang
Multistability of Delayed Neural Networks with Discontinuous Activations / Xiaofeng Chen
Finite-Time Boundedness Analysis of Uncertain CGNNs with Multiple Delays / Xiaohong Wang ; Minghui Jiang ; Chuntao Jiang ; Shengrong Li
Dissipativity Analysis of Stochastic Neural Networks with Time-Varying Delays / Jianting Zhou ; Jianxi Yang
Multistability Analysis: High-Order Networks Do Not Imply Greater Storage Capacity Than First-Order Ones / Zhenkun Huang
Properties of Periodic Solutions for Common Logistic Model with Discrete and Distributed Delay / Ting Zhang ; Zhengwen Tu
New Results of Globally Exponentially Attractive Set and Synchronization Controlling of the Qi Chaotic System / Jigui Jian ; Xiaolian Deng
Stability and Attractive Basin of Delayed Cohen-Grossberg Neural Networks / Ailong Wu ; Chaojin Fu ; Xian Fu
Exponential Stability Analysis for Discrete-Time Stochastic BAM Neural Networks with Time-Varying Delays / Tiheng Qin ; Quanxiang Pan ; Yonggang Chen
Invariant and Globally Exponentially Attractive Sets of Separated Variables Systems with Time-Varying Delays / Baoxian Wang
Delay-Dependent Stability of Nonlinear Uncertain Stochastic Systems with Time-Varying Delays / Cheng Wang
Stability Analysis of Fuzzy Cohen-Grossberg Neural Networks with Distributed Delays and Reaction-Diffusion Terms / Weifan Zheng ; Jiye Zhang
Global Exponential Robust Stability of Delayed Hopfield Neural Networks with Reaction-Diffusion Terms / Xiaohui Xu ; Weihua Zhang
Stability and Bifurcation of a Three-Dimension Discrete Neural Network Model with Delay / Wei Yang ; Chunrui Zhang
Globally Exponential Stability of a Class of Neural Networks with Impulses and Variable Delays / Hongying Sun ; Dongqing Wu
Discrete Time Nonlinear Identification via Recurrent High Order Neural Networks for a Three Phase Induction Motor / Alma Y. Alanis ; Edgar N. Sanchez ; Alexander G. Loukianov ; Marco A. Perez-Cisneros
Stability Analysis for Stochastic BAM Neural Networks with Distributed Time Delays / Guanjun Wang
Dissipativity in Mean Square of Non-autonomous Impulsive Stochastic Neural Networks with Delays / Zhiguo Yang ; Zhichun Yang
Stability Analysis of Discrete Hopfield Neural Networks Combined with Small Ones / Weigen Wu ; Jimin Yuan ; Jun Li ; Qianrong Tan ; Xing Yin
Author Index
Neurophysiological Foundation
Stimulus-Dependent Noise Facilitates Tracking Performances of Neuronal Networks / Longwen Huang ; Si Wu
Range Parameter Induced Bifurcation in a Single Neuron Model with Delay-Dependent Parameters / Min Xiao ; Jinde Cao
Efficient Web Browsing with Perfect Anonymity Using Page Prefetching / Shui Yu ; Theerasak Thapngam ; Su Wei ; Wanlei Zhou
InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services / Rajkumar Buyya ; Rajiv Ranjan ; Rodrigo N. C'alheiros
Parallel Algorithms
Scalable Co-clustering Algorithms / Bongjune Kwon ; Hy.uk Cho
Parallel Pattern Matching with Swaps on a Linear Array / Fouad B. Chedid
Parallel Prefix Computation in the Recursive Dual-Net / Yamin Li ; Shietung Peng ; Wanming Chu
A Two-Phase Differential Synchronization Algorithm for Remote Files / Yonghong Sheng ; Dan Xu ; Dongsheng Wang
A New Parallel Method of Smith-Waterman Algorithm on a Heterogeneous Platform / Bo Chen ; Yun Xu ; Jiaoyun Yang ; Haitao Jiang
Improved Genetic Algorithm for Minimizing Periodic Preventive Maintenance Costs in Series-Parallel Systems / Chung-Ho Wang ; Te-Wei Lin
A New Hybrid Parallel Algorithm for MrBayes / Jianfu Zhou ; Gang Wang ; Xiaoguang Liu
Research and Design of Deployment Framework for Blade-Based Data Center / Haiping Qu ; Xiuwen Wang ; Lu Xu ; Jiangang Zhang ; Xiaoming Han
Query Optimization over Parallel Relational Data Warehouses in Distributed Environments by Simultaneous Fragmentation and Allocation / Ladjel Bellatreche ; Alfredo Cuzzocrea ; Soumia Benkrid
Parallel Architectures
Function Units Sharing between Neighbor Cores in CMP / Tianzhou Chen ; Jianliang Ma ; Hui Yuan ; Jingwei Liu ; Guanjun Jiang
A High Efficient On-Chip Interconnection Network in SIMD CMPs / Dan Wu ; Kui Dai ; Xuecheng Zou ; Jinli Rao ; Pan Chen
Network-on-Chip Routing Algorithms by Breaking Cycles / Minghua Tang ; Xiaola Lin
A Fair Thread-Aware Memory Scheduling Algorithm for Chip Multiprocessor / Danfeng Zhu ; Rui Wang ; Hui Wang ; Depei Qian ; Zhongzhi Luan ; Tianshu Ghu
Efficient Partitioning of Static Buses for Processor Arrays of Small Size / Susumu Matsumae
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders / Feng Liu ; Qingping Tan ; Xiaoyu Song ; Gang Chen
An Efficient Non-Blocking Multithreaded Embedded System / Joseph M. Arul ; Tsung-Yun Chen ; Guan-Jie Hwang ; Hua-Yuan Chung ; Fu-Jiun Lin ; You-Jen Lee
A Remote Mirroring Architecture with Adaptively Cooperative Pipelining / Yongzhi Song ; Zhenhai Zhao ; Bing Liu ; Tingting Qin
SV: Enhancing SIMD Architectures via Combined SIMD-Vector Approach / Libo Huang ; Zhiying Wang
A Correlation-Aware Prefetching Strategy for Object-Based File System / Jidei Sui ; Jiancong Tong
An Auxiliary Storage Subsystem to Distributed Computing Systems for External Storage Service / MinHwan Ok
Grid / Cluster Computing
Checkpointing and Migration of Communication Channels in Heterogeneous Grid Environments / John Mehnert-Spahn ; Michael Schoettner
On-Line Task Granularity Adaptation for Dynamic Grid Applications / Nithiapidary Muthuvelu ; Ian Chai ; Eswaran Chikkannan
Message Clustering Technique towards Efficient Irregular Data Redistribution in Clusters and Grids / Shih-Chang Chen ; Tai-Lung Chen ; Ching-Hsien Hsu
Multithreading of Kostka Numbers Computation for the BonjourGrid Meta-desktop Grid Middleware / Heithem Abbes ; Franck Butelle ; Christophe Cerin
Adaptable Scheduling Algorithm for Grids with Resource Redeployment Capability / Cho-Chin Lin ; Chih-Hsuan Hsu
Using MPI on PC Cluster to Compute Eigenvalues of Hermitian Toeplitz Matrices / Fazal Noor ; Syed Misbahuddin
Cloud Computing/Virtualization Techniques
idsocket: API for Inter-domain Communications Base on Xen / Liang Zhang ; Yuein Bai ; Cheng Luo
Strategy-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds / Marian Mihailescu ; Yong Meng Teo
A High Performance Inter-VM Network Communication Mechanism / Yuebm Bai ; Cong Xu ; Huiyong Zhang
On the Effect of Using Third-Party Clouds for Maximizing Profit / Young Choon Lee ; Chen Wang ; Javid Taheri ; Albert Y. Zomaya ; Bing Bing Zhou
A Tracing Approach to Process Migration for Virtual Machine Based on Multicore Platform / Yuebin Bai ; Xin Wei
GPU Computing and Applications
Accelerating DockG's Amber Scoring with Graphic Processing Unit / Hailong Yang ; Bo 'Li ; Yongjian Wang ; Tianshu Chu
Optimizing Sweep3D for Graphic Processor Unit / Chunye Gong ; Jie Liu ; Zkenghu Gong ; Jin Qin ; Jing Xie
Modular Resultant Algorithm for Graphics Processors / Pavel Emeliyanenko
A Novel Scheme for High Performance Finite-Difference Time-Domain (FDTD) Computations Based on GPU / Jian Dai ; Weiwei Fang ; Yi Liu
Parallel Programming, Performance Evaluation
A Proposed Asynchronous Object Load Balancing Method for Parallel 3D Image Reconstruction Applications / Jose Antonio Alvarez-Bermejo ; Javier Roca-Piera
A Step-by-Step Extending Parallelism Approach for Enumeration of Combinatorial Objects / Hien Phan ; Ben Soh ; Man Nguyen
A Study of Performance Scalability by Parallelizing Loop Iterations on Multi-core SMPs / Prakash Raghavendra ; Akshay Kumar Behki ; K. Hariprasad ; Madhav Mohan ; Praveen Jain ; Srivatsa S. Bhat ; V.M. Thejus ; Vishnumurthy Prabhu
Impact of Multimedia Extensions for Different Processing Element Granularities on an Embedded Imaging System / Jong-Myon Kim
Fault-Tolerant/Information Security and Management
Reducing False Aborts in STM Systems / Daniel Nicácio ; Guido Araújo
Fault-Tolerant Node-to-Set Disjoint-Path Routing in Hypercubes / Antoine Bossard ; Keiichi Kaneko
AirScope: A Micro-scale Urban Air Quality Management System / Jung-Hun Woo ; HyungSeok Kim ; Sang Boem Lim ; Jae-Jin Kim ; Jonghyun Lee ; Rina Ryoo ; Hansoo Kim
Wireless Communication Network
Design of a Slot Assignment Scheme for Link Error Distribution on Wireless Grid Networks / Junghoon Lee ; Seong Baeg Kim ; Mikyung Kang
Wireless Bluetooth Communications Combine with Secure Data Transmission Using ECDH and Conference Key Agreements / Hua- Yi Lin ; Tzu- Chiang Chiang
Robust Multicast Scheme for Wireless Process Control on Traffic Light Networks / Gyung-Leen Park ; Seong-Baeg Kim ; Min-Jae Kang
A Note-Based Randomized and Distributed Protocol for Detecting Node Replication Attacks in Wireless Sensor Networks / Xiangshan Meng ; Kai Lin ; Keqiu Li
Author Index
Keynote Papers
Efficient Web Browsing with Perfect Anonymity Using Page Prefetching / Shui Yu ; Theerasak Thapngam ; Su Wei ; Wanlei Zhou
InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services / Rajkumar Buyya ; Rajiv Ranjan ; Rodrigo N. C'alheiros
The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010)
Parallel Programming and Multi-core Technologies
Efficient Grid on the OTIS-Arrangment Network / Ahmad Awwad ; Bassam Haddad ; Ahmad Kayed
Single Thread Program Parallelism with Dataflow Abstracting Thread / Tianzhou Chen ; Xingsheng Tang ; Jianliang Ma ; Lihan Ju ; Guanjun Jiang ; Qingsong Shi
Parallel Programming on a Soft-Core Based Multi-core System / Liang-Teh Lee ; Shin-Tsung Lee ; Ching-Wei Chen
Dynamic Resource Tuning for Flexible Core Chip Multiprocessors / Yongqing Ren ; Hong An ; Tao Sun ; Ming Cong ; Yaobin Wang
Ensuring Confidentiality and Integrity of Multimedia Data on Multi-core Platforms / Bunji Lee ; Sungju Lee ; Yongwha Chung ; Hyeonjoong Cho ; Sung Bum Pan
A Paradigm for Processing Network Protocols in Parallel / Ralph Duncan ; Peder Jungck ; Kenneth Ross
Real-Time Task Scheduling on Heterogeneous Two-Processor Systems / Chin-Fu Kuo and Ying-Chi Hai
Grid/Cluster Computing
A Grid Based System for Closure Computation and Online Service / Wing-Ning Li ; Donald Hayes ; Jonathan Baran ; Cameron Porter ; Tom Schweiger
A Multiple Grid Resource Broker with Monitoring and Information Services / Chao-Tung Yang ; Wen-Jen Hu ; Bo-Han Chen
Design Methodologies of Workload Management through Code Migration in Distributed Desktop Computing Grids / Makoto Yoshida ; Kazumine Kojima
Emulation of Object-Based Storage Devices by a Virtual Machine / Yi-Chiun Fang ; Chien-Kai Tseng ; Yarsun Hsu
Balanced Multi-process Parallel Algorithm for Chemical Compound Inference with Given Path Frequencies / Jiayi Zhou ; Kun-Ming Yu ; Chun Yuan Lin ; Kuei-Chung Shih ; Chuan Yi Tang
Harnessing Clusters for High Performance Computation of Gene Expression Microarray Comparative Analysis / Philip Church ; Adam Wong ; Andrzej Goscinski ; Christophe Lefèvre
Mobile Computing/Web Services
Semantic Access Control for Corporate Mobile Devices / Tuncay Ercan ; Mehmet Yildiz
A New Visual Simulation Tool for Performance Evaluation of MANET Routing Protocols / Md. Sabbir Rahman Sakib ; Nazmus Saquib ; Al-Sakib Khan Pathan
A Web Service Composition Algorithm Based on Global QoS Optimizing with MOCACO / Wang Li ; He Yan-xiang
Distributed Operating System/P2P Computing
Experiences Gained from Building a Services-Based Distributed Operating System / Michael Hobbs
Quick Forwarding of Queries to Relevant Peers in a Hierarchical P2P File Search System / Tingting Qin ; Qi Cao ; Qiying Wei ; Satoshi Fujita
iCTPH: An Approach to Publish and Lookup CTPH Digests in Chord / Zhang Jianzhong ; Pan Kai ; Yu Yuniao ; Xu Jingdong
Fault-Tolerant and Information Security
Toward a Framework for Cloud Security / Michael Brock
An Improved Parallel MEMS Processing-Level Simulation Implementation Using Graphic Processing Unit / Yupeng Guo ; Xiaoguang Liu ; Gang Wang ; Fan Zhang ; Xin Zhao
Solving Burgers' Equation Using Multithreading and GPU / Sheng-Hsiu Kuo ; Chih- Wei Hsteh ; Reui-Kuo Lin ; Wen-Hann Sheu
Support for OpenMP Tasks on Cell Architecture / Qian Cao ; Changjun Hu ; Haohu He ; Xiang Huang ; Shigang Li
A Novel Algorithm for.Faults Acquiring and Locating on Fiber Optic Cable Line / Ning Zhang ; Yan Chen ; Naixue Xiong ; Laurence T. Yang ; Dong Liu ; Yuyuan ZhangSession II：
A Parallel Distributed Algorithm for the Permutation Flow Shop
A Self-Adaptive Load Balancing Strategy for P2P Grids / Pa-Jung Huang ; You-Fu Yu ; Quan-Jie Chen ; Tian-Liang Huang ; Kuan-Ghou Lai ; Kuan-Ching Li
Embedding Algorithms for Star / Bubble-Sort ; Rotator-Faber-Moore ; Pancake Graphs ; Mihye Kim ; Dongwan Kim ; Hyeongok Lee
Performance Estimation of Generalized Statistical Smoothing to Inverse Halftoning Based on the MTF Function of Human Eyes / Yohei Saika ; Kouki Sugimoto ; Ken OkamotoSession III：
Power Improvement Using Block-Based Loop Buffer with Innermost Loop Control / Ming-Yuan Zhong ; Jong-Jiann Shieh
An Efficient Pipelined Architecture for Fast Competitive Learning / Hui-Ya Li ; Chia-Lung Hung ; Wen- Jyi Hwang
Merging Data Records on EREW PRAM / Hazem M. Bahig
The 2010 International Workshop on Multicore and Multithreaded Architecture and Algorithms (M2A2 2010)
Performance Modeling of Multishift QR Algorithms for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems / Takafumi Miyata ; Yusaku Yamamoto ; Shao-Liang Zhang
A Parallel Solution of Large-Scale Heat Equation Based on Distributed Memory Hierarchy System / Tangpei Cheng ; Qun Wang ; Xiaohui Ji ; Dandan Li
A New Metric for On-line Scheduling and Placement in Reconfigurable Computing Systems / Maisam Mansub Bassiri ; Hadi Shahriar Shahhoseini
Test Data Compression Using Four-Coded and Sparse Storage for Testing Embedded Core / Zhang Ling ; Kuang Ji-shun ; You zhi-qiang
Tree Algorithms and Tree Decompositions / Session 4：
Multicut Algorithms via Tree Decompositions / Reinhard Pichler ; Stefan Rümmele ; Stefan Woltran
The Steiner Tree Reoptimization Problem with Sharpened Triangle Inequality (Extended Abstract) / Hans-Joachim ; Böckenhauer ; Karin Freiermuth ; Juraj Hromkovic ; Andreas Sprock ; Björn Steffen
Kernelization for Maximum Leaf Spanning Tree with Positive Vertex Weights / Bart Jansen
A Planar Linear Arboricity Conjecture / Marek Cygan ; Lukasz Kowalik ; Borut Luzar
Computational Geometry / Session 5：
On the Number of Higher Order Delaunay Triangulations / Dieter Mitsche ; Maria Saumell ; Rodrigo I. Silveira
On the Power of Nodes of Degree Four in the Local Max-Cut Problem / Burkhard Monien ; Tobias Tscheuschner
Packing Bipartite Graphs with Covers of Complete Bipartite Graphs / Daniël Paulusma
The Complexity of Computing Minimal Unidirectional Covering Sets / Marcin Pilipczuk ; Jakub Onufry Wojtaszczyk ; Dorothea Baumeister ; Felix Brandt ; Felix Fischer ; Jan Hoffmann ; Jörg Rothe
String Algorithms / Daniel Binkele-Raible ; Ljiljana Brankovic ; Henning Fernau ; Joachim Kneis ; Dieter Kratsch ; Alexander Langer ; Peter RossmanithSession 8：
Finding the Maximum Suffix with Fewer Comparisons / Gianni Franceschini ; Torben Hagerup
An Algorithmic Framework for Motif Discovery Problems in Weighted Sequences / Hui Zhang ; Qing Guo ; Costas S. Iliopoulos
Network Algorithms / Session 9：
Capacitated Confluent Flows: Complexity and Algorithms / Daniel Dressler ; Martin Strehler
Preprocessing Speed-Up Techniques Is Hard / Reinhard Bauer ; Tobias Columbus ; Bastian Katz ; Marcus Krug ; Dorothea Wagner
Communication Requirements for Stable Marriages / Jen-Hou Chou ; Chi-Jen Lu
Author Index
Invited Talks
Towards a Distributed Search Engine / Ricardo Baeza-Yates
Mechanisms for the Marriage and the Assignment Game / Paul Dütting ; Monika Henzinger
Tracing the Early Cell Divisions of Mouse Embryos by Single Cell RNA-Seq (Invited Keynote Talk) / Catalin Barbacioru
Successes and Failures of Elegant Algorithms in Computational Biology (Invited Keynote Talk) / Piotr Berman
Modeling without Borders: Creating and Annotating VCell Models
Using the Web / Michael L. Blinov ; Oliver Ruebenacker ; James C. Schaff ; Ion I. Moraru
Touring Protein Space with Matt / Noah Daniels ; Anoop Kumar ; Lenore Cowen ; Matt Menke
Fixed-Parameter Algorithm for General Pedigrees with a Single Pair of Sites / Duong D. Doan ; Patricia A. Evans
Analysis of Temporal-spatial Co-variation within Gene Expression Microarray Data in an Organogenesis Model / Martin Ehler ; Vinodh Rajapakse ; Barry Zeeberg ; Brian Brooks ; Jacob Brown ; Wojciech Czatja ; Robert F. Bonner
Human Genome Annotation (Invited Keynote Talk) / Mark Gerstein
Extensions and Improvements to the Chordal Graph Approach to the Multi-state Perfect Phylogeny Problem / Rob Gysel ; Dan Gusfield
Analysis of Gene Interactions Using Restricted Boolean Networks and Time-Series Data / Carlos H.A. Higa ; Vitor H.P. Louzada ; Ronaldo F. Hashimoto
Residue Contexts: Non-sequential Protein Structure Alignment Using Structural and Biochemical Features / Jay W. Kim ; Rahul Singh|77
Essential Proteins Discovery from Weighted Protein Interaction Networks / Min Li ; Jianxin Wang ; Huan Wang ; Yi Pan
Identifying Differentially Abundant Metabolic Pathways in Metagenomic Datasets / Bo Liu ; Mihai Pop
A Novel Approach for Compressing Phylogenetic Trees / Suzanne J. Matthews ; Seung-Jin Sul ; Tiffani L. Williams
Structure of Proximal and Distant Regulatory Elements in the Human Genome (Invited Keynote Talk) / Ivan Ovcharenko
Combinatorics in Recombinational Population Genomics (Invited Keynote Talk) / Laxmi Parida
Uncovering Hidden Phylogenetic Consensus / Nicholas D. Pattengale ; Krister M. Swenson ; Bernard M.E. Moret
An Agglomerate Algorithm for Mining Overlapping and Hierarchical Functional Modules in Protein Interaction Networks / Jun Ren ; Jianâer Chen ; Gang Chen
Fast Protein Structure Alignment / Yosi Shibberu ; Allen Holder ; Kyla Lutz
A Consensus Tree Approach for Reconstructing Human Evolutionary History and Detecting Population Substructure / Ming-Chi Tsai ; Guy Blelloch ; R. Ravi ; Russell Schwartz
Inferring Evolutionary Scenarios for Protein Domain Compositions / John Wiedenhoeft ; Roland Krause ; Oliver Eulenstein
Local Structural Alignment of RNA with Affine Gap Model / Thomas K.F. Wong ; Brenda W.Y. Cheung ; T.W. Lam ; S.M. Yiu
Fast Computation of the Exact Hybridization Number of Two Phylogenetic Trees / Yufeng Wu ; Jiayin Wang
"Master-Slave" Biological Network Alignment / Nicola Ferraro ; Luigi Palopoli ; Simona Panni ; Simona B. Rombo
Deciphering Transcription Factor Binding Patterns from Genome-Wide High Density ChIP-chip Tiling Array Data / Juntao Li ; Lei Zhu ; Majid Eshaghi ; Jianhua Liu ; Radha Krishna Murthy Karuturi
The Expected Fitness Cost of a Mutation Fixation under the One-Dimensional Fisher Model / Liqing Zhang ; Layne T. Watson
Author Index
Tracing the Early Cell Divisions of Mouse Embryos by Single Cell RNA-Seq (Invited Keynote Talk) / Catalin Barbacioru
Successes and Failures of Elegant Algorithms in Computational Biology (Invited Keynote Talk) / Piotr Berman
Modeling without Borders: Creating and Annotating VCell Models
A Scalable Wireless Routing Protocol Secure against Route Truncation Attacks / Amitabh Saxena ; Ben Soh
Probabilistic Vehicular Trace Reconstruction Based on RF-Visual Data Fusion / Saif Al-Kuwari ; Stephen D. Wolthusen
XML and Web Services Security
Throwing a Monkey Wrench into Web Attackers Plans / Armin Büscher ; Michael Meier ; Ralf Benzmüller
Security in OpenSocial-Instrumented Social Networking Services / Matthias Häsel ; Luigi Lo Iacono
Security for XML Data Binding / Nils Gruschka
Watermarking and Multimedia Security
Watermark Detection for Video Bookmarking Using Mobile Phone Camera / Peter Meerwald ; Andreas Uhl
Watermark-Based Authentication and Key Exchange in Teleconferencing Systems / Ulrich Rührmair ; Stefan Katzenbeisser ; Martin Steinebach ; Sascha Zmudzinski
Efficient Format-Compliant Encryption of Regular Languages: Block-Based Cycle-Walking / Thomas Stütz
Analysis and Detection of Malicious Code and Risk Management
Statistical Detection of Malicious PE-Executables for Fast Offline Analysis / Ronny Merkel ; Tobias Hoppe ; Christian Kraetzer ; Jana Dittmann
A Frame of Reference for Research of Integrated Governance, Risk and Compliance (GRC) / Nicolas Racz ; Eagar Weippl ; Andreas Seufert
Business and IT Continuity Benchmarking / Wolfgang Neudorfer ; Louis Marinos ; Ingrid Schaumüller-Bichl
VoIP Security
Peer-to-Peer VoIP Communications Using Anonymisation Overlay Networks / Ge Zhang ; Simone Fischer-Hübner
SIP Proxies: New Reflectors in the Internet / Jordi Jaen Pallares ; Yacine Rebahi
Entropy of Graphical Passwords: Towards an Information-Theoretic Analysis of Face-Recognition Based Authentication / Stefan Rass ; David Schuller ; Christian Kollmitzer
Handwriting Biometric Hash Attack: A Genetic Algorithm with User Interaction for Raw Data Reconstruction / Karl Kümmel ; Claus Vielhauer ; Tobias Scheidat ; Dirk Franke
Privacy Preserving Key Generation for Iris Biometrics / Christian Rathgeb
Applied Cryptography
Generalizations and Extensions of Redactable Signatures with Applications to Electronic Healthcare / Daniel Slamanig
Chosen-Ciphertext Secure Certificateless Proxy Re-Encryption / Chul Sur ; Chae Duk Jung ; Youngho Park ; Kyung Hyune Rhee
Detecting Hidden Encrypted Volumes / Christopher Hargreaves ; Howard Chivers
Secure Communications
Tor HTTP Usage and Information Leakage / Markus Huber ; Martin Mulazzani ; Edgar Weippl
Secure Communication Using Identity Based Encryption / Sebastian Roschke ; Luan Ibraimi ; Feng Cheng ; Christoph Meinel
Anonymous Client Authentication for Transport Layer Security / Kurt Dietrich
Author Index
Keynotes
WiFi and RF Security
A Scalable Wireless Routing Protocol Secure against Route Truncation Attacks / Amitabh Saxena ; Ben Soh
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Grid Computing
Validating Evolutionary Algorithms on Volunteer Computing Grids / Travis Desell ; Malik Magdon-Ismail ; Boleslaw Szymanski ; Carlos A. Varela ; Heidi Newberg ; David P. Anderson
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Challenges Posed by Biometric Technology on Data Privacy Protection and the Way Forward / Roderick B. Woo
The Dangers of Electronic Traces: Data Protection Challenges Presented by New Information Communication Technologies / Nataša Pirc Musar ; Jelena Burnik
Privacy and Biometrics for Authentication Purposes: A Discussion of Untraceable Biometrics and Biometric Encryption / Ann Cavoukian ; Max Snijder ; Alex Stoianov ; Michelle Chibba
From the Economics to the Behavioral Economics of Privacy: A Note / Alessandro Acquisti
Legal Challenges
Legislative and Ethical Questions regarding DNA and Other Forensic "Biometric" Databases / Elazar (Azi) Zadok
Are We Protected? The Adequacy of Existing Legal Frameworks for Protecting Privacy in the Biometric Age / Tim Parker
Have a Safe Trip Global Mobility and Machine Readable Travel Documents: Experiences from Latin America and the Caribbean / Mia Harbitz ; Dana King
Engineering and Social Challenges
On Analysis of Rural and Urban Indian Fingerprint Images / C. Puri ; K. Narang ; A. Tiwari ; M. Vatsa ; R. Singh
Privacy Protection in High Security Biometrics Applications / Nalini K. Ratha
Face Recognition and Plastic Surgery: Social, Ethical and Engineering Challenges / H.S. Bhatt ; S. Bharadwaj
Human Face Analysis: From Identity to Emotion and Intention Recognition / Massimo Tistarelli ; Enrico Grosso
Creating Safe and Trusted Social Networks with Biometric User Authentication / Ho B. Chang ; Klaus G. Schroeter
Ethical and Medical Concerns
Ethical Values for E-Society: Information, Security and Privacy / Stephen Mak
Ethical Issues in Governing Biometric Technologies / Margit Sutrop
Interdisciplinary Approaches to Determine the Social Impacts of Biotechnology / Pei-Fen Chang
Medical Safety Issues Concerning the Use of Incoherent Infrared Light in Biometrics / Nikolaos Kourkoumelis ; Margaret Tzaphlidou
Policy Issues and Deployments in Asia
The Status Quo and Ethical Governance in Biometric in Mainland China / Xiaomei Zhai ; Qiu Renzong
Building an Ecosystem for Cyber Security and Data Protection in India / Vinayak Godse
Challenges in Large Scale Biometrics Identification
The Unique Identification Number Project: Challenges and Recommendations / Haricharan Rengamani ; Ponnurangam Kumaraguru ; Rajarshi Chakraborty ; H. Raghav Rao
The Unique ID Project in India: A Skeptical Note / R. Ramakumar
Author Index
Privacy Protection and Challenges
Challenges Posed by Biometric Technology on Data Privacy Protection and the Way Forward / Roderick B. Woo
The Dangers of Electronic Traces: Data Protection Challenges Presented by New Information Communication Technologies / Nataša Pirc Musar ; Jelena Burnik
An Evolutionary Model Based on Hill-Climbing Search Operators for Protein Structure Prediction / Camelia Chira ; Dragos Horvath ; Dumitru Dumitrescu
Finding Gapped Motifs by a Novel Evolutionary Algorithm / Chengwei Lei ; Jianhua Ruan
Top-Down Induction of Phylogenetic Trees / Celine Vens ; Eduardo Costa ; Hendrik Blockeel
A Model Free Method to Generate Human Genetics Datasets with Complex Gene-Disease Relationships / Casey S. Green ; Daniel S. Himmelstein ; Jason H. Moore
Grammatical Evolution of Neural Networks for Discovering Epistasis among Quantitative Trait Loci / Stephen D. Turner ; Scott M. Dudek ; Marylyn D. Ritchie
Grammatical Evolution Decision Trees for Detecting Gene-Gene Interactions / Sushamna Deodhar ; Alison Motsinger-Reif
Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques / Leonardo Vanneschi ; Antonella Farinaccio ; Mario Giacobini ; Giancarlo Mauri ; Marco Antoniotti ; Paolo Provero
Correlation-Based Scatter Search for Discovering Biclusters from Gene Expression Data / Juan A. Nepomuceno ; Alicia Troncoso ; Jesús S. Aguilar-Ruiz
A Replica Exchange Monte Carlo Algorithm for the Optimization of Secondary Structure Packing in Proteins / Leonidas Kapsokalivas ; Kathleen Steinhöfel
Improving Multi-Relief for Detecting Specificity Residues from Multiple Sequence Alignments / Elena Marchiori
Using Probabilistic Dependencies Improves the Search of Conductance-Based Compartmental Neuron Models / Roberto Santana ; Concha Bielza ; Pedro Larrañaga
Posters
The Informative Extremes: Using Both Nearest and Farthest Individuals Can Improve Relief Algorithms in the Domain of Human Genetics / Casey S. Greene ; Jeff Kiralis
Artificial Immune Systems for Epistasis Analysis in Human Genetics / Nadia M. Penrod ; Delaney Granizo-MacKenzie
Metaheuristics for Strain Optimization Using Transcriptional Information Enriched Metabolic Models / Paulo Vilaça ; Paulo Maia ; Isabel Rocha ; Miguel Roch
Using Rotation Forest for Protein Fold Prediction Problem: An Empirical Study / Abdollah Dehzangi ; Somnuk Phon-Amnuaisuk ; Mahmoud Manafi ; Soodabeh Safa
Towards Automatic Detecting of Overlapping Genes - Clustered BLAST Analysis of Viral Genomes / Klaus Neuhaus ; Daniela Oelke ; David Fürst ; Siegfried Scherer ; Daniel A. Keim
Investigating Populational Evolutionary Algorithms to Add Vertical Meaning in Phylogenetic Trees / Francesco Cerutti ; Luigi Bertolotti ; Tony L. Goldberg
Author Index
Variable Genetic Operator Search for the Molecular Docking Problem / Salma Mesmoudi ; Jorge Tavares ; Laetitia Jourdan ; El-Ghazali Talbi
Role of Centrality in Network-Based Prioritization of Disease Genes / Sinan Erten ; Mehmet Koyutürk
Cryptographic and Physical Zero-Knowledge Proof: From Sudoku to Nonogram / Yu-Feng Chien ; Wing-Kai Hon
A Better Bouncer's Algorithm / Travis Gagie ; Anthony J. Macula ; Martin Milanic ; Eberhard Triesch
Tradeoffs in Process Strategy Games with Application in the WDM Reconfiguration Problem / Nathann Cohen ; David Coudert ; Dorian Mazauric ; Napoleão Nepomuceno ; Nicolas Nisse
UNO Is Hard, Even for a Single Player / Takeaki Uno ; Yushi Uno
Leveling-Up in Heroes of Might and Magic III / Dimitrios I. Diochnos
The Magic of a Number System / Amr Elmasry ; Claus Jensen ; Jyrki Katajainen
An Algorithmic Analysis of the Honey-Bee Game / Domenico Cantone ; Simone Faro ; Emanuele Giaquinta ; Rudolf Fleischer ; Gerhard J. Woeginger
Mapping an Unfriendly Subway System / Paola Flocchini ; Matthew Kellett ; Peter C. Mason ; Nicola Santoro
Cracking Bank PINs by Playing Mastermind / Riccardo Focardi ; Flaminia L. Luccio
Computational Complexity of Two-Dimensional Platform Games / Michal Forišek
Christmas Gift Exchange Games / Arpita Ghosh ; Mohammad Mahdian
Return of the Boss Problem: Competing Online against a Non-adaptive Adversary / Magnús M. Halldórsson ; Hadas Shachnai
Managing Change in the Era of the iPhone / Patrick Healy
The Computational Complexity of RaceTrack / Markus Holzer ; Pierre McKenzie
Simple Wriggling Is Hard Unless You Are a Pat Hippo / Irina Kostitsyna ; Valentin Polishchuk
The Urinal Problem / Evangelos Kranakis ; Danny Krizanc
Fighting Censorship with Algorithms
The Complexity of Flood Filling Games / David Arthur ; Raphaël Clifford ; Markus Jalsenius ; Ashley Montanaro ; Benjamin Sack
The Computational Complexity of the Kakuro Puzzle, Revisited / Oliver Ruepp
Symmetric Monotone Venn Diagrams with Seven Curves / Tao Cao ; Khalegh Mamakani ; Frank Ruskey
The Feline Josephus Problem / Aaron Williams
Scheduling with Bully Selfish Jobs / Tami Tamir
O(1)-Time Unsorting by Prefix-Reversals in a Boustrophedon Linked List
Author Index
Fun with Olympiad in Algorithmes (Invited Talk) / Roberto Grossi ; Alessio Orlandi ; Giuseppe Ottaviano
The FUNnest Talks That belong to FUN (Abstract) (Invited Talk) / Prabhakar Raghavan
Fun with Games (Invited Talk) / Paul G. Spirakis ; Ioannis Chatzigiannakis ; Georgios Mylonas ; Panagiota N. Panagopoulou
When Designers Are Not in Control - Experiences from Using Action Research to Improve Researcher-Developer Collaboration in Design Science Research / Anders Hjalmarsson ; Daniel Rudmark ; Mikael Lind
Relevance through Consortium Research? Findings from an Expert Interview Study / Boris Otto ; Hubert Österle
Taking a Project Management Perspective on Design Science Research / Jan vom Brocke ; Sonia Lippe
Reflecting Design Science Research
A Multi-Grounded Design Research Process / Göran Goldkuhl
Relevance and Problem Choice in Design Science / Roel Wieringa
Artifact Types in Information Systems Design Science - A Literature Review / Philipp Offermann ; Sören Blom ; Marten Schönherr ; Udo Bub
Quo Vadis, Design Science? - A Survey of Literature / Kalle Piirainen ; Rafael A. Gonzalez ; Gwendolyn Kolfschoten
Design Science Research Post Hevner et al.: Criteria, Standards, Guidelines, and Expectations / John R. Venable
Meta-Analysis of Design Science Research within the IS Community: Trends, Patterns, and Outcomes / Olusola Samuel-Ojo ; Doris Shimabukuro ; Samir Chatterjee ; Musangi Muthui ; Tom Babineau ; Pimpaka Prasertsilp ; Shaimaa Ewais ; Mark Young
Design Research Techniques
Comparing Two Software Design Process Theories / Paul Ralph
The Ecology of Learning-by-Building: Bridging Design Science and Natural History of Knowledge / Marco De Marco ; Renato Fiocca ; Francesca Ricciardi
On Computer Simulation as a Component in Information Systems Research / Sebastian Hudert ; Christoph Niemann ; Torsten Eymann
Design and Context
Design Logic and the Ambiguity Operator / Richard Baskerville ; Jan Pries-Heje
Information Model-Based Configuration of Situational Methods - A Foundation for Design Research Applying Situational Method Configuration / René Fitterer
A Methodology for Content-Centered Design of Ambient Environments / Sabine Janzen ; Tobias Kowatsch ; Wolfgang Maass
Design and Organisation
Extending the Design and Engineering Methodology for Organizations with the Generation Operationalization and Discontinuation Organization / David Aveiro ; A. Rito Silva ; José Tribolet
Towards Deterministically Constructing Organizations Based on the Normalized Systems Approach / Dieter Van Nuffel ; Philip Huysmans ; David Bellens ; Kris Ven
Harness Mobility: Managing the Off-Task Property / Bo Andersson ; Christina Keller
Design and Information
Dynamically Generating Context-Relevant Sub-Webs / Art Vandenberg ; Vijay K. Vaishnavi ; Saravanaraj Duraisamy ; Tianjie Deng
Designing Business-Intelligence Tools with Value-Driven Recommendations / Adir Even ; Yoav Kolodner ; Roy Varshavsky
Process Performance Management - Identifying Stereotype Problem Situations as a Basis for Effective and Efficient Design Research / Anne Cleven ; Felix Wortmann ; Robert Winter
Design Research Exemplars
The Design of Focus Area Maturity Models / Marlies van Steenbergen ; Rik Bos ; Sjaak Brinkkemper ; Inge van de Weerd ; Willem Bekkers
Applying Design Research Artifacts for Building Design Research Artifacts: A Process Model for Enterprise Architecture Planning / Stephan Aier ; Bettina Gleichauf
Realization Approaches of Customer Relationship Management - A Design Science Research Contribution to Support the Construction of Situational CRM Artifacts / Anke Gericke ; Tobias Bucher
The Instance-Based Multilevel Security Model / Jeffrey Parsons ; Jianmin Su
A Negotiation Based Approach for Service Composition / Sherry X. Sun ; Jing Zhao ; Huaiqing Wang
Usability through System-User Collaboration: Deriving Design Principles for Greater ERP Usability / Tamara Babaian ; Wendy Lucas ; Jennifer Xu ; Heikki Topi
Design and Behaviour
Instruction Manual Usage: A Comparison of Younger People, Older People and People with Cognitive Disabilities / Abdusselam Selami Cifter ; Hua Dong
FASTS: FAcets Structured Tag Space - A Novel Approach to Organize and Reuse Social Bookmarking Tags / Sudha Ram ; Wei Wei
Twitter Me: Using Micro-blogging to Motivate Teenagers to Exercise / Mark Mingyi Young
Designing Collaboration
Designing for Light-Weight Collaboration: The Case of Interactive Citizens' Advisory Services / Gerhard Schwabe ; Claudia Bretscher ; Birgit Schenk
Design for Business Innovation: Linking the Value Chains of Logistics Service and Cargo Insurance Companies by Designing a Collaborative Service Infrastructure / Alexander C.H. Skorna ; Christoph Bode ; Oliver Baecker ; Elgar Fleisch
Design and Requirements Engineering
A Requirements Engineering Method Designed for the Blind / Tuure Tuunanen ; Ken Peffers ; Simeon Hebler
Assessing Project Effort in Requirements Engineering: A Report on Design Research in Progress / Frank Zichert ; Roman Beck
Systematic Development of Business-Driven Requirements - Using Next-Generation EIS Design as an Example / Jörg H. Mayer ; Frederik Marx
Short Papers
Systematization of Maturity Model Extensions / Gerrit Lahrmann
Process Design as Basis for Comprehensive Process Modeling / Stefan Jablonski ; Stephanie Meerkamm
Design Science Research Engagement: Proposal for an Engagement Approach for Company Collaboration / Anita Friis Sommer ; Charles Møller
Design Science in Research Cooperations with the Industry: Findings from Three Prototyping Projects / Sven Weber ; Robert Gregory
Towards a Theory on Collaborative Decision Making in Enterprise Architecture / Agnes Nakakawa ; Patrick van Bommel ; Erik Proper
In Pursuit of IT Artifact Generality: The Case of Predictive Model for Electronic Negotiation Support / Rustam Vahidov ; Réal André Carbonneau ; Gregory E. Kersten
Use Cases for Business Metadata - A Viewpoint-Based Approach to Structuring and Prioritizing Business Needs / Daniel Stock
The IT-CMF: A Practical Application of Design Science / Brian Donnellan ; Markus Helfert
Ontology Design for Strategies to Metrics Mapping / Fatemeh "Mariam" Zahedi ; Atish P. Sinha
Naturalistic and Artificial Evaluations of Personas and Role-Based Enterprise Systems / Sven Carlsson ; Bjö;rn Johansson
Author Index
Organising Design Research
When Designers Are Not in Control - Experiences from Using Action Research to Improve Researcher-Developer Collaboration in Design Science Research / Anders Hjalmarsson ; Daniel Rudmark ; Mikael Lind
Relevance through Consortium Research? Findings from an Expert Interview Study / Boris Otto ; Hubert Österle
Security Analysis and Validation for Access Control in Multi-domain Environment Based on Risk / Zhuo Tang ; Shaohua Zhang ; Kenli Li ; Benming Feng
A Proposal of Appropriate Evaluation Scheme for Exchangeable CAS (XCAS) / Yu-na Hwang ; Hanjae Jeong ; Sungkyu Cho ; Songyi Kim ; Dongho Won ; Seungjoo Kim
Identity Management
A Trustworthy ID Management Mechanism in Open Market / Inkyung Jeun
Can Research-Based Technology Change School-Based Learning? Perspectives from Singapore / Chee-Kit Looi
Modeling Emotion and Its Expression / Stacy Marsella
Active Learning in Technology-Enhanced Environments: On Sensible and Less Sensible Conceptions of "Active" and Their Instructional Consequences / Alexander Renkl
Riding the Third Wave / Steven Ritter
Social and Caring Tutors: ITS 2010 Keynote Address / Beverly Park Woolf
Educational Data Mining 1
Predicting Correctness of Problem Solving in ITS with a Temporal Collaborative Filtering Approach / Suleyman Cetintas ; Luo Si ; Yan Ping Xin ; Casey Hord
Detecting the Moment of Learning / Ryan S.J.d. Baker ; Adam B. Goldstein ; Neil T. Heffernan
Comparing Knowledge Tracing and Performance Factor Analysis by Using Multiple Model Fitting Procedures / Yue Gong ; Joseph E. Beck
Natural Language Interaction 1
Automatic Question Generation for Literature Review Writing Support / Ming Liu ; Rafael A. Calvo ; Vasile Rus
Characterizing the Effectiveness of Tutorial Dialogue with Hidden Markov Models / Kristy Elizabeth Boyer ; Robert Philips ; Amy Ingram ; Eun Young Ha ; Michael Wallis ; Mladen Vouk ; James Lester
Exploiting Predictable Response Training to Improve Automatic Recognition of Children's Spoken Responses / Wei Chen ; Jack Mostow ; Gregory Aist
ITS in Ill-Defined Domains
Leveraging a Domain Ontology to Increase the Quality of Feedback in an Inteligent Tutoring System / Hameedullah Kazi ; Peter Haddawy ; Siriwan Suebnukarn
Modeling Long Term Learning of Generic Skills / Richard Gluga ; Judy Kay ; Tim Lever
Eliciting Informative Feedback in Peer Review: Importance of Problem-Specific Scaffolding / Ilya M. Goldin ; Kevin D. Ashley
Inquiry Learning
Layered Development and Evaluation for Intelligent Support in Exploratory Environments: The Case of Microworlds / Sergio Gutierrez-Santos ; Manolis Mavrikis ; George Magoulas
The Invention Lab: Using a Hybrid of Model Tracing and Constraint-Based Modeling to Offer Intelligent Support in Inquiry Environments / Ido Roll ; Vincent Aleven ; Kenneth R. Koedinger
Discovering and Recognizing Student Interaction Patterns in Exploratory Learning Environments / Andrea Bernardini ; Cristina Conati
Collaborative and Group Learning 1
Lesson Study Communities on Web to Support Teacher Collaboration for Professional Development / Yukari Kato ; Masatoshi Ishikawa
Using Problem-Solving Context to Assess Help Quality in Computer-Mediated Peer Tutoring / Erin Walker ; Sean Walker ; Nikol Rummel
Facial Expressions and Politeness Effect in Foreign Language Training System / Ning Wang ; W. Lewis Johnson ; Jonathan Gratch
Intercultural Negotiation with Virtual Humans: The Effect of Social Goals on Gameplay and Learning / Amy Ogan ; Julia Kim ; Christopher Jones
Gaming the System
An Analysis of Gaming Behaviors in an Intelligent Tutoring System / Kasia Muldner ; Winslow Burleson ; Brett Van de Sande ; Kurt VanLehn
The Fine-Grained Impact of Gaming (?) on Learning / Elijah Forbes-Summers
Squeezing Out Gaming Behavior in a Dialog-Based ITS / Peter Hastings ; Elizabeth Arnott-Hill ; David Allbritton
Pedagogical Strategies 1
Analogies, Explanations, and Practice: Examining How Task Types Affect Second Language Grammar Learning / Ruth Wylie ; Teruko Mitamura
Do Micro-Level Tutorial Decisions Matter: Applying Reinforcement Learning to Induce Pedagogical Tutorial Tactics / Min Chi ; Diane Litman
Examining the Role of Gestures in Expert Tutoring / Betsy Williams ; Claire Williams ; Nick Volgas ; Brian Yuan ; Natalie Person
Affect 1
A Time for Emoting: When Affect-Sensitivity Is and Isn't Effective at Promoting Deep Learning / Sidney D'Mello ; Blair Lehman ; Jeremiah Sullins ; Rosaire Daigle ; Rebekah Combs ; Kimberly Vogt ; Lydia Perkins ; Art Grasser
The Affective and Learning Profiles of Students Using an Intelligent Tutoring System for Algebra / Maria Carminda V. Lagud ; Ma. Mercedes T. Rodrigo
The Impact of System Feedback on Learners' Affective and Physiological States / Payam Aghaei Pour ; M. Sazzad Hussain ; Omar Alzoubi
Games and Augmented Reality
Investigating the Relationship between Presence and Learning in a Serious Game / H. Chad Lane ; Matthew J. Hays ; Daniel Auerbach ; Mark G. Core
Developing Empirically Based Student Personality Profiles for Affective Feedback Models / Jennifer Robison ; Scott McQuiggan
Pedagogical Agents, Learning Companions, and Teachable Agents
What Do Children Favor as Embodied Pedagogical Agents? / Sylvie Girard ; Hilary Johnson
Learning by Teaching SimStudent: Technical Accomplishments and an Initial Use with Students / Noboru Matsuda ; Victoria Keiser ; Rohan Raizada ; Arthur Tu ; Gabriel Stylianides ; William W. Cohen
The Effect of Motivational Learning Companions on Low Achieving Students and Students with Disabilities / Ivon Arroyo ; David G. Cooper ; Robert Dolan ; Robert M. Christopherson
Intelligent Tutoring and Scaffolding 1
Use of a Medical ITS Improves Reporting Performance among Community Pathologists / Rebecca Crowley ; Dana Grzybicki ; Elizabeth Legowski ; Lynn Wagner ; Melissa Castine ; Olga Medvedeva ; Eugene Tseytlin ; Drazen Jukic ; Stephen Raab
Hints: Is It Better to Give or Wait to be Asked? / Leena Razzaq
Error-Flagging Support for Testing and Its Effect on Adaptation / Amruth N. Kumar
Metacognition
Emotions and Motivation on Performance during Multimedia Learning: How Do I Feel and Why Do I Care? / Amber Chauncey ; Roger Azevedo
Metacognition and Learning in Spoken Dialogue Computer Tutoring / Kate Forbes-Riley
A Self-regulator for Navigational Learning in Hyperspace / Akihiro Kashihara ; Ryoya Kawai
Pedagogical Strategies 2
How Adaptive Is an Expert Human Tutor? / Michelene T.H. Chi and Marguerite Roy
Blocked Versus Interleaved Practice with Multiple Representations in an Intelligent Tutoring System for Fractions / Martina A. Rau
Improving Math Learning through Intelligent Tutoring and Basic Skills Training / James M. Royer ; Minghui Tai ; Sara English
Author Index
Invited Talks
Can Research-Based Technology Change School-Based Learning? Perspectives from Singapore / Chee-Kit Looi
Modeling Emotion and Its Expression / Stacy Marsella
Agreement and Cliticization in Italian: A Pregroup Analysis / Claudia Casadio
Geometricity of Binary Regular Languages / Jean-Marc Champarnaud ; Jean-Philippe Dubernard ; Hadrien Jeanne
On the Expressive Power of FO[+] / Christain Choffrut ; Andreas Malcher ; Carlo Mereghetti ; Beatrice Palano
Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach / Christophe Costa ; Florêncio ; Henning Fernau
Operator Precedence and the Visibly Pushdown Property / Stefano Crespi Reghizzi ; Dino Mandrioli
On the Maximal Number of Cubic Runs in a String / Maxime Crochemore ; Costas Iliopoulos ; Marcin Kubica ; Jakub Radoszewski ; Wojciech Rytter ; Tomasz Walen
On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT / William Cruz-Santos ; Guillermo Morales-Luna
Parametric Metric Interval Temporal Logic / Barbara Di Giampaolo ; Salvatore La Torre ; Margherita Napoli
Short Witnesses and Accepting Lassos in ?-Automata / Rüdiger Ehlers
Grammar-Based Compression in a Streaming Model / Travis Gagie ; Pawel Gawrychowski
Simplifying Regular Expressions: A Quantitative Perspective / Hermann Gruber ; Stefan Gulan
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks / Reinhard Hemmerling ; KatarÃna Smolenová ; Winfried Kurth
The Inclusion Problem for Regular Expressions / Dag Hovland
Learnability of Automatic Classes / Sanjay Jain ; Qinglong Luo ; Frank Stephan
Untestable Properties Expressible with Four First-Order Quantifiers / Charles Jordan ; Thomas Zeugmann
The Copying Power of Well-Nested Multiple Context-Free Grammars / Makoto Kanazawa ; Sylvain Salvati
Post Correspondence Problem with Partially Commutative Alphalbets / Barbara Klunder
Reversible Pushdown Automata / Martin Kutrib
String Extension Learning Using Lattices / Anna Kasprzik ; Timo Kötzing
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape / Alexander A. Letichevsky ; Arsen S. Shoukourian ; Samvel K. Shoukourian
Primitive Words are Unavoidable for Coutext-Free Languages / Peter Leupold
Model Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness
Hard Counting Problems for Partial Words / Florin Manea ; Catalin Tiseanu
Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms with Probabilistic Arithmetic Automata / Tobias Marschall ; Sven Rahmann
SA-REPC - Sequence Alignment with Regular Expression Path Constraint / Nimrod Milo ; Tamar Pinhas ; Michal Ziv-Ukelson
CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages / Benedek Nagy ; Friedrich Otto
A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems / Turlough Neary
Using Sums-of-Products for Non-standard Reasoning / Rafael Peñaloza
Overview of the Ninth Annual Meeting of the BioLINK SIG at ISMB: Linking Literature, Information and Knowledge for Biology / Christian Blaschke ; Lynette Hirschman ; Hagit Shatkay ; Alfonso Valencia
Principles of Bioimage Informatics: Focus on Machine Learning of Cell Patterns / Luis Pedro Coelho ; Estelle Glory-Afshar ; Joshua Kangas ; Shannon Quinn ; Aabid Shariff ; Robert F. Murphy
Summary of the BioLINK Special Interest Group Session on the Future of Scientific Publishing / Scott Markel
Sturctured Literature Image Finder: Extracting Information from Text and Images in Biomedical Literature / LuÃs Pedro Coelho ; Amr Ahmed ; Andrew Arnold ; Abdul-Saboor Sheikh ; Eric P. Xing ; Willam W. Cohen
Toward Computer-Assisted Text Curation: Classification Is Easy (Choosing Training Data Can Be Hard...) / Robert Denroche ; Ramana Madupu ; Shibu Yooseph ; Granger Sutton
Mining Protein-Protein Interactions from GeneRIFs with OpenDMAP / Andrew D. Fox ; William A. Baumgartner Jr. ; Helen L. Johnson ; Lawrence E. Hunter ; Donna K. Slonim
Combining Semantic Relations and DNA Microarray Data for Novel Hypotheses Generation / Dimitar Hristovski ; Andrej Kastrin ; Borut Peterlin ; Thomas C. Rindflesch
Learning from Positive and Unlabeled Documents for Retrieval of Bacterial Protein-Protein Interaction Literature / Hongfang Liu ; Manabu Torii ; Guixian Xu ; Zhangzhi Hu ; Johannes Goll
Overview of the Ninth Annual Meeting of the BioLINK SIG at ISMB: Linking Literature, Information and Knowledge for Biology / Christian Blaschke ; Lynette Hirschman ; Hagit Shatkay ; Alfonso Valencia
Principles of Bioimage Informatics: Focus on Machine Learning of Cell Patterns / Luis Pedro Coelho ; Estelle Glory-Afshar ; Joshua Kangas ; Shannon Quinn ; Aabid Shariff ; Robert F. Murphy
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways / Philip Koopman ; Justin Ray
Green IT - The Power Saving Challenge and ICT Solutions / Paul J. Kühn
In Memoriam: Eulogy on Gunter Bolch
In Memory of Dr. Gunter Bolch / Martin Paterok ; Hermann de Meer ; Patrick Wüchner
Full Papers
Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration / Klaus Echtle ; Thorsten Kimmeskamp
Software Reliability Assessment Based on the Evaluation of Operational Experience / Sven Söhnlein ; Francesca Saglietti ; Frank Bitzer ; Matthias Meitner ; Siegfried Baryschew
Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks / Soubhi Mohamed
User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups / Christian Hübsch ; Christoph P. Mayer ; Oliver P. Waldhorst
Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute / David Hock ; Matthias Hartmann ; Christian Schwartz ; Michael Menth
Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support / Andrey Kolesnikov ; Martin Kulas
Analyzing Energy Consumption in a Gossiping MAC Protocol / Haidi Yue ; Henrik Bohnenkamp ; Joost-Pieter Katoen
Defining and Measuring Performance Characteristics of Current Video Games / Till Fischer ; Axel Böttcher ; Aaron Coday ; Helena Liebelt
Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites / Joachim Charzinski
Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks / Vittoria de Nitto Personè ; Andreas Pillekeit ; Matteo Iacari
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks / Anne Remke ; Boudewijn R. Haverkort ; Geert Heijenk ; Jesper Bax
CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds / Simon Frohn ; Sascha Gübner ; Christoph Lindemann
The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System / Lothar Breuer
Accuracy of Strong and Weak Comparisons for Network of Queues / Hind Castel-Taleh ; Nihal Pekergin
Searching for Tight Performance Bounds in Feed-Forward Networks / Andreas Kiefer ; Nicos Gollan ; Jens B. Schmitt
An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times / Alfred Kume
An Empirical Comparison of MAP Fitting Algorithms / Jan Kriege ; Peter Buchholz
Reducing the Cost of Generating APH-Distributed Random Numbers / Philipp Reinecke ; Miklós Telek ; Katinka Wolter
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains / Ralf Wimmer ; Bernd Becker
Tool Papers
ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks / David Stezenbach
SyLaGen - An Extendable Tool Environment for Generating Load / Michael Striewe ; Moritz Balz ; Michael Goedicke
ProFiDo - A Toolkit for Fitting Input Models / Falko Bause ; Philipp Gerloff
ProC/B for Networks: Integrated INET Models / Sebastian Vastag
DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS / Sascha Geeren ; Falk Hoppe ; Axel Langhoff ; Bruno Müller-Clostermann
Author Index
Invited Talks
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways / Philip Koopman ; Justin Ray
Green IT - The Power Saving Challenge and ICT Solutions / Paul J. Kühn
Aspect-Oriented Business Process Modeling with AO4BPMN / Anis Charfi ; Heiko Müller ; Mira Mezini
A Reflective Approach to Model-Driven Web Engineering / Darren Clowes ; Dimitris Kolovos ; Chris Holmes ; Louis Rose ; Richard Paige ; Julian Johnson ; Ray Dawson ; Steve Probets
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study / Pietro Colombo ; Ferhat Khendek ; Luigi Lavazza
Model-Driven Engineering of Machine Executable Code / Michael Eichberg ; Martin Monperrus ; Sven Kloppenburg
eSPEM - A SPEM Extension for Enactable Behavior Modeling / Ralf Ellner ; Samir Al-Hilank ; Johannes Drexler ; Martin Jung ; Detlef Kips ; Michael Philippsen
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework / Jendrik Johannes ; Miguel A. Fernández
Model-Based Development of Automotive Electronic Climate Control Software / Rupesh Kakade ; Mohan Murugesan ; Bhupal Perugu ; Mohanan Nair
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search / Marouane Kessentini ; Arbi Bouchoucha ; Houari Sahraoui ; Mounir Boukadoum
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms / Mathias Kleiner ; Marcos Didonet Del Fabro ; Patrick Albert
MoPCoM Methodology: Focus on Models of Computation / Ali Koudri ; Joël Champeau ; Jean-Christophe Le Lann ; Vincent Leilde
Dynamic Computation of Change Operations in Version Management of Business Process Models / Jochen Malte Küster ; Christian Gerth ; Gregor Engels
Detecting Inconsistencies in Multi-View Models With Variability / Roberto Erick Lopez-Herrejon ; Alexander Egyed
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces / Kouichi Ono ; Manabu Toyota ; Ryo Kawahara ; Yoshifumi Sakamoto ; Takeo Nakada ; Naoaki Fukuoka
Concordance: A Framework for Managing Model Integrity / Louis M. Rose ; Dimitrios S. Kolovos ; Nicholas Drivalos ; James R. Williams ; Richard F. Paige ; Fiona A.C. Polack ; Kiran J. Fernandes
An Integrated Facet-Based Library for Arbitrary Software Components / Matthias Schmidt ; Jan Polowinski
Precise Specification of Design Pattern Structure and Behaviour / Ashley Sterritt ; Siobhán Clarke ; Vinny Cahill
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy / Salvador Trujillo ; Jose Miguel Garate ; Xabier Mendialdua ; Albert Rosado ; Charles W. Krueger ; Josune de Sosa
On the Combination of Domain Specific Modeling Languages / Antonio Vallecillo
Joint Language and Domain Engineering / Tobias Walter ; Fernando Silva Parreiras ; Steffen Staab ; Jürgen Ebert
An Automated Approach to Transform Use Cases into Activity Diagrams / Tao Yue ; Lionel C. Briand ; Yuan Labiche
Author Index
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering (Invited Talk) / Colin Atkinson
The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson (Invited Talk) / Diarmuid Corcoran
Comparing Approaches to Implement Feature Model Composition / Mathieu Acher ; Philippe Collet ; Philippe Lahire ; Robert France
Properties of the Discrete Differential with Cryptographic Applications / Daniel Smith-Tone
Growth of the Ideal Generated by a Quadratic Boolean Function / Jintai Ding ; Timothy J. Hodges ; Victoria Kruglov
Mutant Zhuang-Zi Algorithm / Dieter S. Schmidt
Cryptanalysis of Two Quartic Encryption Schemes and One Improved MFE Scheme / Weiwei Cao ; Xiuyun Nie ; Lei Hu ; Xiling Tang
Cryptanalysis of Code-Based Systems
Cryptanalysis of the Niederreiter Public Key Scheme Based on GRS Subcodes / Christian Wieschebrink
Grover vs. McEliece / Daniel J. Bernstein
A Timing Attack against the Secret Permutation in the McEliece PKC / Christiane Peters ; Falko Strenzke
Practical Power Analysis Attacks on Software Implementations of McEliece / Stefan Heyse ; Amir Moradi ; Christof Paar
Design of Encryption Schemes
Key Exchange and Encryption Schemes Based on Non-commutative Skew Polynomials / Delphine Boucher ; Philippe Gaborit ; Willi Geiselmann ; Olivier Ruatta ; Felix Ulmer
Designing a Rank Metric Based McEliece Cryptosystem / Pierre Loidreau
Secure Variants of the Square Encryption Scheme / Crystal Lee Clough
Low-Reiter: Niederreiter Encryption Scheme for Embedded Microcontrollers
Design of Signature Schemes
Strongly Unforgeable Signatures and Hierarchical Identity-Based Signatures from Lattices without Random Oracles / Markus Rückert
Proposal of a Signature Scheme Based on STS Trapdoor / Shigeo Tsujii ; Masahito Gotaishi ; Kohtaro Tadaki ; Ryo Fujita
Selecting Parameters for the Rainbow Signature Scheme / Albrecht Petzoldt ; Stanislav Bulygin ; Johannes Buchmann
Index
Cryptanalysis of Multivariate Systems
Properties of the Discrete Differential with Cryptographic Applications / Daniel Smith-Tone
Growth of the Ideal Generated by a Quadratic Boolean Function / Jintai Ding ; Timothy J. Hodges ; Victoria Kruglov
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model / Kristiyan Haralambiev ; Tibor Jager ; Eike Kiltz ; Victor Shoup
Constant Size Ciphertexts in Threshold Attribute-Based Encryption / Javier Herranz ; Fabien Laguillaumie ; Carla RÃ fols
Cryptanalysis
Algebraic Cryptanalysis of the PKC'2009 Algebraic Surface Cryptosystem / Jean-Charles Faugère ; Pierre-Jean Spaenlehauer
Maximizing Small Root Bounds by Linearization and Applications to Small Secret Exponent RSA / Mathias Herrmann ; Alexander May
Constant-Round Concurrent Non-Malleable Statistically Binding Commitments and Decommitments / Zhenfu Cao ; Ivan Visconti ; Zongyang Zhang
Elliptic Curves
Faster Squaring in the Cyclotomic Subgroup of Sixth Degree Extensions / Robert Granger ; Michael Scott
Faster Pairing Computations on Curves with High-Degree Twists / Craig Costello ; Tanja Lange ; Michael Naehrig
Efficient Arithmetic on Hessian Curves / Reza R. Farashahi ; Marc Joye
Lossy Trapdoor Functions
CCA Proxy Re-Encryption without Bilinear Maps in the Standard Model / Toshihide Matsuda ; Ryo Nishimaki ; Keisuke Tanaka
More Constructions of Lossy and Correlation-Secure Trapdoor Functions / Oded Goldreich ; Alon Rosen ; Gil Segev
Chosen-Ciphertext Security from Slightly Lossy Trapdoor Functions / Petros Mol ; Scott Yilek
Protocols II
Efficient Set Operations in the Presence of Malicious Adversaries / Carmit Hazay ; Kobbi Nissim
Text Search Protocols with Simulation Based Security / Jeffrey S. Sorensen
Discrete Logarithm
Using Equivalence Classes to Accelerate Solving the Discrete Logarithm Problem in a Short Interval / Takuya Hayashi ; Naoyuki Shinohara ; Lihua Wang ; Shin'ichiro Matsuo ; Masaaki Shirase ; Tsuyoshi Takagi ; Steven D. Galbraith ; Raminder S. Ruprai
Encryption II
Functional Encryption for Inner Product: Achieving Constant-Size Ciphertexts with Adaptive Security or Support for Negation / Nuttapong Attrapadung ; Benoît Libert
Security of Encryption Schemes in Weakened Random Oracle Models (Extended Abstract) / Akinori Kawachi ; Akira Numayama ; Keita Xagawa
Fully Homomorphic Encryption with Relatively Small Key and Ciphertext Sizes / Frederik Vercauteren
Signatures
Unlinkability of Sanitizable Signatures / Christina Brzuska ; Marc Fischlin ; Anja Lehmann ; Dominique Schröder
Confidential Signatures and Deterministic Signcryption / Alexander W. Dent ; Mark Manulis ; Martijn Stam
Identity-Based Aggregate and Multi-signature Schemes Based on RSA / Ali Bagherzandi ; Stanislaw Jarecki
Lattice Mixing and Vanishing Trapdoors: A Framework for Fully Secure Short Signatures and More
Author Index
Encryption I
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model / Kristiyan Haralambiev ; Tibor Jager ; Eike Kiltz ; Victor Shoup
Constant Size Ciphertexts in Threshold Attribute-Based Encryption / Javier Herranz ; Fabien Laguillaumie ; Carla RÃ fols
Inference of Isoforms from Short Sequence Reads (Extended Abstract) / Jianxing Feng ; Wei Li ; Tao Jiang
The Clark Phase-able Sample Size Problem: Long-Range Phasing and Loss of Heterozygosity in GWAS / Bjarni V. Halldórsson ; Derek Aguiar ; Ryan Tarpine ; Sorin Istrail
A New Algorithm for Improving the Resolution of Cryo-EM Density Maps / Michael Hirsch ; Bernhard Schölkopf ; Michael Habeck
Towards Automated Structure-Based NMR Resonance Assignment / Richard Jang ; Xin Gao ; Ming Li
Gapped Spectral Dictionaries and Their Applications for Database Searches of Tandem Mass Spectra / Kyowon Jeong ; Sangtae Kim ; Nuno Bandeira ; Pavel A. Pevzner
naiveBayesCall: An Efficient Model-Based Base-Calling Algorithm for High-Throughput Sequencing / Wei-Chun Kao ; Yun S. Song
Extracting Between-Pathway Models from E-MAP Interactions Using Expected Graph Compression / David R. Kelley ; Carl Kingsford
Simultaneous Identification of Causal Genes and Dys-Regulated Pathways in Complex Diseases / Yoo-Ah Kim ; Stefan Wuchty ; Teresa M. Przytycka
Incremental Signaling Pathway Modeling by Data Integration / Geoffrey Koh ; David Hsu ; P.S. Thiagarajan
The Poisson Margin Test for Normalisation Free Significance Analysis of NGS Data / Adam Kowalczyk ; Justin Bedo ; Thomas Conway ; Bryan Beresford-Smith
Compressing Genomic Sequence Fragments Using SLIMGENE / Christos Kozanitis ; Chris Saunders ; Semyon Kruglyak ; Vineet Bafna ; George Varghese
On the Genealogy of Asexual Diploids / Fumei Lam ; Charles H. Langley
Genovo: De Novo Assembly for Metagenomes / Jonathan Laserson ; Vladimir Jojic ; Daphne Koller
MoGUL: Detecting Common Insertions and Deletions in a Population / Seunghak Lee ; Eric Xing ; Michael Brudno
Generalized Buneman Pruning for Inferring the Most Parsimonious Multi-state Phytogeny / Navodit Misra ; Guy Blelloch ; R. Ravi ; Russell Schwartz
Accurate Estimation of Expression Levels of Homologous Genes in RNA-seq Experiments / Bogdan Pasaniuc ; Noah Zaitlen ; Eran Halperin
Cactus Graphs for Genome Comparisons / Benedict Paten ; Mark Diekhans ; Dent Earl ; John St. John ; Jian Ma ; Bernard Suh ; David Haussler
IDBA - A Practical Iterative de Bruijn Graph De Novo Assembler / Yu Peng ; Henry C.M. Leung ; S.M. Yiu ; Francis Y.L. Chin
Predicting Nucleosome Positioning Using Multiple Evidence Tracks / Sheila M. Reynolds ; Zhiping Weng ; Jeff A. Bilmes ; William Stafford Noble
Dense Subgraphs with Restrictions and Applications to Gene Annotation Graphs / Barna Saha ; Allison Hoch ; Samir Khuller ; Louiqa Raschid ; Xiao-Ning Zhang
Time and Space Efficient RNA-RNA Interaction Prediction via Sparse Folding / Raheleh Salari ; Mathias Möhl ; Sebastian Will ; S. Cenk Sahinalp ; Rolf Backofen
HLA Type Inference via Haplotypes Identical by Descent / Manu N. Setty ; Alexander Gusev ; Itsik Pe'er
Algorithms for Detecting Significantly Mutated Pathways in Cancer / Fabio Vandin ; Eli Upfal ; Benjamin J. Raphael
Leveraging Sequence Classification by Taxonomy-Based Multitask Learning / Christian Widmer ; Jose Leiva ; Yasemin Altun ; Gunnar Rätsch
A Novel Abundance-Based Algorithm for Binning Metagenomic Sequences Using l-Tuples / Yu-Wei Wu ; Yuzhen Ye
A Markov Random Field Framework for Protein Side-Chain Resonance Assignment / Jianyang Zeng ; Pei Zhou ; Bruce Randall Donald
Genomic DNA k-mer Spectra: Models and Modalities (Abstract) / Benny Chor ; David Horn ; Nick Goldman ; Yaron Levy ; Tim Massingham
Deciphering the Swine-Flu Pandemics of 1918 and 2009 (Abstract) / Richard Goldstein ; Mario dos Reis ; Asif Tamuri ; Alan Hay
Distinguishing Direct versus Indirect Transcription Factor-DNA Interactions (Abstract) / Raluca Gordân ; Alexander J. Hartemink ; Martha L. Bulyk
A Self-regulatory System of Interlinked Signaling Feedback Loops Controls Mouse Limb Patterning (Abstract) / Jean-Denis Benazet ; Mirko Bischofberger ; Eva Tiecke ; Alexandre Gonalves ; James F. Martin ; Aime Zuniga ; Felix Naef ; Rolf Zeller
Automated High-Dimensional Flow Cytometric Data Analysis (Abstract) / Saumyadipta Pyne ; Xinli Hu ; Kui Wang ; Elizabeth Rossin ; Tsung-I Lin ; Lisa Maier ; Clare Baecher-Allan ; Geoffrey McLachlan ; Pablo Tamayo ; David Hafler ; Philip De Jager ; Jill Mesirov
Discovering Transcriptional Modules by Combined Analysis of Expression Profiles and Regulatory Sequences (Abstract) / Yonit Halperin ; Chaim Linhart ; Igor Ulitsky ; Ron Shamir
Author Index
An Algorithmic Framework for Predicting Side-Effects of Drugs / Nir Atias ; Roded Sharan
SubMAP: Aligning Metabolic Pathways with Subnetwork Mappings / Ferhat Ay ; Tamer Kahveci
Admixture Aberration Analysis: Application to Mapping in Admixed Population Using Pooled DNA / Sivan Bercovici ; Dan Geiger
Legal Text Processing and Information Extraction / Part I：
Legal Language and Legal Knowledge Management Applications / Giulia Venturi
Named Entity Recognition and Resolution in Legal Text / Christopher Dozier ; Ravikumar Kondadadi ; Marc Light ; Arun Vachher ; Sriharsha Veeramachaneni ; Ramdev Wudali
Using Linguistic Information and Machine Learning Techniques to Identify Entities from Juridical Documents / Paulo Quaresma ; Teresa Gonçalves
Approaches to Text Mining Arguments from Legal Cases / Adam Wyner ; Raquel Mochales-Palau ; Marie-Francine Moens ; David Milward
Legal Text Processing and Construction of Knowledge Resources / Part II：
Automatic Identification of Legal Terms in Czech Law Texts / Karel Pala ; Pavel Rychlý ; Pavel Šmerk
Integrating a Bottom-Up and Top-Down Methodology for Building Semantic Resources for the Multilingual Legal Domain / Enrico Francesconi ; Simonetta Montemagni ; Wim Peters ; Daniela Tiscornia
Ontology Based Law Discovery / Alessio Bosca ; Luca Dini
Multilevel Legal Ontologies / Gianmaria Ajani ; Guido Boella ; Leonardo Lesmo ; Marco Martin ; Alessandro Mazzei ; Daniele P. Radicioni ; Piercarlo Rossi
Legal Text Processing and Semantic Indexing, Summarization and Translation / Part III：
Semantic Indexing of Legal Documents / Erich Schweighofer
Automated Classification of Norms in Sources of Law / Emile de Maat ; Radboud Winkels
Efficient Multilabel Classification Algorithms for Large-Scale Problems in the Legal Domain / Eneldo Loza MencÃa ; Johannes Fürnkranz
An Automatic System for Summarization and Information Extraction of Legal Information / Emmanuel Chieze ; Atefeh Farzindar ; Guy Lapalme
Evaluation Metrics for Consistent Translation of Japanese Legal Sentences / Yasuhiro Ogawa ; Kazuhiro Imai ; Katsuhiko Toyama
Author Index
Legal Text Processing and Information Extraction / Part I：
Legal Language and Legal Knowledge Management Applications / Giulia Venturi
Named Entity Recognition and Resolution in Legal Text / Christopher Dozier ; Ravikumar Kondadadi ; Marc Light ; Arun Vachher ; Sriharsha Veeramachaneni ; Ramdev Wudali
Cooperation and Multimedia Traffic Management in WN
Unicast versus Multicast for Live TV Delivery in Networks with Tree Topology / Alireza Abdollahpouri ; Bernd E. Wolfinger ; Junyu Lai
Dual Mobile-Ip Tunnels for Video Stream Splitting and Merging in Wireless Handoffs / Tsang-Ling Sheu ; Yang-Shun Hsu
Distributed Cooperation and Diversity for Hybrid Wireless Networks / H. Javaheri ; G. Noubir ; Y. Wang
Advances to IEEE 802.11
A Multi-hop Aware Weighted Scheduling Mechanism for HSDPA and IEEE 802.11 Integrated Network / Jinglong Zhou ; Anthony Lo ; Jiazhen Hao ; Ignas Niemegeers
Enhanced Mobility Support for Roaming Users: Extending the IEEE 802.21 Information Service / Karl Andersson ; Andrea G. Forte ; Henning Schulzrinne
Error-Sensitive Adaptive Frame Aggregation in 802.11n WLAN / Melody Moh ; Teng-Sheng Moh ; Ken Chan
Routing and Performance Optimization
SHORT: A Static-Hybrid Approach for Routing Real Time Applications over Multichannel, Multihop Wireless Networks / Vijay Raman ; Nitin H. Vaidya
Multiuser Scheduling via Dynamic Optimization / T. Heikkinen
Scalable Packet Loss Recovery for Mobile P2P Streaming / Jani Peltotalo ; Jarmo Harju ; Lassi Väätämöinen ; Imed Bouazizi ; Igor D.D. Curcio ; Joep van Gassel
Cognitive Multihop Networks-I
Aggressive Joint Access and Backhaul Design for Distributed-Cognition 1Gbps/km2 System Architecture / Pol Blasco ; Lorenza Giupponi ; Ana Galindo-Serrano ; Mischa Dohler
Learning-Based Spectrum Selection in Cognitive Radio Ad Hoc Networks / Marco Di Felice ; Kaushik Roy Chowdhury ; Cheng Wu ; Luciano Bononi ; Waleed Meleis
Cognitive Multihop Networks-II
Frequency Agility in IPv6-Based Wireless Personal Area Networks (6LoWPAN) (Invited Paper) / Riccardo Tomasi ; Hussein Khaleel ; Federico Penna ; Claudio Pastrone ; Roberto Garello ; Maurizio Spirito
Competitive Unlicensed Spectrum Sharing with Partial Information on Slow Fading Channels / Xiao Lei ; K. Avrachenkov ; L. Cottatellucci ; A. Garnaev
Structure of Service Areas in Wireless Communication Networks / Janne Riihijärvi ; Petri Mähönen
Security, Control and Signaling
Quality of Experience Enforcement in Wireless Networks / R. Serral-Gracià ; M. Yannuzzi ; E. Marin-Tordera ; X. Masip-Bruin ; S. Sánchez
Anomaly-Based Intrusion Detection Algorithms for Wireless Networks / Alexandros G. Fragkiadakis ; Vasilios A. Siris ; Nikolaos Petroulakis
0day Anomaly Detection Made Possible Thanks to Machine Learning / Philippe Owezarski ; Johan Mazel ; Yann Labit
A Comparative Analysis of the Perceived Quality of VoIP under Various Wireless Network Conditions / Ilias Tsompanidis ; Georgios Fortetsanakis ; Toni Hirvonen ; Maria Papadopouli
Wireless Sensor Networks
Optimization of Service Discovery in Wireless Sensor Networks / Ayon Chakraborty ; Kaushik Lahiri ; Subhajit Mandal ; Deepankar Patra ; Mrinal K. Naskar ; Amitava Mukherjee
ILA: Idle Listening Avoidance in Scheduled Wireless Sensor Networks / Marcin Brzozowski ; Hendrik Salomon ; Peter Langendoerfer
An Efficient Authenticated-Encryption with Associated-Data Block Cipher Mode for Wireless Sensor Networks / A.A. Adekunle ; S.R. Woodhead
Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs / Ioana Rodhe ; Christian Rohner
Author Index
Cooperation and Multimedia Traffic Management in WN
Unicast versus Multicast for Live TV Delivery in Networks with Tree Topology / Alireza Abdollahpouri ; Bernd E. Wolfinger ; Junyu Lai
Dual Mobile-Ip Tunnels for Video Stream Splitting and Merging in Wireless Handoffs / Tsang-Ling Sheu ; Yang-Shun Hsu
Playing Savitch and Cooking Games / Peter van Emde Boas
Compositionality: Ontology and Mereology of Domains / Dines Bjørner ; Asger Eir
Computer Science and State Machines / Leslie Lamport
A Small Step for Mankind / Cornelis Huizing ; Ron Koymans ; Ruurd Kuiper
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention / Hans Langmaack
Explicit Fair Scheduling for Dynamic Control / Ernst-Rüidiger Olderog ; Andreas Podelski
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence / Manfred Broy
Reasoning about Recursive Processes in Shared-Variable Concurrency / Frank S. de Boer
Formal Semantics of a VDM Extension for Distributed Embedded Systems / Jozef Hooman ; Marcel Verhoef
A Proof System for a PGAS Language / Shivali Agarwal ; R.K. Shyamasundar
Concurrent Objects à la Carte / Dave Clarke ; Einar Broch Johnsen ; Olaf Owe
On the Power of Play-Out for Scenario-Based Programs / David Harel ; Amir Kantor ; Shahar Maoz
Proving the Refuted: Symbolic Model Checkers as Proof Generators / Ittai Balaban ; Amir Pnueli ; Lenore-D. Zuck
Meanings of Model Checking / E. Allen Emerson
Smaller Abstractions for ∀CTL* without Next / Kai Engelhardt ; Ralf Huuck
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment / Prasad Joshi ; Peter A. Beerel ; Marly Roncken ; Ivan Sutherland
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules / Jan Peleska
Automated Proofs for Asymmetric Encryption / Joudicaël Courant ; Marion Daubignard ; Cristian Ene ; Pascal Lafourcade ; Yassine Lakhnech
Counterexample Guided Path Reduction for Static Program Analysis / Ansgar Fehnker ; Sean Seefried
Gallery
Author Index
Concurrency, Compositionality, and Correctness
A Bibliography of Willem-Paul de Roever
Playing Savitch and Cooking Games / Peter van Emde Boas
ＥＢ
