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
Maintaining Coherent Views over Dynamic Distributed Data / Krithi Ramamritham
Malware: From Modelling to Practical Detection / R. K. Shyamasundar ; Harshit Shah ; N. V. Narendra Kumar
Semantic Frameworks--Meanings in the Architecture / Jim Davies ; Jeremy Gibbons
Networking / Section 2：
Fuzzy-Controlled Source-Initiated Multicasting (FSIM) in Ad Hoc Networks / Anuradha Banerjee ; Paramartha Dutta
On Optimal Space Tessellation with Deterministic Deployment for Coverage in Three-Dimensional Wireless Sensor Networks / Manas Kumar Mishra ; M. M. Gore
Seamless Handoff between IEEE 802.11 and GPRS Networks / Dhananjay Kotwal ; Maushumi Barooah ; Sukumar Nandi
A Tool to Determine Strategic Location and Ranges of Nodes for Optimum Deployment of Wireless Sensor Network / Amrit Kumar ; Mukul Kumar ; Kumar Padmanabh
An Efficient Hybrid Data-Gathering Scheme in Wireless Sensor Networks / Ayon Chakraborty ; Swarup Kumar Mitra ; M. K. Naskar
Grid Computing and Web Services / Section 3：
Introducing Dynamic Ranking on Web Pages Based on Multiple Ontology Supported Domains / Debajyoti Mukhopadhyay ; Anirban Kundu ; Sukanta Sinha
Multi-criteria Service Selection with Optimal Stopping in Dynamic Service-Oriented Systems / Oliver Skroch
Template-Based Process Abstraction for Reusable Inter-organizational Applications in RESTful Architecture / Cheng Zhu ; Hao Yu ; Hongming Cai ; Boyi Xu
Enhancing the Hierarchical Clustering Mechanism of Storing Resources' Security Policies in a Grid Authorization System / Mustafa Kaiiali ; Rajeev Wankar ; C.R. Rao ; Arun Agarwal
A Framework for Web-Based Negotiation / Hrushikesha Mohanty ; Rajesh Kurra ; R.K. Shyamasundar
Internet Technology and Distributed Computing / Section 4：
Performance Analysis of a Renewal Input Bulk Service Queue with Accessible and Non-accessible Batches / Yesuf Obsie Mussa ; P. Vijaya Laxmi
A Distributed Algorithm for Pattern Formation by Autonomous Robots, with No Agreement on Coordinate Compass / Swapnil Ghike ; Krishnendu Mukhopadhyaya
Gathering Asynchronous Transparent Fat Robots / Sruti Gan Chaudhuri
Development of Generalized HPC Simulator / W. Hurst ; S. Ramaswamy ; R. Lenin ; D. Hoffman
Performance Analysis of Finite Buffer Queueing System with Multiple Heterogeneous Servers / C. Misra ; P. K. Swain
Finite Buffer Controllable Single and Batch Service Queues / J.R. Mohanty
Enhanced Search in Peer-to-Peer Networks Using Fuzzy Logic / Sirish Kumar Balaga ; K. Haribabu ; Chittaranjan Hota
Software Engineering: Secured Systems / Section 5：
UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams / Jayeeta Chanda ; Ananya Kanjilal ; Sabnam Sengupta
Evolution of Hyperelliptic Curve Cryptosystems / Kakali Chatterjee ; Daya Gupta
Reliability Improvement Baaed on Prioritization of Source Code / Mitrabinda Ray ; Durga Prasad Mohapatra
Secure Dynamic Identity-Based Remote User Authentication Scheme / Sandeep K. Sood ; Anil K. Sarje ; Kuldip Singh
Theoretical Notes on Regular Graphs as Applied to Optimal Network Design / Sanket Patil ; Srinath Srinivasa
Formal Approaches to Location Management in Mobile Communications / Juanhua Kong ; Qin Li ; Huibiao Zhu ; Wenjuan Wu
Automated Test Scenario Selection Based on Levenshtein Distance / Sapna P.G
Societal Applications / Section 6：
Study of Diffusion Models in an Academic Social Network / Vasavi Junapudi ; Gauri K. Udgata ; Siba K. Udgata
First Advisory and Real-Time Health Surveillance to Reduce Maternal Mortality Using Mobile Technology / Satya Swarup Samal ; Arunav Mishra ; Sidheswar Samal ; J.K. Pattnaik ; Prachet Bhuyan
Author Index
Invited Papers / Section 1：
Transactional Memory Today / Maurice Herlihy
Maintaining Coherent Views over Dynamic Distributed Data / Krithi Ramamritham
A Token-Based Solution to the Group Mutual l-Exclusion Problem in Message Passing Distributed Systems (Short Paper) / Abhishek Swaroop ; Awadhesh Kumar Singh
Peer-to-Peer Networks and Network Tracing
The Weak Network Tracing Problem / H.B. Acharya ; M.G. Gouda
Poisoning the Kad Network / Thomas Locher ; David Mysicka ; Stefan Schmid ; Roger Wattenhofer
Credit Reputation Propagation: A Strategy to Curb Free-Riding in a Large BitTorrent Swarm / Suman Paul ; Subrata Nandi ; Ajit Pal
Formal Understanding of the Emergence of Superpeer Networks: A Complex Network Approach / Bivas Mitra ; Abhishek Kumar Dubey ; Sujoy Ghose ; Niloy Ganguly
Parallel and Distributed Systems
Parallelization of the Lanczos Algorithm on Multi-core Platforms / Souvik Bhattacherjee ; Abhijit Das
Supporting Malleability in Parallel Architectures with Dynamic CPUSETs Mapping and Dynamic MPI / Márcia C. Cera ; Yiannis Georgiou ; Olivier Richard ; Nicolas Maillard ; Philippe O.A. Navaux
Impact of Object Operations and Relationships on Concurrency Control in DOOS (Short Paper) / V. Geetha ; Niladhuri Sreenath
Causal Cycle Based Communication Pattern Matching (Short Paper) / Himadri Sekhar Paul
Wireless Networks
Channel Assignment in Virtual Cut-through Switching Based Wireless Mesh Networks / Dola Saha ; Aveek Dutta ; Dirk Grunwald ; Douglas Sicker
Efficient Multi-hop Broadcasting in Wireless Networks Using k-Shortest Path Pruning / Michael Q. Rieck ; Subhankar Dhar
ROTIO+: A Modified ROTIO for Nested Network Mobility / Ansuman Sircar ; Bhaskar Sardar ; Debashis Saha
Applications of Distributed Systems
VirtualConnection: Opportunistic Networking for Web on Demand / Lateef Yusuf ; Umakishore Ramachandran
Video Surveillance with PTZ Cameras: The Problem of Maximizing Effective Monitoring Time / Satyajit Banerjee ; Atish Datta Chowdhury ; Subhas Kumar Ghosh
DisClus: A Distributed Clustering Technique over High Resolution Satellite Data / Sauravjyoti Sarmah ; Dhruba Kumar Bhattacharyya
Performance Evaluation of a Wormhole-Routed Algorithm for Irregular Mesh NoC Interconnect / Arshin Rezazadeh ; Ladan Momeni ; Mahmood Fathy
Optical, Cellular and Mobile Ad Hoc Networks
Dynamic Multipath Bandwidth Provisioning with Jitter, Throughput, SLA Constraints in MPLS over WDM Network / Palash Dey ; Arkadeep Kundu ; Mrinal K. Naskar ; Amitava Mukherjee ; Mita Nasipuri
New Requirements for Modelling How Humans Succeed and Fail in Complex Traffic Scenarios / Andreas Lüdtke
Human Factors in Healthcare Systems
Integrating Collective Work Aspects in the Design Process: An Analysis Case Study of the Robotic Surgery Using Communication as a Sign of Fundamental Change / Anne-Sophie Nyssen ; Adelaide Blavier
Patient Reactions to Staff Apology after Adverse Event and Changes of Their Views in Four Year Interval / Kenji Itoh ; Henning Boje Andersen
A Cross-National Study on Healthcare Safety Climate and Staff Attitudes to Disclosing Adverse Events between China and Japan / Xiuzhu Gu
Pilot's Behaviour
Cognitive Modelling of Pilot Errors and Error Recovery in Flight Management Tasks / Jan-Patrick Osterloh ; Tina Mioch ; Frank Rister ; Rosemarijn Looije
Robust Low Power Embedded SRAM Design: From System to Memory Cell / Toby Doorn ; Roelof Salters
Variability in Advanced Nanometer Technologies: Challenges and Solutions / Davide Pandini
Subthreshold Circuit Design for Ultra-Low-Power Applications / Yusuf Leblebici
Special Session
SystemC AMS Extensions: New Language - New Methods - New Applications / Martin Barnasconi ; Markus Damm ; Karsten Einwich
Variability & Statistical Timing / Session 1：
Process Variation Aware Performance Analysis of Asynchronous Circuits Considering Spatial Correlation / Mohsen Raji ; Behnam Ghavami ; Hamid R. Zarandi ; Hossein Pedram
Interpreting SSTA Results with Correlation / Zeqin Wu ; Philippe Maurine ; Nadine Azemard ; Gille Ducharme
Residue Arithmetic for Variation-Tolerant Design of Multiply-Add Units / Ioannis Kouretas ; Vassilis Paliouras
Exponent Monte Carlo for Quick Statistical Circuit Simulation / Paul Zuber ; Vladimir Matvejev ; Philippe Roussel ; Petr Dobrovolný ; Miguel Miranda
Circuit Level Techniques / Poster Session 1：
Clock Repeater Characterization for Jitter-Aware Clock Tree Synthesis / Monica Figueiredo ; Rui L. Aguiar
A Hardware Implementation of the User-Centric Display Energy Management / Vasily G. Moshnyaga ; Koji Hashimoto ; Tadashi Suetsugu ; Shuhei Higashi
On-chip Thermal Modeling Based on SPICE Simulation / Wei Liu ; Andrea Calimera ; Alberto Nannarelli ; Enrico Macii ; Massimo Poncino
Switching Noise Optimization in the Wake-Up Phase of Leakage-Aware Power Gating Structures / Javier Castro ; Pilar Parra ; Antonio J. Acosta
Power Management / Session 2：
Application-Specific Temperature Reduction Systematic Methodology for 2D and 3D Networks-on-Chip / Iraklis Anagnostopoulos ; Alexandros Bartzas ; Dimitrios Soudris
Data-Driven Clock Gating for Digital Filters / Alberto Bonanno ; Alberto Bocca ; Alberto Macii ; Massino Poncino
Power Management and Its Impact on Power Supply Noise / Howard Chen ; Indira Nair
Assertive Dynamic Power Management (AsDPM) Strategy for Globally Scheduled RT Multiprocessor Systems / Muhammad Khurram Bhatti ; Muhammad Farooq ; Cécile Belleudy ; Michel Auguin ; Ons Mbarek
Low Power Circuits & Technology / Session 3：
Design Optimization of Low-Power 90nm CMOS SOC Application Using 0.5V Bulk PMOS Dynamic-Threshold with Dual Threshold (MTCMOS): BP-DTMOS-DT Technique / Chih-Hsiang Lin ; James B. Kuo
Crosstalk in High-Performance Asynchronous Designs / Ritej Bachhawat ; Pankaj Golani ; Peter A. Beerel
Modeling and Reducing EMI in GALS and Synchronous Systems / Tomasz Król ; Milos Krstić ; Xin Fan ; Eckhard Grass
Multi-granularity NoC Simulation Framework for Early Phase Exploration of SDR Hardware Platforms / Nikolaos Zompakis ; Martin Trautmann ; Stylianos Mamagkakis ; Liesbet Van der Perre ; Francky Catthoor
Dynamic Data Type Optimization and Memory Assignment Methodologies / Christos Baloukas ; Konstantinos Potamianos ; Fragkiskos Ieromnimon ; Nikolaos S. Voros
Accelerating Embedded Software Power Profiling Using Run-Time Power Emulation / Christian Bachmann ; Andreas Genser ; Christian Steger ; Reinhold Weiß ; Josef Haid
Practical Design Space Exploration of an H264 Decoder for Handheld Devices Using a Virtual Platform / Marius Gligor ; Nicolas Fournel ; Frédéric Pétrot ; Fabien Colas-Bigey ; Anne-Marie Fouilliart ; Philippe Teninge ; Marcello Coppola
BSAA: A Switching Activity Analysis and Visualisation Tool for SoC Power Optimisation / Tom English ; Ka Lok Man ; Emanuel Popovici
Power & Timing Optimization Techniques / Session 4：
Reducing Timing Overhead in Simultaneously Clock-Gated and Power-Gated Designs by Placement-Aware Clustering / Gaurang Upasani
Low Energy Voltage Dithering in Dual VDD Circuits / Thomas Schweizer ; Julio Oliveira ; Tommy Kuhn ; Wolfgang Rosenstiel
Product On-Chip Process Compensation for Low Power and Yield Enhancement / Nabila Moubdi ; Robin Wilson ; Vincent Dumettier ; Abhishek Bansal ; Sebastien Barasinski ; Alain Tournier ; Guy Durieu ; David Meyer ; Pierre Busson|cSarah Verhaeren ; Sylvain Engels
Digital Timing Slack Monitors and Their Specific Insertion Flow for Adaptive Compensation of Variabilities / Bettina Rebaud ; Marc Belleville ; Edith Beigné ; Christian Bernard ; Michel Robert
Quasi-Delay-Insensitive Computing Device: Methodological Aspects and Practical Implementation / Yuri Stepchenkou ; Yuri Diachenko ; Victor Zakharov ; Yuri Rogdestvenski ; Nikolai Morozov ; Dmitri Stepchenkov
The Magic Rule of Tiles: Virtual Delay Insensitivity / Delong Shang ; Fei Xia ; Stanislavs Golubcovs ; Alex Yakovlev
Low Power Circuit Analysis & Optimization / Session 6：
Analysis of Power Consumption Using a New Methodology for the Capacitance Modeling of Complex Logic Gates / Sidinei Ghissoni ; Joao Batista dos Santos Martins ; Ricardo Augusto da Luz Reis ; Jose Carlos Monteiro
A New Methodology for Power-Aware Transistor Sizing: Free Power Recovery (FPR) / Milena Vratonjić ; Matthew Ziegler ; George D. Gristede ; Victor Zyuban ; Thomas Mitchell ; Ee Cho ; Chandu Visweswariah
Routing Resistance Influence in Loading Effect on Leakage Analysis / Paulo F. Butzen ; André I. Reis ; Renato P. Ribas
Low Power Design Studies / Session 7：
Processor Customization for Software Implementation of the AES Algorithm for Wireless Sensor Networks / Néstor Suárez ; Gustavo M. Callicó ; Roberto Sarmiento ; Octavio Santana ; Anteneh A. Abbo
An On-Chip Multi-mode Buck DC-DC Converter for Fine-Grain DVS on a Multi-power Domain SoC Using a 65-nm Standard CMOS Logic Process / Motoi Ichihashi ; Hélène Lhermet ; Frédéric Rothan ; Amara Amara
Energy Dissipation Reduction of a Cardiac Event Detector in the Sub-Vt Domain By Architectural Folding / Joachim Neves Rodrigues ; Omer Can Akgun ; Puneet Acharya ; Adolfo de la Calle ; Viktor Öwall
A New Optimized High-Speed Low-Power Data-Driven Dynamic (D3L) 32-Bit Kogge-Stone Adder / Fabio Frustaci ; Marco Lanuzza
Author Index
Keynotes
Robust Low Power Embedded SRAM Design: From System to Memory Cell / Toby Doorn ; Roelof Salters
Variability in Advanced Nanometer Technologies: Challenges and Solutions / Davide Pandini
Creating Topic Hierarchies for Large Medical Libraries / David Sánchez ; Antonio Moreno
Bridging an Asbru Protocol to an Existing Electronic Patient Record / Claudio Eccher ; Andreas Seyfang ; Antonella Ferro ; Sergey Stankevich ; Silvia Miksch
From Natural Language Descriptions in Clinical Guidelines to Relationships in an Ontology / MarÃa Taboada ; MarÃa Meizoso ; David Riaño ; Albert Alonso ; Diego MartÃnez
A Hybrid Methodology for Consumer-Oriented Healthcare Knowledge Acquisition / Elena Cardillo ; Luciano Serafini ; Andrei Tamilin
Identifying Disease-Centric Subdomains in Very Large Medical Ontologies: A Case-Study on Breast Cancer Concepts in Snomed CT. Or: Finding 2500 Out of 300.000 / Krystyna Milian ; Zharko Aleksovski ; Richard Vdovjak ; Annette ten Teije ; Frank van Harmelen|p50
Sharable Appropriateness Criteria in GLIF3 Using Standards and the Knowledge-Data Ontology Mapper / Mor Peleg
Guideline Modeling and Tools
Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines / Alessio Bottrighi ; Federico Chesani ; Paola Mello ; Marco Montali ; Stefania Montani ; Sergio Storari ; Paolo Terenziani
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S / Ali Daniyal ; Syed Sibte Raza Abidi
Extracting Qualitative Knowledge from Medical Guidelines for Clinical Decision-Support Systems / Maarten van der Heijden ; Peter J.F. Lucas
Experiences in the Development of Electronic Care Plans for the Management of Comorbidities / Esther Lozano ; Mar Marcos ; Begoña MartÃnez-Salvador ; Josep Ramon Alonso
Challenges in Delivering Decision Support Systems: The MATE Experience / Dionisio Acosta ; Vivek Patkar ; Mo Keshtgar ; John Fox
Technical Solutions for Integrating Clinical Practice Guidelines with Electronic Patient Records / Silvia Panzarasa ; Silvana Quaglini ; Anna Cavallini ; Giuseppe Micieli ; Simona Marcheselli ; Mario Stefanelli
Advanced Topics
Towards a Possibility-Theoretic Approach to Uncertainty in Medical Data Interpretation for Text Generation / François Portet ; Albert Gatt
Argumentation about Treatment Efficacy / Nikos Gorogiannis ; Anthony Hunter ; Matthew Williams
A Knowledge-Management Architecture to Integrate and to Share Medical and Clinical Data, Information, and Knowledge
Author Index
From Patient Data to Medical Ontologies
Creating Topic Hierarchies for Large Medical Libraries / David Sánchez ; Antonio Moreno
Bridging an Asbru Protocol to an Existing Electronic Patient Record / Claudio Eccher ; Andreas Seyfang ; Antonella Ferro ; Sergey Stankevich ; Silvia Miksch
Partial Differential Equations for Interpolation and Compression of Surfaces / Egil Bae ; Joachim Weickert
Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations / Michael Bartoň ; Bert Jüttler ; Wenping Wang
Fat Arcs for Implicitly Defined Curves / Szilvia Béla
Geometric Properties of the Adaptive Delaunay Tessellation / Tom Bobach ; Alexandru Constantiniu ; Paul Steinmann ; Georg Umlauf
Quadrangular Parameterization for Reverse Engineering / David Bommes ; Tobias Vossemer ; Leif Kobbelt
A Comparison of Three Commodity-Level Parallel Architectures: Multi-core CPU, Cell BE and GPU / André Rigland Brodtkorb ; Trond Runar Hagen
Mean Distance from a Curve to Its Control Polygon / Jesús Carnicer ; Jorge Delgado
Compactly Supported Splines with Tension Properties on a Three-Direction Mesh / Paolo Costantini ; Francesca Pelosi ; Maria Lucia Sampoli
Some Geometrical Aspects of Control Points for Toric Patches / Gheorghe Craciun ; Luis David García-Puente ; Frank Sottile
A Comparison of Different Progressive Iteration Approximation Methods / Juan Manuel Peña
A Topological Lattice Refinement Descriptor for Subdivision Schemes / François Destelle ; Cédric Gérot ; Annick Montanvert
Subdivision Schemes and Norms / Serge Dubuc
Geometric Design Using Space Curves with Rational Rotation-Minimizing Frames / Rida T. Farouki ; Carlotta Giannelli ; Alessandra Sestini
Multiresolution Analysis for Minimal Energy CrSurfaces on Powell-Sabin Type Meshes / Miguel A. Fortes ; Pedro González ; Maria Moncayo ; Miguel Posadas
Segmentation of 3D Tubular Structures by a PDE-Based Anisotropic Diffusion Model / Elena Franchini ; Serena Morigi ; Fiorella Sgallari
Smoothing the Antagonism between Extraordinary Vertex and Ordinary Neighbourhood on Subdivision Surfaces
Simplification of FEM-Models on Cell BE / Jon Mikkelsen Hjelmervik ; Jean-Claude Léon
Effects of Noise on Quantized Triangle Meshes / Ioannis Ivrissimtzis
Reparameterization of Curves and Surfaces with Respect to Their Convolution / Miroslav Lávička ; Bohumír Bastl ; Zbyněk Šír
An Introduction to Guided and Polar Surfacing / Jörg Peters ; K&ecedil;stutis Karčiauskas
An Iterative Algorithm with Joint Sparsity Constraints for Magnetic Tomography / Francesca Pitolli ; Gabriella Bretti
Constructing Good Coefficient Functionals for Bivariate C1 Quadratic Spline Quasi-Interpolants / Sara Remogna
Sampling and Stability / Christian Rieger ; Robert Schaback ; Barbara Zwicknagl
Shape Preserving Hermite Interpolation by Rational Biquadratic Splines / Paul Sablonniére
Tensor Product B-Spline Mesh Generation for Accurate Surface Visualizations in the NIST Digital Library of Mathematical Functions / Bonita Saunders ; Qiming Wang
Low Degree Euclidean and Minkowski Pythagorean Hodograph Cuives / Zbyněk Š ír ; Jiř í Kosinka
On the Local Approximation Power of Quasi-Hierarchical Powell-Sabin Splines / Hendrik Speleers ; Paul Dierckx ; Stefan Vandewalle
Logarithmic Curvature and Torsion Graphs / Norimasa Yoshida ; Ryo Fukuda ; Takafumi Saito
Author Index
MMCS
Partial Differential Equations for Interpolation and Compression of Surfaces / Egil Bae ; Joachim Weickert
Construction of Rational Curves with Rational Rotation-Minimizing Frames via Möbius Transformations / Michael Bartoň ; Bert Jüttler ; Wenping Wang
Coordinated Action in a Heterogeneous Rescue Team / Fares Alnajar ; Hanne Nijhuis ; Arnoud Visser
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots / Harald Altinger ; Stefan J. Galler ; Stephan Mühlbacher-Karrer ; Gerald Steinbauer ; Franz Wotawa ; Hubert Zangl
Development of a Realistic Simulator for Robotic Intelligent Wheelchairs in a Hospital Environment / Rodrigo A.M. Braga ; Pedro Malheiro ; Luis Paulo Reis
Creating Photo Maps with an Aerial Vehicle in USARsim / Heikow Bülow ; Andreas Birk ; Shams Feyzabadi
Real-Time Hand Gesture Recognition for Human Robot Interaction / Mauricio Correa ; Javier Ruiz-del-Solar ; Rodrigo Verschae ; Jong Lee-Ferng ; Nelson Castillo
Combining Key Frame Based Motion Design with Controlled Movement Execution / Stefan Czarnetzki ; Sören Kerner ; Daniel Klagges
Applying Dynamic Walking Control for Biped Robots / Oliver Urbann
Modeling Human Decision Making Using Extended Behavior Networks / Klaus Dorer
Motion Synthesis through Randomized Exploration on Submanifolds of Configuration Space / Ioannis Havoutis ; Subramanian Ramamoorthy
Robust and Computationally Efficient Navigation in Domestic Environments / Dirk Holz ; Gerhard K. Kraetzschmar ; Erich Rome
Robust Collision Avoidance in Unknown Domestic Environments / Stefan Jacobs ; Alexander Ferrein ; Stefan Schiffer ; Daniel Beck ; Gerhard Lakemeyer
Real-Time Ball Tracking in a Semi-automated Foosball Table / Rob Janssen ; Jeroen de Best ; René van de Molengraft
Three Humanoid Soccer Platforms: Comparison and Synthesis / Shivaram Kalyanakrishnan ; Todd Hester ; Michael J. Quinlan ; Yinon Bentor ; Peter Stone
[Best Student Paper] Learning Complementary Multiagent Behaviors: A Case Study
Rollover as a Gait in Legged Autonomous Robots: A Systems Analysis / Vadim Kyrylov ; Mihai Catalina ; Henry Ng
Pareto-Optimal Collaborative Defensive Player Positioning in Simulated Soccer / Eddie Hou
A Novel Camera Parameters Auto-adjusting Method Based on Image Entropy / Huimin Lu ; Hui Zhang ; Shaowu Yang ; Zhiqiang Zheng
[Best Paper] Object Recognition with Statistically Independent Features: A Model Inspired by the Primate Visual Cortex / Mohsen Malmir ; Saeed Shiry
Using Genetic Algorithms for Real-Time Object Detection / J. Martínez-Gómez ; J.A. Gámez ; I. García-Varea ; V. Matellán
An Approximate Computation of the Dominant Region Diagram for the Real-Time Analysis of Group Behaviors / Ryota Nakanishi ; Junya Maeno ; Kazuhito Murakami ; Tadashi Naruse
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao / Tim Niemüller
Stable Mapping Using a Hyper Particle Filter / Johannes Pellenz ; Dietrich Paulus
A Characterization of 3D Sensors for Response Robots / Jann Poppinga ; Kaustubh Pathak
Multiple Model Kalman Filters: A Localization Technique for RoboCup Soccer / Richard H. Middleton
Integrated Genetic Algorithmic and Fuzzy Logic Approach for Decision Making of Police Force Agents in Rescue Simulation Environment / Ashkan Radmand ; Eslam Nazemi ; Mohammad Goodarzi
IntellWheels MMI: A Flexible Interface for an Intelligent Wheelchair / Márcio Sousa ; Antonio Paulo Moreira
Analyzing the Human-Robot Interaction Abilities of a General-Purpose Social Robot in Different Naturalistic Environments / J. Ruiz-del-Solar ; M. Mascaró ; M. Correa ; F. Bernuy ; R. Riquelme ; R. Verschae
Communicating among Robots in the RoboCup Middle-Size League / Frederico Santos ; Luís Almeida ; Luís Seabra Lopes ; José Luís Azevedo ; M. Bernardo Cunha
Multi-robot Cooperative Object Localization: Decentralized Bayesian Approach / João Santos ; Pedro Lima
Evolution of Biped Walking Using Truncated Fourier Series and Particle Swarm Optimization / Nima Shafii ; Siavash Aslani ; Omid Mohamad Nezami
Efficient Behavior Learning by Utilizing Estimated State Value of Self and Teammates / Kouki Shimada ; Yasutake Takahashi ; Minoru Asada
Sensor and Information Fusion Applied to a Robotic Soccer Team / João Silva ; Nuno Lau ; João Rodrigues ; António J.R. Neves
Omnidirectional Walking Using ZMP and Preview Control for the NAO Humanoid Robot / Johannes Strom ; George Slavov ; Eric Chown
RoboCup@Home: Results in Benchmarking Domestic Service Robots / Thomas Wisspeintner ; Tijn van der Zan ; Luca Iocchi
Connecting the Real World with the Virtual World - Controlling AIBO through Second Life / Evan Wong ; Wei Liu ; Xiaoping Chen
A Hybrid Agent Simulation System of Rescue Simulation and USARSim Simulations from Going to Fire-Escape Doors to Evacuation to Shelters / Masaru Okaya ; Shigeru Yotsukura ; Tomoichi Takahashi
SSL-Vision: The Shared Vision System for the-RoboCup Small Size League / Stefan Zickler ; Tim Laue ; Oliver Birbach ; Mahisom Wongphati ; Manuela Veloso
Heuristic Formation Control in Multi-robot Systems Using Local Communication and Limited Identification / Michael de Denus ; John Anderson ; Jacky Baltes
Cooperative Multi-robot Map Merging Using Fast-SLAM / N. Ergin Özkucur ; H. Levent Akin
Author Index
Coordinated Action in a Heterogeneous Rescue Team / Fares Alnajar ; Hanne Nijhuis ; Arnoud Visser
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots / Harald Altinger ; Stefan J. Galler ; Stephan Mühlbacher-Karrer ; Gerald Steinbauer ; Franz Wotawa ; Hubert Zangl
Development of a Realistic Simulator for Robotic Intelligent Wheelchairs in a Hospital Environment / Rodrigo A.M. Braga ; Pedro Malheiro ; Luis Paulo Reis
A Rule-Based Approach for Model Management in a User Interface - Business Alignment Framework / Kenia Sousa ; Hildeberto Mendonça ; Jean Vanderdonckt
Towards Intuitive Modeling of Business Processes: Prospects for Flow- and Natural-Language Orientation / Matthias Neubauer ; Stefan Oppl ; Christian Stary
Supporting Business Model Modelling: A Compromise between Creativity and Constraints / Boris Fritscher ; Yves Pigneur
Facilitating Adaptation in Virtual Environments Using a Context-Aware Model-Based Design Process / Johanna Renny Octavia ; Lode Vanacken ; Chris Raymaekers ; Karin Coninx ; Eddy Flerackers
Model Driven Approach
Task Models for Safe Software Evolution and Adaptation / Jan Van den Bergh ; Deepak Sahni
Coherent Task Modeling and Execution Based on Subject-Oriented Representations / Albert Fleischmann ; Sonia Lippe ; Nils Meyer
Weighting Task Procedure for Zoomable Task Hierarchy Modeling of Rich Internet Applications / Francisco J. MartÃnez-Ruiz ; Jaime Muñoz
Task Modeling
Task Modelling Using Situation Calculus / Martin Randies ; David England ; A. Taleb-Bendiab
A Rule-Based Approach for Model Management in a User Interface - Business Alignment Framework / Kenia Sousa ; Hildeberto Mendonça ; Jean Vanderdonckt
Towards Intuitive Modeling of Business Processes: Prospects for Flow- and Natural-Language Orientation / Matthias Neubauer ; Stefan Oppl ; Christian Stary
A Discrete-Time Geo/G/1 Retrial Queue with Starting Failures and Impatient Customers / Abdel-Karim Aboul-Hassan ; Sherif I. Rabia ; Ahmed A. Al-Mujahid
Using Homotopy-WHEP Technique in Solving Nonlinear Diffusion Equation with Stochastic No Homogeneity / Noha A. Al-Mulla
The Solution of Non-linear Diffusion Equation under Stochastic Nonhomogeneity Using Symbolic WHEP and Pickard Algorithms
Computational Methods for Complex Systems / Part 2：
An Analysis of Secure Processor Architectures / Siddhartha Chhabra ; Yan Solihin ; Reshma Lai ; Matthew Hoekstra
Compensation of the Scheme Dispersion and Dissipation by Artificial Non-linear Additions / A.V. Porubov ; D. Bouche ; G. Bonnaud
New Mathematical Conception and Computation Algorithm for Study of Quantum 3D Disordered Spin System under the Influence of External Field / Ashot S. Gevorkyan ; Chin-Kun Hu ; Sergei Flach
Grid-Technology for Chemical Reactions Calculation / G.G. Balint-Kurti ; A.V. Bogdanov ; A.S. Gevorkyan ; Yu. E. Gorbachev ; T. Hakobyan ; G. Nyman ; I. Shoshmina
Author Index
Computations of Stochastic Systems Guest Editor / Magdy A. El-TawilPart 1：
A Discrete-Time Geo/G/1 Retrial Queue with Starting Failures and Impatient Customers / Abdel-Karim Aboul-Hassan ; Sherif I. Rabia ; Ahmed A. Al-Mujahid
Biomodel Engineering-From Structure to Behavior / Rainer Breitling ; Robin A. Donaldson ; David R. Gilbert ; Monika Heiner
The Attributed Pi-Calculus with Priorities / Mathias John ; Cédric Lhoussaine ; Joachim Niehren ; Adelinde M. Uhrmacher
A Language for Biochemical systems: Design and Formal Specification / Michael Pedersen ; Gordon D. Plotkin
Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks / Antje Beyer ; Peter Thomason ; Xinzhong Li ; James Scott ; Jasmin Fisher
Beyond Degree Distributions: Local to Global Structure of Social Contact Graphs (Abstract) / Stephen Eubank ; Anil Vullikanti ; Maleq Khan ; Madhav Marathe ; Chris Barrett
Endogenous Market-Clearing Prices and Reference Point Adaptation / Arnaud Z. Dragicevic
Modeling Effect of Leaders in Ethno-Religious Conflicts / Lingzhi Luo ; Nilanjan Chakraborty ; Katia Sycara
Calibrating Subjective Probabilities Using Hierarchical Bayesian Models / Edgar C. Merkle
State-Dependent Risk Preferences in Evolutionary Games / Patrick Roos ; Dana Nau
Social Learning and Cumulative Innovations in a Networked Group / Thomas N. Wisdom ; Robert L. Goldstone
Understanding Segregation Processes (Abstract) / Elizabeth Bruch
Social Factors in Creating an Integrated Capability for Health System Modeling and Simulation / Paul P. Maglio ; Melissa Cefkin ; Peter J. Haas ; Pat Selinger
A System Dynamics Approach to Modeling the Sensitivity of Inappropriate Emergency Department Utilization / Joshua G. Behr ; Rafael Diaz
Using Social Network Analysis for Spam Detection / Dave DeBarr ; Harry Wechsler
Literature Search through Mixed-Membership Community Discovery / Tina Eliassi-Rad ; Keith Henderson
Predictability and Prediction for an Experimental Cultural Market Richard Colbaugh / Kristin Glass ; Paul Ormerod
Macroeconomic Analysis of Universal Coverage in the U.S. / Zhigang Feng
Projecting Sexual and Injecting HIV Risks into Future Outcomes with Agent-Based Modeling (Abstract) / Georgiy V. Bobashev ; Robert J. Morris ; William A. Zuie
Cultural Consensus Theory: Aggregating Continuous Responses in a Finite Interval / William H. Batchelder ; Alex Strashny ; A. Kimball Romney
Information Overload and Viral Marketing: Countermeasures and Strategies / Jiesi Cheng ; Aaron Sun ; Daniel Zeng
Using Model Replication to Improve the Reliability of Agent-Based Models / Wei Zhong ; Yushim Kim
Multiscale Comparison of Three-Dimensional Trajectories Based on the Curvature Maxima and Its Application to Medicine / Shoji Hirano ; Shusaku Tsumoto
A Knowledge Collaboration Network Model across Disciplines / Anna Nagurney ; Qiang Qiang
Behavioral Analyses of Information Diffusion Models by Observed Data of Social Network / Kazumi Saito ; Masahiro Kimura ; Kouzou Ohara ; Hiroshi Motoda
Developing Social Networks for Artificial Societies from Survey Data / Stephen Lieberman ; Jonathan K. Alt
Understanding and Enabling Online Social Networks to Support Healthy Behaviors (Abstract) / Noshir Contractor
A Dynamical Systems Model for Understanding Behavioral Interventions for Weight Loss / J.-Emeterio Navarro-Barrientos ; Daniel E. Rivera ; Linda M. Collins
COLBERT: A Scoring Based Graphical Model for Expert Identification / Muhammad Aurangzeb Ahmad ; Xin Zhao
An Agent-Based Model for Studying Child Maltreatment and Child Maltreatment Prevention / Xiaolin Hu ; Richard W. Puddy
Gryphon: A Hybrid Agent-Based Modeling and Simulation Platform for Infectious Diseases / Bin Yu ; Jijun Wang ; Michael McGowan ; Ganesh Vaidyanathan ; Kristojer Younger
A Risk Factor Analysis of West Nile Virus: Extraction of Relationships from a Neural-Network Model / Debarchana Ghosh ; Rajarshi Guha
Coevolution of Epidemics, Social Networks, and Individual Behavior: A Case Study / Jiangzhuo Chen ; Achla Marathe
User Generated Content Consumption and Social Networking in Knowledge-Sharing OSNs / Jake T. Lussier ; Troy Raeder ; Nitesh V. Chawla
Where Are the Academic Jobs? Interactive Exploration of Job Advertisements in Geospatial and Topical Space / Angela M. Zoss ; Michael Conover ; Katy Börner
Assessing Group Interaction with Social Language Network Analysis / Andrew J. Scholand ; Yla R. Tausczik ; James W. Pennebaker
Analyzing and Tracking Weblog Communities Using Discriminative Collection Representatives / Guozhu Dong ; Ting Sa
Assortativity Patterns in Multi-dimensional Inter-organizational Networks: A Case Study of the Humanitarian Relief Sector / Kang Zhao ; Louis-Marie Ngamassi ; John Yen ; Carleen Maitland ; Andrea Tapia
Workings of Collective Intelligence within Open Source Communities / Everett Stiles ; Xiaohui Cui
Manipulation as a Security Mechanism in Sensor Networks / Ruiyi Zhang ; Johnson P. Thomas ; Qiurui Zhu ; Mathews Thomas
Modeling the Impact of Motivation, Personality, Emotion on Social Behavior / Lynn C. Miller ; Stephen J. Read ; Wayne Zachary ; Andrew Rosoff
Expressing Effects-Based Outcomes from Patterns of Emergent Population Behaviors / Colleen L. Phillips ; Norman D. Geddes
PGT: A Statistical Approach to Prediction and Mechanism Design / David H. Wolpert ; James W. Bono
Developing Cognitive Models for Social Simulation from Survey Data
Dynamic Creation of Social Networks for Syndromic Surveillance Using Information Fusion / Jared Holsopple ; Shanchieh Yang ; Moises Sudit ; Adam Stotz
Calibrating Bayesian Network Representations of Social-Behavioral Models / Paul Whitney ; Stephen Walsh
Social Network Data and Practices: The Case of Friendfeed / Fabio Celli ; F. Marta L. ; Di Lascio ; Matteo Magnani ; Barbara Pacelli ; Luca Rossi
Predictability in an 'Unpredictable' Artificial Cultural Market
Improving an Agent-Based Model by Using Interdisciplinary Approaches for Analyzing Structural Change in Agriculture / Franziska Appel ; Arlette Ostermeyer ; Alfons Balmann ; Karin Larsen
Exploring the Human Fabric through an Analyst's Eyes / Nadya Belov ; Jeff Patti ; Saki Wilcox ; Rafael Almanzar ; Janet Kim ; Jennifer Kellogg ; Steven Dang
Mitigating Issues Related to the Modeling of Insurgent Recruitment / Erica Briscoe ; Ethan Trewhitt ; Lora Weiss ; Elizabeth Whitaker
An Application of Epidemiological Modeling to Information Diffusion / Robert McCormack ; William Salter
A Social Network Analysis Approach to Detecting Suspicious Online Financial Activities / Lei Tang ; Geoffrey Barbier ; Huan Liu ; Jianping Zhang
Opponent Classification in Poker / Mohamed Elidrisi
Convergence of Influential Bloggers for Topic Discovery in the Blogosphere / Shamanth Kumar ; Reza Zafarani ; Mohammad Ali Abbasi
Sentiment Propagation in Social Networks: A Case Study in LiveJournal / William D. Cole
Iranians and Their Pride: Modalities of Political Sovereignty (Abstract) / Mansoor Moaddel
Author Index
Beyond Degree Distributions: Local to Global Structure of Social Contact Graphs (Abstract) / Stephen Eubank ; Anil Vullikanti ; Maleq Khan ; Madhav Marathe ; Chris Barrett
Endogenous Market-Clearing Prices and Reference Point Adaptation / Arnaud Z. Dragicevic
Modeling Effect of Leaders in Ethno-Religious Conflicts / Lingzhi Luo ; Nilanjan Chakraborty ; Katia Sycara
Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, J?��rn Grahl, Gary Greenfield, Takeo Kanade, Penousal Machado
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
Detection of DDoS Attacks via an Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm / Ugur Akyazi ; A. Sima Uyar
Performance Evaluation of an Artificial Neural Network-Based Adaptive Antenna Array System / Muamar Al-Bajari ; Jamal M. Ahmed ; Mustafa B. Ayoob
Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol for Vehicular Ad-Hoc Networks / José García-Nieto ; Enrique Alba
WiMAX Network Planning Using Adaptive-Population-Size Genetic Algorithm / Ting Hu ; Yuanzhu Peter Chen ; Wolfgang Banzhaf
Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs / Cem Safak Sahin ; Stephen Gundry ; Elkin Urrea ; M. Ümit Uyar ; Michael Conner ; Giorgio Bertoli ; Christian Pizzo
Particle Swarm Optimization for Coverage Maximization and Energy Conservation in Wireless Sensor Networks / Nor Azlina Ab. Aziz ; Ammar W. Mohemmed ; Mengjie Zhang
Efficient Load Balancing for a Resilient Packet Ring Using Artificial Bee Colony / Anabela Moreira Bernardino ; Eugénia Moreira Bernardino ; Juan Manuel Sánchez-Pérez ; Juan Antonio Gómez-Pulido ; Miguel Angel Vega-Rodríguez
TCP Modification Robust to Packet Reordering in Ant Routing Networks / Malgorzata Gadomska-Kudelska ; Andrzej Pacut
Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem in Optical WDM Networks Using a Tabu Search Based Hyper-Heuristic Approach / Ali Keles ; Aysegül Yayimli
A Generalized, Location-Based Model of Connections in Ad-Hoc Networks Improving the Performance of Ant Routing / Michal Kudelski
Using Code Bloat to Obfuscate Evolved Network Traffic / Patrick LaRoche ; Nur Zincir-Heywood ; Malcolm I. Heywood
ABC Supported Handoff Decision Scheme Based on Population Migration / Xingwei Wang ; Hui Cheng ; Peiyu Qin ; Min Huang ; Lei Guo
EvoENVIRONMENT Contributions
A Hyper-Heuristic Approach for the Unit Commitment Problem / Argun Berberoglu
Application of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission Reductions / Marco Lotz ; Sara Silva
Influence of Topology and Payload on CO2 Optimised Vehicle Routing / Cathy Scott ; Neil Urquhart ; Emma Hart
Start-Up Optimisation of a Combined Cycle Power Plant with Multiobjective Evolutionary Algorithms / Ilaria Bertini ; Matteo De Felice ; Fabio Moretti ; Stefano Pizzuti
EvoFIN Contributions
A Study of Nature-Inspired Methods for Financial Trend Reversal Detection / Antonia Azzini ; Andrea G.B. Tettamanzi
Outperforming Buy-and-Hold with Evolved Technical Trading Rules: Daily, Weekly and Monthly Trading / Dome Lohpetch ; David Corne
Evolutionary Multi-stage Financial Scenario Tree Generation / Ronald Hochreiter
Evolving Dynamic Trade Execution Strategies Using Grammatical Evolution / Wei Cui ; Anthony Brabazon ; Michael O'Neill
Modesty Is the Best Policy: Automatic Discovery of Viable Forecasting Goals in Financial Data / Fiacc Larkin ; Conor Ryan
Threshold Recurrent Reinforcement Learning Model for Automated Trading / Dietmar Maringer ; Tikesh Ramtohul
Active Portfolio Management from a Fuzzy Multi-objective Programming Perspective / Nikos S. Thomaidis
Evolutionary Monte Carlo Based Techniques for First Passage Time Problems in Credit Risk and Other Applications in Finance / Olena Tsviliuk ; Roderick Melnik ; Di Zhang
Calibrating the Heston Model with Differential Evolution / Manfred Gilli ; Enrico Schumann
Evolving Trading Rule-Based Policies / Robert Gregory Bradley
EvoMUSART Contributions
Evolving Artistic Styles through Visual Dialogues / Jae C. Oh ; Edward Zajec
Graph-Based Evolution of Visual Languages / Penousal Machado ; Henrique Nunes ; Juan Romero
Refinement Techniques for Animated Evolutionary Photomosaics Using Limited Tile Collections / Shahrul Badariah Mat Sah ; Vic Ciesielski ; Daryl D'Souza
Generative Art and Evolutionary Refinement / Gary Greenfield
Aesthetic Learning in an Interactive Evolutionary Art System / Yang Li ; Chang-Jun Hu
Comparing Aesthetic Measures for Evolutionary Art / E. den Heijer ; A.E. Eiben
The Problem with Evolutionary Art Is / Philip Galanter
Learning to Dance through Interactive Evolution / Greg A. Dubbin ; Kenneth O. Stanley
Jive: A Generative, Interactive, Virtual, Evolutionary Music System / Jianhua Shao ; James McDermott
A Neural Network for Bass Functional Harmonization / Roberto De Prisco ; Antonio Eletto ; Antonio Torre ; Rocco Zaccagnino
Combining Musical Constraints with Markov Transition Probabilities to Improve the Generation of Creative Musical Structures / Stephen Davismoon ; John Eccles
Dynamic Musical Orchestration Using Genetic Algorithms and a Spectro-Temporal Description of Musical Instruments / Philippe Esling ; Grégoire Carpentier ; Carlos Agon
Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms / Jaime Serquera ; Eduardo R. Miranda
Sound Agents / Philippe Codognet ; Olivier Pasquet
From Evolutionary Composition to Robotic Sonification / Artemis Moroni ; Jônatas Manzolli
Musical Composer Identification through Probabilistic and Feedforward Neural Networks / Maximos A. Kaliakatsos-Papakostas ; Michael G. Epitropakis ; Michael N. Vrahatis
EvoTRANSLOG Contributions
Using an Evolutionary Algorithm to Discover Low CO2 Tours within a Travelling Salesman Problem
A Genetic Algorithm for the Traveling Salesman Problem with Pickup and Delivery Using Depot Removal and Insertion Moves / Volkan Çinar ; Temel Öncan ; Haldun Süral
Fast Approximation Heuristics for Multi-Objective Vehicle Routing Problems / Martin Josef Geiger
Particle Swarm Optimization and an Agent-Based Algorithm for a Problem of Staff Scheduling / Maik Günther ; Volker Nissen
A Math-Heuristic for the Multi-Level Capacitated Lot Sizing Problem with Carryover / Marco Caserta ; Adriana Ramirez ; Stefan Voβ
Author Index
EvoCOMNET Contributions
Detection of DDoS Attacks via an Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm / Ugur Akyazi ; A. Sima Uyar
Performance Evaluation of an Artificial Neural Network-Based Adaptive Antenna Array System / Muamar Al-Bajari ; Jamal M. Ahmed ; Mustafa B. Ayoob
Cecilia Chio, Carlos Cotta, Marc Ebner, Anik? Ek?rt, Anna I. Esparcia-Alcazar, Chi-Keong Goh, Takeo Kanade, Juan J. Merelo, Ferrante Neri, Mike Preu?, Julian Togelius
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
HyVM - Hybrid Virtual Machines - Efficient Use of Future Heterogeneous Chip Multiprocessors / Karsten Schwan ; Ada Gavrilovska ; Sudha Yalamanchili
Processor Design
How to Enhance a Superscalar Processor to Provide Hard Real-Time Capable In-Order SMT / Jörg Mische ; Irakli Guliashvili ; Sascha Uhrig ; Theo Ungerer
Complexity-Effective Rename Table Design for Rapid Speculation Recovery / Görkem Asilioglu ; Emine Merve Kaya ; Oguz Ergin
An Embedded GC Module with Support for Multiple Mutators and Weak References / Thomas B. Preu<$$$>er ; Peter Reichel ; Rainer G. Spallek
Embedded Systems
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems / Patrick Bellasi ; William Fornaciari ; David Siorpaes
Autonomic Workload Management for Multi-core Processor Systems / Johannes Zeppenfeld ; Andreas Herkersdorf
Firefly Flashing Synchronization as Inspiration for Self-synchronization of Walking Robot Gait Patterns Using a Decentralized Robot Control Architecture / Bojan Jakimovski ; Benjamin Meyer ; Erik Maehle
Organic Computing and Self-organization
The JoSchKa System: Organic Job Distribution in Heterogeneous and Unreliable Environments / Matthias Bonn ; Hartmut Schmeck
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems / Jan-Philipp Steghöfer ; Pratik Mandrekar ; Florian Nafz ; Hella Seebach ; Wolfgang Reif
Ad-Hoc Information Spread between Mobile Devices: A Case Study in Analytical Modeling of Controlled Self-organization in IT Systems / Kamil Kloch ; Jan W. Kantelhardt ; Paul Lukowicz ; Patrick Wüchner ; Hermann de Meer
Processor Design and Transactional Memory
MLP-Aware Instruction Queue Resizing: The Key to Power-Efficient Performance / Pavlos Petoumenos ; Georgia Psychou ; Stefanos Kaxiras ; Juan Manuel Cebrian Gonzalez ; Juan Luis Aragon
Exploiting Inactive Rename Slots for Detecting Soft Errors / Mehmet Kayaalp ; Osman S. Ünsal ; Mateo Valero
Efficient Transaction Nesting in Hardware Transactional Memory / Yi Liu ; Yangming Su ; Cui Zhang ; Mingyu Wu ; Xin Zhang ; He Li ; Depei Qian
Energy Management in Distributed Environments and Ad-Hoc Grids
Decentralized Energy-Management to Control Smart-Home Architectures / Birger Becker ; Florian Allerding ; Ulrich Reiner ; Mattias Kahl ; Urban Richter ; Daniel Pathmaperuma ; Thomas Leibfried
EnergySaving Cluster Roll: Power Saving System for Clusters / Manuel F. Dolz ; Juan C. Fernández ; Rafael Mayo ; Enrique S. Quintana-Ortí
Effect of the Degree of Neighborhood on Resource Discovery in Ad Hoc Grids / Tariq Abdullah ; Koen Bertels ; Luc Onana Alima ; Zubair Nawaz
Performance Modelling and Benchmarking
Compiler-Directed Performance Model Construction for Parallel Programs / Martin Schindewolf ; David Kramer ; Marcelo Cintra
A Method for Accurate High-Level Performance Evaluation of MPSoC Architectures Using Fine-Grained Generated Traces / Roman Plyaskin
JetBench: An Open Source Real-Time Multiprocessor Benchmark / Muhammad Yasir Qadri ; Dorian Matichard ; Klaus D. McDonald Maier
Accelerators and GPUs
A Tightly Coupled Accelerator Infrastructure for Exact Arithmetics / Fabian Nowak ; Rainer Buchty
Optimizing Stencil Application on Multi-thread GPU Architecture Using Stream Programming Model / Fang Xudong ; Tang Yuhua ; Wang Guibin ; Tang Tao ; Zhang Ying
Author Index
Keynote
HyVM - Hybrid Virtual Machines - Efficient Use of Future Heterogeneous Chip Multiprocessors / Karsten Schwan ; Ada Gavrilovska ; Sudha Yalamanchili
Pattern Classification Using a Penalized Likelihood Method / Ahmed Al-Ani ; Amir F. Atiya
Evaluation of Feature Selection by Multiclass Kernel Discriminant Analysis / Tsuneyoshi Ishii ; Shigeo Abe
Correlation-Based and Causal Feature Selection Analysis for Ensemble Classifiers / Rakkrit Duangsoithong ; Terry Windeatt
A New Monte Carlo-Based Error Rate Estimator / Ahmed Hefny
Recognition of Sequences of Graphical Patterns / Edmondo Trentin ; ShuJia Zhang ; Markus Hagenbuchner
Maximum Echo-State-Likelihood Networks for Emotion Recognition / Stefan Scherer ; Friedhelm Schwenker
Robustness Analysis of Eleven Linear Classifiers in Extremely High-Dimensional Feature Spaces / Ludwig Lausser ; Hans A. Kestler
Unsupervised Learning
Global Coordination Based on Matrix Neural Gas for Dynamic Texture Synthesis / Banchar Arnonkijpanich ; Barbara Hammer
SIC-Means: A Semi-fuzzy Approach for Clustering Data Streams Using C-Means / Amr Magdy ; Mahmoud K. Bassiouny
The Mathematics of Divergence Based Online Learning in Vector Quantization / Thomas Villmann ; Sven Haase ; Frank-Michael Schleif Barbara Hammer ; Michael Biehl
Cluster Analysis of Cortical Pyramidal Neurons Using SOM / Andreas Schierwagen ; Alan Alpár ; Ulrich Gärtner
Parallelized Kernel Patch Clustering / Stefan Fauβer
Visual Pattern Recognition
Neural Network Cascade for Facial Feature Localization / Thibaud Senechal ; Lionel Prevost ; Shehzad Muhammad Hanif
A Hidden Markov Model Based Approach for Facial Expression Recognition in Image Sequences / Miriam Schmidt ; Martin Schels
Analysis, Interpretation, and Recognition of Facial Action Units and Expressions Using Neuro-Fuzzy Modeling / Mahmoud Khademi ; Mohammad Hadi Kiapour ; Mohammad T. Manzuri-Shalmani ; Ali A. Kiaei
Content-Based Retrieval and Classification of Ultrasound Medical Images of Ovarian Cysts / Abu Sayeed Md. Sohail ; Prabir Bhattacharya ; Sudhir P. Mudur ; Srinivasan Krishnamurthy ; Lucy Gilbert
Applications
A Novel Word Spotting Algorithm Using Bidirectional Long Short-Term Memory Neural Networks / Volkmar Frinken ; Andreas Fischer ; Horst Bunke
Swarm Based Fuzzy Discriminant Analysis for Multifunction Prosthesis Control / Rami N. Khushaba ; Adel Al-Jumaily
Bayesian Learning of Generalized Gaussian Mixture Models on Biomedical Images / Tarek Elguebaly ; Nizar Bouguila
Defective Areas Identification in Aircraft Components by Bivariate EMD Analysis of Ultrasound Signals / Marco Leo ; David Looney ; Tiziana D'Orazio ; Danilo P. Mandic
Different Regions Identification in Composite Strain-Encoded (C-SENC) Images Using Machine Learning Techniques / Abdallah G. Motaal ; Neamat El-Gayar ; Nael F. Osman
Exploiting Neural Networks to Enhance Trend Forecasting for Hotels Reservations / Athanasius Zakhary ; Neamat El Gayar ; Sanaa El-Ola. H. Ahmed
VLSI Architecture of the Fuzzy Fingerprint Vault System / Sung Jin Lim ; Seung-Hoon Chae ; Sung Bum Pan
Invited Talk
Clustering Very Large Dissimilarity Data Sets / Alexander Hasenfuss
Author Index
Supervised Learning
Pattern Classification Using a Penalized Likelihood Method / Ahmed Al-Ani ; Amir F. Atiya
Evaluation of Feature Selection by Multiclass Kernel Discriminant Analysis / Tsuneyoshi Ishii ; Shigeo Abe
An Algorithm to Decompose n-Dimensional Rotations into Planar Rotations / Sylvain Charneau
Tile Pasting Systems for Tessellation and Tiling Patterns / T. Robinson ; S. Jebasingh ; Atulya K. Nagar ; K.G. Subramanian
Polyoisominoes / Mary Jemima Samuel ; V.R. Dare ; T. Kalyani
Collage of Iso-Picture Languages and P Systems / S. Annadurai ; D.G. Thomas
Online Tessellation Automaton Recognizing Various Classes of Convex Polyominoes / H. Geetha
A New Method for Generation of Three-Dimensional Cubes / R. Arumugham ; K. Thirusangu
Methods and Applications. Medical Imaging, Bioimaging, Biometrics, and Imaging in Material Sciences
Surface-Based Imaging Methods for High-Resolution Functional Magnetic Resonance Imaging / David Ress ; Sankari Dhandapani ; Sucharit Katyal ; Clint Greene ; Chandra Bajaj
Characterization of a SimMechanics Model for a Virtual Glove Rehabilitation System / Danilo Franchi ; Alfredo Maurizi ; Giuseppe Placidi
Numerical Methods for the Semi-automatic Analysis of Multimodal Wound Healing Images / Maria Grazia Cifone ; Benedetta Cinque ; Maurizio Giuliani ; Cristina La Torre ; Guido Macchiarelli ; Marta Maione ; Gianfranca Miconi ; Antonello Sotgiu
Customizable Visualization on Demand for Hierarchically Organized Information in Biochemical Networks / Peter Droste ; Eric von Lieres ; Wolfgang Wiechert ; Katharina Nöh
Improved Kernel Common Vector Method for Face Recognition Varying in Background Conditions / C. Lakskmi ; M. Ponnavaikko ; M. Sundararajan
Compact Binary Patterns (CBP) with Multiple Patch Classifiers for Fast and Accurate Face Recognition / Hieu V. Nguyen ; Li Bai
Graph-Theoretic Image Alignment Using Topological Features / Waleed Mohamed ; A. Ben Hamza ; Khaled Gharaibeh
Fast Automatic Microstructural Segmentation of Ferrous Alloy Samples Using Optimum-Path Forest / João Paulo Papa ; Victor Hugo C. de Albuquerque ; Alexandre Xavier Falcão ; João Manuel R.S. Tavares
Numerical Simulations of Hypoeutectoid Steels under Loading Conditions, Based on Image Processing and Digital Material Representation / Lukasz Rauch ; Lukasz Madej ; Bogdan Pawlowski
Surface Finish Control in Machining Processes Using Haralick Descriptors and Neuronal Networks / Enrique Alegre ; RocÃo Alaiz-RodrÃguez ; JoaquÃn Barreiro ; Eduardo Fidalgo ; Laura Fernández
Methods and Applications. Image Reconstruction, Computed Tomography, and Other Applications
Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese / Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio
Assessing the Impact of Stemming Accuracy on Information Retrieval / Felipe N. Flores ; Viviane P. Moreira ; Carlos A. Heuser
Exploiting Multilingual Grammars and Machine Learning Techniques to Build an Event Extraction System for Portuguese / Vanni Zavarella ; Hristo Tanev ; Jens Linge ; Jakub Piskorski ; Martin Atkinson ; Ralf Steinberger
LXGram: A Deep Linguistic Processing Grammar for Portuguese / Francisco Costa
Language Resources
InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language / Vladia Pinheiro ; Tarcisio Pequeno ; Vasco Furtado ; Wellington Franco
Comparing Verb Synonym Resources for Portuguese / Jorge Teixeira
Auxiliary Verbs and Verbal Chains in European Portuguese / Jorge Baptista ; Nuno Mamede ; Fernando Gomes
P-AWL: Academic Word List for Portuguese / Neuza Costa ; Joaquim Guerra ; Marcos Zampieri ; Maria Cabral
Speech Recognition
Automatic Phone Clustering Based on Confusion Matrices / Carla Lopes ; Arlindo Veiga ; Fernando Perdigão
An Open-Source Speech Recognizer for Brazilian Portuguese with a Windows Programming Interface / Patrick Silva ; Pedro Batista ; Nelson Neto ; Aldebaro Klautau
Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese / Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio
Assessing the Impact of Stemming Accuracy on Information Retrieval / Felipe N. Flores ; Viviane P. Moreira ; Carlos A. Heuser
A Control Loop Reduction Scheme for Wireless Process Control on Traffic Light Networks / Junghoon Lee ; Gyung-Leen Park ; In-Hye Shin ; Choel Min Kim ; Sang-Wook Kim
Performance Measurement of a Dual-Channel Intersection Switch on the Vehicular Network / Ji-Ae Kang ; Min-Jae Kang ; Ho-Young Kwak
A Rapid Code Acquisition Scheme for Optical CDMA Systems / Youngyoon Lee ; Dahae Chong ; Chonghan Song ; Youngpo Lee ; Seung Goo Kang ; Seokho Yoon
Optimal and Suboptimal Synchronization Schemes for Ultra-Wideband Systems / Myungsoo Lee ; Junhwan Kim
Partial Information Relaying with Multi-Layered Superposition Coding / Jingyu Kim ; Dong In Kim
Performance Measurement of the Hybrid Prefetch Scheme on Vehicular Telematics Networks / Youngshin Hong ; Sang Joon Lee
Power Control for Soft Fractional Frequency Reuse in OFDMA System / Young Min Kwon ; Ok Kyung Lee ; Ju Yong Lee ; Min Young Chung
Authentication - Based Medium Access Control to Prevent Protocol Jamming: A-MAC / Jaemin Jeung ; Seungmyeong Jeong ; Jaesung Lim
Femtocell Deployment to Minimize Performance Degradation in Mobile WiMAX Systems / Chang Seup Kim ; Bum-Gon Choi ; Tae-Jin Lee ; Hyunseung Choo
A Novel Frequency Planning for Femtocells in OFDMA-Based Cellular Networks Using Fractional Frequency Reuse / Chang-Yeong Oh
Association Analysis of Location Tracking Data for Various Telematics Services
An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems / Kyunghoon Won ; Jun-Hee Jang ; Se-bin Im ; Hyung-Jin Choi
Low-Cost Two-Hop Anchor Node-Based Distributed Range-Free Localization in Wireless Sensor Networks / Taeyoung Kim ; Minhan Shon ; Wook Choi ; MoonBae Song
SecDEACH: Secure and Resilient Dynamic Clustering Protocol Preserving Data Privacy in WSNs / Young-Ju Han ; Min- Woo Park ; Tai-Myoung Chung
Avoidance of Co-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks / Yeonjune Jeong ; Hyunduk Kim ; Byung-Sung Kim
User Policy Based Transmission Control Method in Cognitive Wireless Network / Noriki Uchida ; Yoshitaka Shibata ; Kazuo Takahata
Workshop on Rough and Soft Sets Theories and Applications (RSSA 2010)
Development of a Hybrid Case-Based Reasoning for Bankruptcy Prediction / Rong-Ho Lin ; Chun-Ling Chuang
The Time Series Image Analysis of the HeLa Cell Using Viscous Fluid Registration / Soichiro Tokuhisa ; Kunihiko Kaneko
Matrices Representation of Multi Soft-Sets and Its Application / Tutut Herawan ; Mustafa Mat Deris ; Jemal H. Abawajy
Clustering Analysis of Water Quality for Canals in Bangkok, Thailand / Sirilak Areerachakul ; Siripun Sanguansintukul
Workshop on Wireless and Ad Hoc Networking (WADNet 2010)
A Review of Routing Protocols for UWB MANETs / Yahia Hasan Jazyah ; Martin Hope
An Efficient and Reliable Routing Protocol for Wireless Mesh Networks / Jaydip Sen
A Context-Aware Service Model Based on Workflows for u-Agriculture / Yongyun Cho ; Jongbae Moon ; Hyun Yoe
A History-Based Scheduler for Dynamic Load Balancing on Distributed VOD Server Environments / Hyun-joo Moon
A Secure Routing Protocol for Wireless Sensor Networks / Arijit Ukil
Efficient Pairwise Key Establishment Scheme Based on Random Pre-distribution Keys in WSN / Hao Wang ; Jian Yang ; Ping Wang ; Pu Tu
Agent Based Approach of Routing Protocol Minimizing the Number of Hops and Maintaining Connectivity of Mobile Terminals Which Move One Area to the Other / Kohei Arai ; Lipur Sugiyanta
Ensuring Basic Security and Preventing Replay Attack in a Query Processing Application Domain in WSN / Amrita Ghosal ; Halder Subir ; Sur Sanjib ; Dan Avishek ; DasBit Sipra
Workshop on Wireless Multimedia Sensor Networks (WMSN 2010)
A Review of Redundancy Elimination Protocols for Wireless Sensor Networks / Babak Pazand ; Amitava Datta ; Rachel Cardell-Oliver
A Light-Weighted Misused Key Detection in Wireless Sensor Networks / Min-Woo Park ; Jong-Myoung Kim
Identifying Mudslide Area and Obtaining Forewarned Time Using AMI Associated Sensor Network / Cheng-Jen Tang ; Mian Ru Dai
General Track on Information Systems and Information Technologies
Utilization of Ontology in Health for Archetypes Constraint Enforcement / Anny Kartika Sari ; Wenny Rahayu ; Dennis Wollersheim
Time-Decaying Bloom Filters for Efficient Middle-Tier Data Management / Kai Cheng
Soft Decision Making for Patients Suspected Influenza
Personal Identification by EEG Using ICA and Neural Network / Preecha Tangkraingkij ; Chidchanok Lursinsap ; Tayard Desudchit
A Formal Concept Analysis-Based Domain-Specific Thesaurus and Its Application in Document Representation / Jihn-Chang Jehng ; Shihchieh Chou ; Chin-Yi Cheng
Automatic Chinese Text Classification Using N-Gram Model / Show-Jane Yen ; Yue-Shi Lee ; Yu-Chieh Wu ; Jia-Ching Ying ; Vincent S. Tseng
Genetic Algorithms Evolving Quasigroups with Good Pseudorandom Properties / Václav Snášel ; Jirà Dvorský ; Eliška Ochodková ; Pavel Krömer, ; Jan Platoš ; Ajith Abraham
Software Openness: Evaluating Parameters of Parametric Modeling Tools to Support Creativity and Multidisciplinary Design Integration / Flora Dilys Salim ; Jane Burry
Dynamic and Cyclic Response Simulation of Shape Memory Alloy Devices / Yutaka Toi ; Jie He
Adaptive Fuzzy Filter for Speech Enhancement / Chih-Chia Yao ; Ming-Hsun Tsai
Risk Prediction for Postoperative Morbidity of Endovascular Aneurysm Repair Using Ensemble Model / Nan-Chen Hsieh ; Chien-Hui Chan ; Hsin-Che Tsai
Further Results on Swarms Solving Graph Coloring / Manuel Graña ; Blanca Cases ; Carmen Hernandez ; Alicia D'Anjou
Data Collection System for the Navigation of Wheelchair Users: A Preliminary Report / Yasuaki Sumida ; Kazuaki Goshi ; Katsuya Matsunaga
Author Index
Workshop on Mobile Communications (MC 2010)
A Control Loop Reduction Scheme for Wireless Process Control on Traffic Light Networks / Junghoon Lee ; Gyung-Leen Park ; In-Hye Shin ; Choel Min Kim ; Sang-Wook Kim
Performance Measurement of a Dual-Channel Intersection Switch on the Vehicular Network / Ji-Ae Kang ; Min-Jae Kang ; Ho-Young Kwak
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2010)
Supporting Molecular Modeling Workflows within a Grid Services Cloud / Sergio Rampino ; Ernesto Garcia ; Fernando Pirani ; Antonio Laganà ; Martin Koehler ; Matthias Ruckenbauer ; Ivan Janciak ; Siegfried Benkner ; Hans Lischka ; Wilfried N. Gansterer
Distributed and Collaborative Learning Objects Repositories on Grid Networks / Simonetta Pallottelli ; Sergio Tasso ; Nicola Pannacci ; Alessandro Coatantini ; Noelia Faginas Lago
Porting of GROMACS Package into the Grid Environment: Testing of a New Distribution Strategy / Alessandro Costantini ; Eduardo Gutierrez ; Javier Lopez Cacheiro ; Aurelio Rodriguez ; Osvaldo Gervasi
Workshop on Biomathematics, Bioinformatics and Biostatistics (IBBB 2010)
Hashimoto's Thyroiditis with Petri Nets / Ãœnal Ufuktepe ; Buket Yilmaz
Modelling of the Temporomandibular Joints and the Role of Medical Informatics in Stomatology / Josef Danek ; Petra Hlináková ; Petra Precková ; Tatjána Dostálová ; Jrà Nedoma ; Miroslav Nagy
Stability Analysis of an SVLI Epidemic Model / Schehrazad Selmane
A New Expert System for Diabetes Disease Diagnosis Using Modified Spline Smooth Support Vector Machine / Santi Wulan Purnami ; Jasni Mohamad Zain ; Abdullah Embong
Workshop on Human and Information Space Symbiosis (IWHISS 2010)
Information Privacy in Smart Office Environments: A Cross-Cultural Study Analyzing the Willingness of Users to Share Context Information / Carsten Röcker
Implementation and Evaluation of Agent Interoperability Mechanism among Heterogeneous Agent Platforms for Symbiotic Computing / Takahiro Uchiya ; Susumu Konno ; Tetsuo Kinoshita
B-Dash: Agent Platform for Mutual Cognition between Human and Agents / Hideki Hara ; Yusuke Manabe ; Shigeru Fujita ; Kenji Sugawara
An Extraction Method to Get a Municipality Event Information / Tatsuya Ushioda
Design and Implementation of Adaptive Inter-platform Communication Mechanism for Agent-Based Framework in Ubiquitous Computing Environment / Taishi Ito ; Hideyuki Takahashi ; Takuo Suganuma ; Norio Shiratori
An Effective Inference Method Using Sensor Data for Symbiotic Healthcare Support System / Satoru Izumi ; Yusuke Kobayashi
3D Collaboration Environment Based on Real Space and Digital Space Symbiosis / Gen Kitagata ; Akira Sakatoku ; Akifumi Kawato ; Toshiaki Osada
Workshop on Information Retrieval, Security and Innovative Applications (RSIA 2010)
A Cryptographic Algorithm Based on Hybrid Cubes / Sapiee Jamel ; Tutut Herawan ; Mustafa Mat Deris
Java Implementation for Pairing-Based Cryptosystems / Syh-Yuan Tan ; Swee-Huay Heng ; Bok-Min Goi
On Selecting Additional Predictive Models in Double Bagging Type Ensemble Method / Zaman Faisal ; Mohammad Mesbah Uddin ; Hideo Hirose
Personalization of Search Profile Using Ant Foraging Approach / Pattira Phinitkar ; Peraphon Sophatsathit
A Novel Convinced Diffie-Hellman Computation Scheme and Its Cryptographic Application / Yuh-Min Tseng ; Tsu-Yang Wu
An Identifiable yet Unlinkable Authentication System with Smart Cards for Multiple Services / Toru Nakamura ; Shunsuke Inenaga ; Daisuke Ikeda ; Kensuke Baba ; Hiroto Yasuura
Estimating the Influence of Documents in IR Systems: A Marked Indexing Approach / Ye Wang ; Yi Han ; Tianbo Lu
String Matching with Mismatches by Real-Valued FFT
Encryption Methods for Restricted Data Limited in Value Range / Yuji Suga
The Research for Spatial Role-Based Access Control Model / Zhiwen Zou ; Changqian Chen ; Shiguang Ju ; Jiming Chen
Workshop on Collective Evolutionary Systems (IWCES 2010)
A Bidirectional Heuristic Search Technique for Web Service Composition / Nilesh Ukey ; Rajdeep Niyogi ; Alfredo Milani ; Kuldip Singh
Evolutionary Optimized Networks for Consensus and Synchronization / Toshihiko Yamamoto ; Akira Namatame
Geospatial Analysis of Cooperative Works on Asymmetric Information Environment / Tetsuya Kusuda ; Tetsuro Ogi
Emergent Stock Market Behaviour from a Multitude of Simple Agents / Volker Nissen ; Danilo Saft
A New Neural Network Based Customer Profiling Methodology for Churn Prediction / Ashutosh Tiwari ; John Hadden ; Chris Turner
General Track on Computational Methods, Algorithms and Applications
Phonological Recoding in the Second Language Processing / Chang H. Lee ; Kyungill Kim ; HeuiSeok Lim
A Personalized CALL System Considering Users Cognitive Abilities / Saebyeok Lee ; WonGye Lee ; Hyeon-Cheol Kim ; Soon-Young Jung
Autonomic Resources Management of CORBA Based Systems for Transportation with an Agent / Woonsuk Suh ; Bunseok Lee
Performance Evaluation of a Reservoir Simulator on a Multi-core Cluster / Carolina Ribeiro Xavier ; Elisa Portes dos Santos Amorim ; Ronan M. Amorim ; Marcelo Lobosco ; Paulo Goldfeld ; Flavio Dickstein ; Rodrigo Weber dos Santos
Generating Parallel Random Sequences via Parameterizing EICGs for Heterogeneous Computing Environments / Hongmei Chi ; Yanzhao Cao
Efficient Generation of Gray Codes for Reflectable Languages / Limin Xiang ; Kai Cheng ; Kazuo Ushijima
Pattern-Unit Based Regular Expression Matching with Reconfigurable Function Unit / Ming Cong ; Hong An ; Lu Cao ; Yuan Liu ; Peng Li ; Tao Wang ; Zhi-hong Yu ; Dong Liu
Availability Analysis of an IMS-Based VoIP Network System / Toshikazu Uemura ; Tadashi Dohi ; Naoto Kaio
Hybrid Genetic Algorithm for Minimum Dominating Set Problem / Abdel-Rahman Hedar ; Rashad Ismail
Proactive Identification and Prevention of Unexpected Future Rule Conflicts in Attribute Based Access Control / Daren Zha ; Jiwu Jing ; Peng Liu ; Jingqiang Lin ; Xiaoqi Jia
Termination of Loop Programs with Polynomial Guards / Bin Wu ; Liyong Shen ; Zhongqin Bi ; Zhenbing Zeng
Development of Web Based Management Software for Safe Driving / Masaki Hayashi ; Kazuhiro Hirata ; Kazuaki Goshi ; Katsuya Matsunaga
A Study on Comparative Analysis of the Information Security Management Systems / Heasuk Jo ; Seungjoo Kim ; Dongho Won
Beacon-Based Cooperative Forwarding Scheme for Safety-Related Enter-Vehicle Communications / Songnan Bai ; Zequn Huang ; Jaeil Jung
Author Index
Workshop on Chemistry and Materials Sciences and Technologies (CMST 2010)
Supporting Molecular Modeling Workflows within a Grid Services Cloud / Sergio Rampino ; Ernesto Garcia ; Fernando Pirani ; Antonio Laganà ; Martin Koehler ; Matthias Ruckenbauer ; Ivan Janciak ; Siegfried Benkner ; Hans Lischka ; Wilfried N. Gansterer
Distributed and Collaborative Learning Objects Repositories on Grid Networks / Simonetta Pallottelli ; Sergio Tasso ; Nicola Pannacci ; Alessandro Coatantini ; Noelia Faginas Lago
Workshop on Numerical Methods and Modeling/Simulations in computational Science and Engineering (NMMS 2010)
The Use of Shadow Regions in Multi Region FDM: High Precision Cylindrically Symmetric Electrostatics / David Edwards Jr.
Fast Forth Power and Its Application in Inversion Computation for a Special Class of Trinomials / Yin Li ; Gong-liang Chen ; Jian-hua Li
Computational Study of Comphressive Loading of Carbon Nanotubes / Yang Yang ; William W. Liou
plrint5d: A Five-Dimensional Automatic Cubature Routine Designed for a Multi-core Platform / Tiancheng Li ; Ian Robinson
Development of Quadruple Precision Arithmetic Toolbox QuPAT on Scilab / Tsubasa Saito ; Emiko Ishiwata ; Hidehiko Hasegawa
Agent Based Evacuation Model with car-Following Parameters by Means of Cellular Automata / Kohei Arai ; Tri Harsono
A Cellular Automata Based Approach for Prediction of Hot Mudflow Disaster Area / Achmad Basuki
Stochastic Optimization Approaches to Image Reconstruction in Electrical Impedance Tomography / Chang-Jin Boo ; Ho-Chan Kim ; Min-Jae Kang ; Kwang Y. Lee
Estimating Soil Parameters Using the Kernel Function / Jacek M. Zurada
A Genetic Algorithm for Efficient Delivery Vehicle Operation Planning Considering Traffic Conditions / Yoong-Seok Yoo ; Jae-Yearn Kim
On the Possibilities of Multi-core Processor Use for Real-Time Forecast of Dangerous Convective Phenomena / Nikita Raba ; Elena Stankova
Workshop on Software Engineering Processes and Application (SEPA 2010)
Model Driven Software Development of Applications Based on Web Services / Ricardo Rafael Quintero Meza ; Leopoldo Zenaido Zepeda Sánchez ; Liliana Vega Zazueta
An Aspect-Oriented Approach for Mobile Embedded Software Modeling / Yong-Yi FanJiang ; Jong-Yih Kuo ; Shang-Pin Ma ; Wong-Rong Huang
Multi-variate Principal Component Analysis of Software Maintenance Effort Drivers / Ruchi Shukla ; A.K. Misra
Process Model Based Incremental Project Planning / Edward Fischer
A Software Metric for Python Language / Sanjay Misra ; Ferid Cafer
Certifying Algorithms for the Path Cover and Related Problems on Interval Graphs / Ruo-Wei Hung ; Maw-Shang Chang
Design and Overhead Estimation of Device Driver Process / Yusuke Nomura ; Kouta Okamoto ; Yusuke Gotoh ; Yoshinari Nomura ; Hideo Taniguchi ; Kazutoshi Yokoyama ; Katsumi Maruyama
Improvement of Gaze Estimation Robustness Using Pupil Knowledge / Ronny Mardiyanto
Workshop on WEB 2.0 and Social Networks (Web2.0 2010)
Behaviour-Based Web Spambot Detection by Utilising Action Time and Action Frequency / Pedram Hayati ; Kevin Chai ; Vidyasagar Potdar ; Alex Talevski
Towards the Definition of a Metamodel for the conceptual Specification of Web Applications Based on Social Networks / Constanza Hernández ; Ricardo Quintero ; Leopoldo Z. Sánchez
Semi-automatic Information Extraction from Discussion Boards with Applications for Anti-Spam Technology / Saeed Sarencheh ; Elham Afsari Yeganeh ; Nazanin Firoozeh
Factors Involved in Estimating Cost of Email Spam / Farida Ridzuan
Spam 2.0: The Problem Ahead / Elham Afsari Yeganesh ; Nazanin Firuzeh
General: Track on Information Systems and Technologies
Tag Recommendation for Flickr Using Web Browsing Behavior / Taiki Takashita ; Tsuyoshi Itokawa ; Teruaki Kitasuka ; Masayoshi Aritsugi
USABAGILE_Web: A Web Agile Usability Approach for Web Site Design / Gladys Benigin ; Osvaldo Gervasi ; Francesco Luca Passeri ; Tai-Hoon Kim
Experience in Developing an Open Source Scalable Software Infrastructure in Japan / Akira Nishida
A New Formal Test Method for Networked software Integration Testing / Shuai Wang ; Yindong Ji ; Wei Dong ; Shiyuan Yang
General Track on Computational Methods, Algorithms and Scientific Application
Automatic History Matching in Petroleum Reservoirs Using the TSVD Method / Elisa Portes dos Santos Amorim ; Paulo Goldfeld ; Flavio Dickstein ; Rodrigo Weber dos Santos ; Carolina Ribeiro Xavier
An Efficient Hardware Architecture from C Program with Memory Access to Hardware / Akira Yamawaki ; Seiichi Serikawa ; Masahiko Iwane
A New Approach: Component-Based Multi-physics Coupling through CCA-LISI / Fang Liu ; Masha Sosonkina ; Randall Bramley
Efficient Algorithms for the 2-Center Problems / Tadao Takaoka
A Genetic Algorithm for Integration Planning of Assembly Operation and Machine Layout / C.J. Chiang ; Z.H. Che ; Tzu-An Chiang ; Zhen-Guo Che
General Track on Advanced and Emerging Applications
Diagnosis of Learning Styles Based on Active/Reflective Dimension of Felder and Silverman's Learning Style Model in a Learning Management System / Ömer Simsek ; Nilüfer Atman ; Mustafa Murat Inceoglu ; Yüksel Deniz Arikan
Exploring the State of the Art in Adaptive Distributed Learning Environments / Birol Ciloglugil
Analysis of an Implicitly Restarted Simpler GMRES Variant of Augmented GMRES / Ravindra Boojhawon ; Desire Yannick Tangman ; Kumar Dookhitram ; Muddun Bhuruth
On the Linearity of Cryptographic Sequence Generators / Amparo Fuster-Sabater ; Oscar Delgado-Mohatar ; Ljiljana Brankovic
Author Index
Workshop on Numerical Methods and Modeling/Simulations in computational Science and Engineering (NMMS 2010)
The Use of Shadow Regions in Multi Region FDM: High Precision Cylindrically Symmetric Electrostatics / David Edwards Jr.
Fast Forth Power and Its Application in Inversion Computation for a Special Class of Trinomials / Yin Li ; Gong-liang Chen ; Jian-hua Li
Workshop on Geographical Analysis, Urban Modeling, Spatial Statistics (GEO-AN-MOD 2010)
Real Estate Values, Urban Centrality, Economic Activities. A GIS Analysis on the City of Swindon (UK) / Francesco Battaglia ; Giuseppe Borruso ; Andrea Porceddu
Analysis of Positional Aspects in the Variation of Real Estate Values in an Italian Southern Metropolitan Area / Silvestro Montrone ; Paola Perchinunno ; Carmelo Maria Torre
The Application of Spatial Filtering Technique to the Economic Convergence of the European Regions between 1995 and 2007 / Francesco Pecci ; Nicola Pontarollo
Spatial Autocorrelation Analysis for the Evaluation of Migration Flows: The Italian Case / Grazia Scardaccione ; Francesco Scorza ; Giuseppe Las Casas ; Beniamino Murgante
Using Cellular Automata Model to Simulate the Impact of Urban Growth Policy on Environment in Danshuei Township, Taiwan / Feng-Tyan Lin ; Wan-Yu Tseng
Improving the Calibration of the MOLAND Urban Growth Model with Land-Use Information Derived from a Time-Series of Medium Resolution Remote Sensing Data / Tim Van de Voorde ; Johannes van der Kwast ; Inge Uljee ; Guy Engelen ; Frank Canters
Design of a Dynamic Land-Use Change Probability Model Using Spatio-temporal Transition Matrix / Yongjin Joo ; Chulmin Jun ; Soohong Park
Forecasting Space-Time Land Use Change in the Paochiao Watershed of Taiwan Using Demand Estimation and Empirical Simulation Approaches / Hone-Jay Chu ; Yu-Pin Lin ; Chen-Fa Wu
Should Neighborhood Effect Be Stable in Urban Geosimulation Model? A Case Study of Tokyo / Yaolong Zhao ; Fei Dong ; Hong Zhang
A Fuzzy Cellular Automata Modeling Approach - Accessing Urban Growth Dynamics in Linguistic Terms / Lefteris A. Mantelas ; Thomas Hatzichristos ; Poulicos Prastacos
Computer-Based Methods for a Socially Sustainable Urban and Regional Planning - CoMStaR / Jens Steinhöfel ; Frauke Anders ; Hermann Köhler ; Dominik Kalisch ; Reinhard König
A Comparison of Evolutionary Algorithms for Automatic Calibration of Constrainad Cellular Automata / Ivan Blecic ; Arnaldo Cecchini ; Giuseppe A. Trunfio
The Calculation Method of Heating and Cooling Energy Saving Potential in Urban District / Shin Do Kim ; Im Hack Lee ; Sung Moon Cheon
GIS-Based Estimation of Wetland Conservation Potentials in Europe / Christine Schleupner
G.I.S. to Support Environmental Sustainability in Manufacturing Areas. Case Study of the Apulian Region in Southern Italy / Francesco Selicato ; Grazia Maggio ; Francesco Mancini
Estimating and Classifying Spatial and Temporal Distributions of Flow Conditions for Fish Habitats by Using Geostatistical Approaches with Measured Flow and Fish Data / Cheng-Long Wang ; Hsiao-Hsuan Yu ; Yung-Chieh Wang
Service Path Attribution Networks (SPANs): Spatially Quantifying the Flow of Ecosystem Services from Landscapes to People / Gary W. Johnson ; Kenneth J. Bagstad ; Robert R. Snapp ; Ferdinando Villa
Facing the Archaeological Looting in Peru by Using Very High Resolution Satellite Imagery and Local Spatial Autocorrelation Statistics / Rosa Lasaponara ; Nicola Masini
U-City: New Trends of Urban Planning in Korea Based on Pervasive and Ubiquitous Geotechnology and Geoinformation / Myungjun Jang ; Soon-Tak Suh
Settlement-Preference Patterns and Characteristics of Households in Urban Renewal Area / Jin-Kyung Lee ; Seungil Lee ; Kyu-Il Kim
Ontologies for Urban Regeneration Could Be Useful for Managing Cohesion Policies? / Francesco Rotondo
The Effect of School Facility Allocation to City Center Development Base on Dynamic Spatial Structure Model / Shyh-Haw Chyan ; Hsiao-Lan Liu
A Fuzzy Reasoning Based Approach for Determining Suitable Paths between Two Locations on a Transport Network / Indira Mukherjee ; S.K. Ghosh
Assessing Macroseismic Data Reliability through Rough Set Theory: The Case of Rapolla (Basilicata, Southern Italy) / Fabrizio Gizzi ; Maria Rosaria Potenza ; Cinzia Zotta ; Lucia Tilio ; Maria Danese
Utilization of LiDAR and IKONOS Satellite Data for Security Hotspot Analysis Based on Realism of 3D City Model / Mazlan Hashim ; Maged Marghany ; Mohd Rizaludin Mahmud ; Mohd Hafiz Anuar
Towards 3D Tactical Intelligence Assessments for Crime scene Analysis / Markus Wolff ; Hartmut Asche
On the Estimation of Fire Severity Using Satellite ASTER Data and Spatial Autocorrelation Statistics / Rosa Coluzzi ; Antonio Lanorte
Spatial Analysis of the 2008 Influenza Outbreak of Hong Kong / Poh-chin Lai ; Kim-hung Kwong
Spatial Components in Disease Modelling
Ordered Polyline Trees for Efficient Search of Objects Moving on a Graph / Thuy Thi Thu Le ; Bradford G. Nickerson
Compactness in Spatial Decision Support: A Literature Review / Pablo Vanegas ; Dirk Cattrysse ; Jos Van Orshoven
An Architecture and a Metamodel for Processing Analytic and Geographic Multilevel Queries / Diego Martins Vieira Barros ; Robson do Nascimento Fidalgo
A Model Driven Process for Spatial Data Sources and Spatial Data Warehouses Reconcilation / Octavio Glorio ; Jose-Norberto Mazón ; Juan Trujillo
ISATEM: An Integration of Socioeconomic and Spatial Models for Mineral Resources Exploitation / Fenintsoa Andriamasinoro ; Daniel Cassard ; Bruno Martel-Jantin
Scale-Dependency and Sensitivity of Hydrological Estimations to Land Use and Topography for a Coastal Watershed in Mississippi / Vladimir J. Alarcon ; Charles G. O'Hara
Using MODIS Land-Use/Land-Cover Data and Hydrological Modeling for Estimating Nutrient Concentrations / William McAnally ; Gary Ervin ; Christopher Brooks
Geometrical DCC-Algorithm for Merging Polygonal Geospatial Data / Silvija Stankute
Geospatial Semantics: A Critical Review / Pasquale Di Donato
General Track on Advanced and Emerging Applications
Modelling Sea Surface Salinity from MODIS Satellite Data / Arthur P. Cracknell
Skeleton of a Multi-ribbon Surface / Ivan Mekhedov ; Leonid Mestetskiy
Multi-criteria Optimization in GIS: Continuous K-Nearest Neighbor Search in Mobile Navigation / Kushan Ahmadian ; Marina Gavrilova ; David Taniar
The Application of Disturbance Observer to Propulsion Control of Sub-mini Underwater Robot / Yuyi Zhai ; Liang Liu ; Wenjie Lu ; Yu Li ; Shiliang Yang ; Francesco Villecco
On the Security Enhancement of an Efficient and Secure Event Signature Protocol for P2P MMOGs / Chun-Ta Li ; Cheng-Chi Lee ; Lian-Jun Wang
A Stable Skeletonization for Tabletop Gesture Recognition / Andoni Beristain ; Manuel Graña
Author Index
Workshop on Geographical Analysis, Urban Modeling, Spatial Statistics (GEO-AN-MOD 2010)
Real Estate Values, Urban Centrality, Economic Activities. A GIS Analysis on the City of Swindon (UK) / Francesco Battaglia ; Giuseppe Borruso ; Andrea Porceddu
Analysis of Positional Aspects in the Variation of Real Estate Values in an Italian Southern Metropolitan Area / Silvestro Montrone ; Paola Perchinunno ; Carmelo Maria Torre
Privacy-Preserving Location Publishing under Road-Network Constraints / Nan Chen ; Lidan Shou ; Gang Chen ; Ke Chen ; Yunjun Gao ; Dan Lin ; Sashi Gurung ; Wei Jiang ; Ali Hurson
Incremental Clustering for Trajectories / Zhenhui Li ; Jae-Gil Lee ; Xiaolei Li ; Jiawei Han
NNCluster: An Efficient Clustering Algorithm for Road Network Trajectories / Gook-Pil Roh ; Seung-won Hwang
Skyline Queries
Dynamic Skyline Queries in Large Graphs / Lei Zou ; Lei Chen ; M. Tamer Özsu ; Dongyan Zhao
Top-k Combinatorial Skyline Queries / I-Fang Su ; Yu-Chi Chung ; Chiang Lee
Extract Interesting Skyline Points in High Dimension / Gabriel Pui Cheong Fung ; Wei Lu ; Jing Yang ; Xiaoyong Du ; Xiaofang Zhou
Transitivity-Preserving Skylines for Partially Ordered Domains / Henning Köhler ; Kai Zheng
Finding the Most Desirable Skyline Objects / Junfeng Hu ; Gencai Chen ; Chun Chen
Privacy and Security
Multiple Sensitive Association Protection in the Outsourced Database / Xiao Jiang ; Jun Gao ; Tengjiao Wang ; Dongqing Yang
A Semantic Information Loss Metric for Privacy Preserving Publication / Yu Liu ; Ting Wang ; Jianhua Feng
On t-Closeness with KL-Divergence and Semantic Privacy / Chaofeng Sha ; Yi Li ; Aoying Zhou
Competitive Privacy: Secure Analysis on Integrated Sequence Data / Raymond Chi-Wing Wong ; Eric Lo
Privacy-Preserving Publishing Data with Full Functional Dependencies / Hui (Wendy) Wang ; Ruilin Liu
Data Streams
Scalable Splitting of Massive Data Streams / Erik Zeitler ; Tore Risch
Constraint-Aware Complex Event Pattern Detection over Streams / Ming Li ; Murali Mani ; Elke A. Rundensteiner ; Tao Lin
Attribute Outlier Detection over Data Streams / Hui Cao ; Yongluan Zhou
Similarity Search and Event Processing
ISIS: A New Approach for Efficient Similarity Search in Sparse Databases / Bin Cui ; Jiakui Zhao ; Gao Cong
Highly Scalable Multiprocessing Algorithms for Preference-Based Database Retrieval / Joachim Selke ; Christoph Lofi ; Wolf-Tilo Balke
Update Migration: An Efficient B+ Tree for Flash Storage / Chang Xu ; Cheng Yan ; Tianlei Hu
Optimizing Write Performance for Read Optimized Databases / Jens Krueger ; Martin Grund ; Christian Tinnefeld ; Hasso Plattner ; Alexander Zeier ; Franz Faerber
Towards an Algebraic Framework for Querying Inductive Databases / Hong-Cheu Liu ; Aditya Ghose ; John Zeleznikow
Efficient Aggregate Licenses Validation in DRM / Amit Sachan ; Sabu Emmanuel ; Mohan S. Kankanhalli
Industrial
Development Procedure of the Cloud-Based Applications / Masayoshi Hagiwara
Rapid Development of Web Applications by Introducing Database Systems with Web APIs / Takeru Inoue ; Hiroshi Asakura ; Yukio Uematsu ; Hiroshi Sato ; Noriyuki Takahashi
A General Maturity Model and Reference Architecture for SaaS Service / Seungseok Kang ; Jaeseok Myung ; Jongheum Yeon ; Seong-wook Ha ; Taehyung Cho ; Ji-man Chung ; Sang-goo Lee
Lazy View Maintenance for Social Networking Applications / Keita Mikami ; Shinji Morishita ; Makoto Onizuka
Birds Bring Flues? Mining Frequent and High Weighted Cliques from Birds Migration Networks / MingJie Tang ; Weihang Wang ; Yexi Jiang ; Yuanchun Zhou ; Jinyan Li ; Peng Cui ; Ying Liu ; Baoping Yan
Performance Improvement of OpenJPA by Query Dependency Analysis / Miki Enoki ; Yosuke Ozawa ; Tamiya Onodera
Visual Evaluation of Outlier Detection Models / Elke Achtert ; Hans-Peter Kriegel ; Lisa Reichert ; Erich Schubert ; Remigius Wojdanowski ; Arthur Zimek
ADERIS: Adaptively Integrating RDF Data from SPARQL Endpoints / Steven Lynden ; Isao Kojima ; Akiyoshi Matono ; Yusuke Tanimura
Outline of Community-Type Content Based on Wikipedia / Akiyo Nadamoto ; Eiji Aramaki ; Takeshi Abekawa ; Yohei Murakami
BISCAY: Extracting Riding Context from Bike Ride Data / Keiji Sugo ; Manabu Miyazaki ; Shin'ichi Konomi ; Masayuki Iwai ; Yoshito Tobe
SERPWatcher: A SERP Mining Tool as a Novel Social Survey Method in Sociology / Yoshifumi Masunaga ; Naoko Oyama ; Chiemi Watanabe ; Kazunari Ito ; Kaoru Tachi ; Yoichi Miyama
Corona: Energy-Efficient Multi-query Processing in Wireless Sensor Networks / Raymes Khoury ; Tim Dawborn ; Bulat Gafurov ; Glen Pink ; Edmund Tse ; Quincy Tse ; K. Almi'Ani ; Mohamed Gaber ; Uwe Röhm ; Bernhard Scholz
Aquiba: An Energy-Efficient Mobile Sensing System for Collaborative Human Probes / Niwat Thepvilojanapong ; Jun'ichi Yura ; Takeshi Iwamoto ; Susanna Pirttikangas ; Yasuyuki Ishida ; Hiroyuki Yokoyama ; Jin Nakazawa ; Hideyuki Tokuda
A Shoes-Integrated Sensing System for Context-Aware Human Probes / Kazumasa Oshima ; Shin'ichi Konomi Niwat Thepvilojanapong
Digest Join: Expediting Joins on Solid-State Drives / Shen Gao ; Yu Li ; Jianliang Xu ; Byron Choi ; Haibo Hu
A Large Scale Key-Value Store Based on Range-Key Skip Graph and Its Applications / Susumu Takeuchi ; Jun Shinomiya ; Toru Shiraki ; Yoshimasa Ishi ; Yuuichi Teranishi ; Mikio Yoshida ; Shinji Shimojo
Answering Range-Aggregate Queries over Objects Generating Data Streams / Marcin Gorawski ; Rafal Malczok
Anddy: A System for Author Name Disambiguation in Digital Library / Jia Zhu
A System for Keyword Search on Hybrid XML-Relational Databases Using XRjoin / Liru Zhang ; Tadashi Ohmori ; mamoru Hoshi
MediaMatrix: A Video Stream Retrieval System with Mechanisms for Mining Contexts of Query Examples / Shuichi Kurabayashi ; Yasushi Kiyoki
Application Developments in Mashup Framework for Selective Browsing / Takakazu Nagamine ; Tomio Kamada
Retrieving System of Presentation Contents Based on User's Operations and Semantic Contexts / Daisuke Kitayama ; Kazutoshi Sumiya
Fuzzy Keyword Search on Spatial Data / Sattam Alsubaiee ; Chen Li
Adaptive Recommendation for Preferred Information and Browsing Action Based on Web-Browsing Behavior / Kosuke Takano ; Kin Fun Li
BIDEL: An XML-Based System for Effective Fast Change Detection of Genomic and Proteomic Data / Song Yang ; Sourav S. Bhowmick
DISTRO: A System for Detecting Global Outliers from Distributed Data Streams with Privacy Protection / Ji Zhang ; Stijn Dekeyser ; Hua Wang ; Yanfeng Shu
Tutorials and Panels
Introduction to Social Computing / Irwin King
Mining Moving Object, Trajectory and Traffic Data / Lu An Tang
Querying Large Graph Databases / Yiping Ke ; James Cheng ; Jeffrey Xu Yu
Future Directions of Innovative Integration between Multimedia Information Services and Ubiquitous Computing Technologies / Virach Sornlertlamvanich
Author Index
Trajectories and Moving Objects
Privacy-Preserving Location Publishing under Road-Network Constraints / Nan Chen ; Lidan Shou ; Gang Chen ; Ke Chen ; Yunjun Gao ; Dan Lin ; Sashi Gurung ; Wei Jiang ; Ali Hurson
Incremental Clustering for Trajectories / Zhenhui Li ; Jae-Gil Lee ; Xiaolei Li ; Jiawei Han
Knowledge on the Web: Robust and Scalable Harvesting of Entity-Relationship Facts (Abstract) / Gerhard Weikum
Cloud Data Management @ Yahoo! (Abstract) / Raghu Ramakrishnan
P2P-Based Technologies
Distributed Cache Indexing for Efficient Subspace Skyline Computation in P2P Networks / Lijiang Chen ; Bin Cui ; Linhao Xu ; Heng Tao Shen
iDISQUE: Tuning High-Dimensional Similarity Queries in DHT Networks / Xiaolong Zhang ; Lidan Shou ; Kian-Lee Tan ; Gang Chen
Adaptive Ensemble Classification in P2P Networks / Hock Hee Ang ; Vivekanand Gopalkrishnan ; Steven C.H. Hoi ; Wee Keong Ng
Data Mining Technologies
Mining Rare Association Rules in the Datasets with Widely Varying Items' Frequencies / R. Uday Kiran ; P. Krishna Reddy
CAMLS: A Constraint-Based Apriori Algorithm for Mining Long Sequences / Yaron Gonen ; Nurit Gal-Oz ; Ran Yahalom ; Ehud Gudes
PGP-mc: Towards a Multicore Parallel Approach for Mining Gradual Patterns / Anne Laurent ; Benjamin Negrevergne ; Nicolas Sicard ; Alexandre Termier
Generalised Rule Mining / Florian Verhein
XML Search and Matching
An Effective Object-Level XML Keyword Search / Zhifeng Bao ; Jiaheng Lu ; Tok Wang Ling ; Liang Xu ; Huayu Wu
Effectively Inferring the Search-for Node Type in XML Keyword Search / Jiang Li ; Junhu Wang
Matching Top-k Answers of Twig Patterns in Probabilistic XML / Bo Ning ; Chengfei Liu ; Jeffrey Xu Yu ; Guoren Wang ; Jianxin Li
Graphs
Nova: A Novel and Efficient Framework for Finding Subgraph Isomorphism Mappings in Large Graphs / Ke Zhu ; Ying Zhang ; Xuemin Lin ; Gaoping Zhu ; Wei Wang
Efficiently Answering Probability Threshold-Based SP Queries over Uncertain Graphs / Ye Yuan ; Lei Chen
Discovering Burst Areas in Fast Evolving Graphs / Zheng Liu
Spatial Databases
Answering Top-K Similar Region Queries / Chang Sheng ; Yu Zheng ; Wynne Hsu ; Mong Li Lee ; Xing Xie
Efficient Approximate Visibility Query in Large Dynamic Environments / Leyla Kazemi ; Farnoush Banaei-Kashani ; Cyrus Shahabi ; Ramesh Jain
The Objects Interaction Matrix for Modeling Cardinal Directions in Spatial Databases / Tao Chen ; Markus Schneider ; Ganesh Viswanathan ; Wenjie Yuan
Efficient Algorithms to Monitor Continuous Constrained k Nearest Neighbor Queries / Mahady Hasan ; Muhammad Aamir Cheema ; Wenyu Qu
XML Technologies
Chasing Tree Patterns under Recursive DTDs
Efficient Label Encoding for Range-Based Dynamic XML Labeling Schemes
An Efficient Parallel PathStack Algorithm for Processing XML Twig Queries on Multi-core Systems / Jianhua Feng ; Le Liu ; Guoliang Li ; Jianhui Li ; Yuanhao Sun
Keyword Search on Hybrid XML-Relational Databases Using XRjoin / Liru Zhang ; Tadashi Ohmori ; Mamoru Hoshi
Efficient Database-Driven Evaluation of Security Clearance for Federated Access Control of Dynamic XML Documents / Erwin Leonardi ; Sourav S. Bhowmick ; Mizuho Iwaihara
Time Series and Streams
Speeding Up Complex Video Copy Detection Queries / Ira Assent ; Hardy Kremer ; Thomas Seidl
Efficient Skyline Maintenance for Streaming Data with Partially-Ordered Domains / Yuan Fang ; Chee-Yong Chan
Dual Sequence Simulated Annealing with Round-Robin Approach for University Course Timetabling / Salwani Abdullah ; Khalid Shaker ; Barry McCollum ; Paul McMullan
Heuristic and Exact Methods for the Discrete (r | p)-Centroid Problem / Ekaterina Alekseeva ; Nina Kochetova ; Yury Kochetov ; Alexandr Plyasunov
Evolutionary Approaches to the Three-dimensional Multi-pipe Routing Problem: A Comparative Study Using Direct Encodings / Marcus Furuholmen ; Kyrre Glette ; Mats Hovin ; Jim Torresen
A Tabu Search Heuristic for Point Coverage, Sink Location, and Data Routing in Wireless Sensor Networks / Evren Güney ; I. Kuban Altinel ; Necati Aras ; Gem Ersoy
Ant Colony Optimization for Tree Decompositions / Thomas Hammerl ; Nysret Musliu
Efficient Cycle Search for the Minimum Routing Cost Spanning Tree Problem / Steffen Wolf ; Peter Merz
Author Index
Dual Sequence Simulated Annealing with Round-Robin Approach for University Course Timetabling / Salwani Abdullah ; Khalid Shaker ; Barry McCollum ; Paul McMullan
Heuristic and Exact Methods for the Discrete (r | p)-Centroid Problem / Ekaterina Alekseeva ; Nina Kochetova ; Yury Kochetov ; Alexandr Plyasunov
Revising the UML Collaborations: A Well-Founded Approach / Egidio Astesiano ; Gianna Reggio
Client Synthesis for Aspect Oriented Web Services / Mehdi Ben Hmida ; Serge Haddad
Formal Reasoning about Software Object Translations / Vladis Berzins ; Luqi ; Peter M. Musial
Software Engineering Techniques for the Development of Systems of Systems / Radu Calinescu ; Marta Kwiatkowska
Simulation of LET Models in Simulink and Ptolemy / Patricia Derler ; Andreas Naderlinger ; Wolfgang Pree ; Stefan Resmerita ; Josef Templ
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems / Claudiu Farcas ; Emilia Farcas ; Ingolf Krüger
On the Pragmatics of Model-Based Design / Hauke Fuhrmann ; Reinhard von Hanxleden
Modelling and Verification of Relay Interlocking Systems / Anne E. Haxthausen ; Marie Le Bliguet ; Andreas A. Kjœr
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication / Rolf Hennicker ; Stephan Janisch ; Alexander Knapp
Experiences in Model Driven Verification of Behavior with UML / Fabrice Kordon ; Yann Thierry-Mieg
Genetic Programming for Classification with Unbalanced Data / Urvesh Bhowan ; Mengjie Zhang ; Mark Johnston
An.Analysis of the Behaviour of Mutation in Grammatical Evolution / Jonathan Byrne ; Michael O'Neill ; James McDermott ; Anthony Brabazon
Positional Effect of Crossover and Mutation in Grammatical Evolution / Tom Castle ; Colin G. Johnson
Sub-tree Swapping Crossover and Arity Histogram Distributions / Stephen Dignum ; Riccardo Poli
Novelty-Based Fitness: An Evaluation under the Santa Fe Trail / John Doucette ; Malcolm I. Heywood
An Analysis of Genotype-Phenotype Maps in Grammatical Evolution / David Fagan ; Edgar Galván-López ; Sean McGarraghy
Handling Different Categories of Concept Drifts in Data Streams Using Distributed GP / Gianluigi Folino ; Giuseppe Papuzzo
An Indirect Approach to the Three-Dimensional Multi-pipe Routing Problem / Marcus Furuholmen ; Kyrre Glette ; Mats Hovin ; Jim Torresen
Phenotypic Diversity in Initial Genetic Programming Populations / David Jackson
A Relaxed Approach to Simplification in Genetic Programming / Thomas Liddle
Unsupervised Problem Decomposition Using Genetic Programming / Ahmed Kattan ; Alexandros Agapitos
GP-Fileprints: File Types Detection Using Genetic Programming
A Many Threaded CUDA Interpreter for Genetic Programming / W.B. Langdon
Controlling Complex Dynamics with Artificial Biochemical Networks / Michael A. Lones ; Andy M. Tyrrell ; Susan Stepney ; Leo S. Caves
Geometric Differential Evolution on the Space of Genetic Programs / Alberto Moraglio ; Sara Silva
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover / Nguyen Quang Uy ; Nguyen Thi Hien ; Nguyen Xuan Hoai
Evolving Genes to Balance a Pole / Miguel Nicolau ; Marc Schoenauer ; Wolfgang Banzhaf
Solution-Locked Averages and Solution-Time Binning in Genetic Programming
Analytic Solutions to Differential Equations under Graph-Based Genetic Programming / Tom Seaton ; Gavin Brown ; Julian F. Miller
Learning a Lot from Only a Little: Genetic Programming for Panel Segmentation on Sparse Sensory Evaluation Data / Katya Vladislavleva ; Kalyan Veeramachaneni ; Una-May O'Reilly ; Matt Burland ; Jason Parcon
Posters
Genetic Programming for Auction Based Scheduling / Mohamed Bader-El-Den ; Shaheen Fatima
Efficient and Effective Buffer Overflow Protection on ARM Processors / Raoul Strackx ; Yves Younan ; Pieter Philippaerts ; Frank Piessens
Efficient Entropy Estimation for Mutual Information Analysis Using B-Splines / Alexandre Venelli
A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones / Tansu Alpcan ; Christian Bauckhage ; Aubrey-Derrick Schmidt
A Smart Card Implementation of the McEliece PKC / Falko Strenzke
Evaluation Metrics of Physical Non-invasive Security / Huiyun Li ; Keke Wu ; Fengqi Yu ; Hai Yuan
Protocols
Trust in Peer-to-Peer Content Distribution Protocols / Nicolai Kuntze ; Carsten Rudolph ; Andreas Fuchs
Generic Constructions of Biometric Identity Based Encryption Systems / Neyire Deniz Sarier
Design and Analysis of a Generalized Canvas Protocol / Marián Novotný
Highly Constrained Embedded Systems
Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures / Michael Braun ; Ulrike Meyer ; Susanne Wetzel
Practical Schemes for Privacy and Security Enhanced RFID (Extended Abstract) / Jaap-Henk Hoepman ; Rieks Joosten
MoteAODV - An AODV Implementation for TinyOS 2.0 / Werner Backes ; Jared Cordasco
Security
Random Number Generation Based on Fingerprints / Shkodran Gerguri ; Václav Matyáš ; Zdenek RÃha ; Ludek SmolÃk
Improvements of pan-European IDM Architecture to Enable Identity Delegation Based on X.509 Proxy Certificates and SAML / Sergio Sánchez GarcÃa ; Ana Gómez Oliva
Fraud Detection for Voice over IP Services on Next-Generation Networks / Igor Ruiz-Agundez ; Yoseba K. Penya ; Pablo Garcia Bringas
Smart Card Security
Proxy Smart Card Systems / Giuseppe Cattaneo ; Pompeo Faruolo ; Vincenzo Palazzo ; Ivan Visconti
Can We Support Applications' Evolution in Multi-application Smart Cards by Security-by-Contract? / Nicola Dragoni ; Olga Gadyatskaya ; Fabio Massacci
Website Credential Storage and Two-Factor Web Authentication with a Java SIM / Jonathan Hart ; Konstantinos Markantonakis ; Keith Mayes
Algorithms
Attribute-Based Encryption with Break-Glass / Achim D. Brucker ; Helmut Petritsch ; Stefan G. Weber
On the Security of a Two-Factor Authentication Scheme / Luigi Catuogno ; Clemente Galdi
The Design of Secure and Efficient P2PSIP Communication Systems / Xianghan Zheng ; Vladimir Oleshchuk
Hardware Implementations
Novel FPGA-Based Signature Matching for Deep Packet Inspection / Nitesh B. Guinde ; Sotirios G. Ziavras
Towards Electrical, Integrated Implementations of SIMPL Systems / Ulrich Rührmair ; Qingqing Chen ; Martin Stutzmann ; Paolo Lugli ; Ulf Schlichtmann ; György Csaba
A Very Compact Hardware Implementation of the KASUMI Block Cipher / Dai Yamamoto ; Kouichi Itoh ; Jun Yajima
Embedded Systems
Secure and Usable Out-Of-Band Channels for Ad Hoc Mobile Device Interactions / Ronald Kainda ; Ivan Flechais ; A.W. Roscoe
Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions / Johannes Loinig ; Christian Steger ; Reinhold Weiss ; Ernst Haselsteiner
Security Analysis of Mobile Phones Used as OTP Generators / Håvard Raddum ; Lars Hopland Nestås ; Kjell Jørgen Hole
The Mono-and Bichromatic Empty Rectangle and Square Problems in All Dimensions(Extended Abstract) / Jonathan Backer ; J.Mark Keil
Connectivity Is Not a Limit for Kernelization: Planar Connected Dominating Set / Qianping Gu ; Navid Imani
Randomized Truthful Algorithms for Scheduling Selfish Tasks on Parallel Machines / Eric Angel ; Evripidis Bampis ; Nicolas Thibault
Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree-Width / Martin Fürer
Average Parameterization and Partial Kernelization for Computing Medians / Nadja Betzler ; Jiong Guo ; Christian Komusiewicz ; Rolf Niedermeier
Sharp Separation and Applications to Exact and Parameterized Algorithms / Fedor V. Fomin ; Daniel Lokshtanov ; Fabrizion Grandoni ; Saket Saurabh
Finding the Minimum-Distance Schedule for a Boundary Searcher with a Flashlight / Tsunehiko Kameda ; Ichiro Suzuki ; John Z. Zhang
The Language Theory of Bounded Context-Switching / Salvatore La Torre ; Parthasarathy Madhusudan ; Gennaro Parlato
Local Search Performance Guarantees for Restricted Related Parallel Machine Scheduling / Diego Recalde ; Cyriel Rutten ; Petra Schuurman ; Tjark Vredeveld
Packet Routing on the Grid / Britta Peis ; Martin Skutella ; Andreas Wiese
Faithful Representations of Graphs by Islands in the Extended Grid / Michael D. Coury ; Pavol Hell ; Jan KratochvÃl ; Tomás Vyskocil
The I/O Complexity of Sparse Matrix Dense Matrix Multiplication / Gero Greiner ; Riko Jacob
Sparse Recovery Using Sparse Random Matrices (Invited Talk) / Piotr Indyk
Optimal Succinctness for Range Minimum Queries / Johannes Fischer
Fast Set Intersection and Two-Patterns Matching / Hagai Cohen ; Ely Porat
Counting Reducible, Powerful, and Relatively Irreducible Multivariate Polynomials over Finite Fields (Extended Abstract) / Joachim von zur Gathen ; Alfredo Viola ; Konstantin Ziegler
A Larger Lower Bound on the OBDD Complexity of the Most Significant Bit of Multiplication / Beate Bollig
Communication-Efficient Construction of the Plane Localized Delaunay Graph / Prosenjit Bose ; Paz Carmi ; Michiel Smid ; Daming Xu
Time Complexity of Distributed Topological Self-Stabilization: The Case of Graph Linearization / Dominik Gall ; Andrea Richa ; Christian Scheideler ; Stefan Schmid ; Hanjo Täubig
Randomised Broadcasting: Memory vs. Randomness / Petra Berenbrink ; Robert Elsässer ; Thomas Sauerwald
Limit Theorems for Random MAX-2-XORSAT / Vonjy Rasendrahasina ; Vlady Ravelomanana
On Quadratic Threshold CSPs / Per Austrin ; Siavosh Benabbas ; Avner Magen
Finding Lower Bounds on the Complexity of Secret Sharing Schemes by Linear Programming / Carles Padró ; Leonor Vázquez
Finding the Best CAFE Is NP-Hard / Elizabeth Maltais ; Lucia Moura
The Size and Depth of Layered Boolean Circuits / Anna Gál ; Jing-Tang Jang
Lipschitz Unimodal and Isotonic Regression on Paths and Trees / Pankaj K. Agarwal ; Jeff M. Phillips ; Bardia Sadri
Ambiguity and Deficiency in Costas Arrays and APN Permutations / Daniel Panario ; Brett Stevens ; Qiang Wang
Optimal Polygonal Representation of Planar Graphs / E.R. Gansner ; Y.F. Hu ; M. Kaufmann ; S.G. Kobourov
Minimum-Perimeter Intersecting Polygons / Adrian Dumitrescu ; Minghui Jiang
Finding the Smallest Gap between Sums of Square Roots / Qi Cheng ; Yu-Hsin Li
Matching Points with Things / Erick D. Demaine ; Martin L. Demaine ; Muriel Dulieu ; Ruy Fabila-Monroy ; Vi Hart ; Ferran Hurtado ; Maria Saumell ; Carlos Seara
Homotopic Rectilinear Routing with Few Links and Thick Edges / Bettiná Speckmann ; Kevin Verbeek
Tilings Robust to Errors / Alexis Ballier ; Bruno Durand ; Emmanuel Jeandel
Visiting a Sequence of Points with a Bevel-Tip Needle / Steven Bitner ; Yam K. Cheung ; Atlas F. Cook IV ; Ovidiu Daescu ; Anastasia Kurdia ; Carola Wenk
Euclidean Prize-Collecting Steiner Forest / Mohammad Hossein Bateni ; Mohammad Taghi Hajiaghayi
Prize-Collecting Steiner Networks via Iterative Rounding / MohammadTaghi Hajiaghayi ; Arefeh A. Nasri
Using Torrent Inflation to Efficiently Serve the Long Tail in Peer-Assisted Content Delivery Systems / Niklas Carlsson ; Derek L. Eager ; Anirban Mahanti
Network Distance Prediction Based on Decentralized Matrix Factorization / Yongjun Liao ; Pierre Geurts ; Guy Leduc
Topology-Awareness and Reoptimization Mechanism for Virtual Network Embedding / Nabeel Farooq Butt ; Mosharaf Chowdhury ; Raouf Boutaba
A Longitudinal Study of Small-Time Scaling Behavior of Internet Traffic / Himanshu Gupta ; Vinay J. Ribeiro
Measurement Study of Multi-party Video Conferencing / Yue Lu ; Yong Zhao ; Fernando Kuipers ; Piet Van Mieghem
Quality of Service
Passive Online RTT Estimation for Flow-Aware Routers Using One-Way Traffic / Damiano Carra ; Konstantin Avrachenkov ; Sara Alouf ; Alberto Blanc ; Philippe Nain ; Georg Post
Handling Transient Link Failures Using Alternate Next Hop Counters / Suksant Sae Lor ; Raul Landa ; Redouane Ali ; Miguel Rio
Efficient Recovery from False State in Distributed Routing Algorithms / Daniel Gyllstrom ; Sudarshan Vasudevan ; Jim Kurose ; Gerome Miklau
IP Fast Reroute in Networks with Shared Risk Links / Yan Li ; Mohamed G.Gouda
EAU: Efficient Address Updating for Seamless Handover in Multi-homed Mobile Environments / Yuansong Qiao ; Shuaijun Zhang ; Adrian Matthews ; GregoryHayes ; Enda Fallon
Applications and Services
Speculative Validation of Web Objects for Further Reducing the User-Perceived Latency / Josep Domenech ; Jose A. Gil ; Julio Sahuquillo ; Ana Pont
Dynamic Service Placement in Shared Service Hosting Infrastructures / Qi Zhang ; Jin Xiao ; Eren Gürses ; Martin Karsten
Evaluating the Impact of a Novel Warning Message Dissemination Scheme for VANETs Using Real City Maps / Francisco J. Martinez ; Manuel Fogue ; Manuel Coll ; Juan-Carlos Cano ; Carlos T. Calafate ; Pietro Manzoni
Routing Protocol for Anycast Communications in a Wireless Sensor Network / Nancy El Rachkidy ; Alexandre Guitton ; Michel Misson
Fault-Tolerant Power-Aware Topology Control for Ad-Hoc Wireless Networks / Harichandan Roy ; Shuvo Kumar De ; Md. Maniruzzaman ; Ashikur Rahman
Work in Progress
Server Guaranteed Cap: An Incentive Mechanism for Maximizing Streaming Quality in Heterogeneous Overlays / Ilias Chatzidrossos ; GyörgyDán ; Viktória Fodor
End-to-End Throughput with Cooperative Communication in Multi-channel Wireless Networks / Zheng Huang ; Xin Wang ; Baochun Li
Cost Bounds of Multicast Light-Trees in WDM Networks / Fen Zhou ; Miklós Molnár ; Bernard Cousin ; Chunming Qiao
Bidirectional Range Extension for TCAM-Based Packet Classification / Yan Sun ; Min Sik Kim
Estimating the Economic Value of Flexibility in Access Network Unbundling / Koen Casier ; Mathieu Tahon ; Mohsan Ahmed Bilal ; Sofie Verbrugge ; Didier Colle ; Mario Pickavet ; Piet Demeester
Intercarrier Compensation between Providers of Different Layers: Advantages of Transmission Initiator Determination / Ruzana Davoyan ; Wolfgang Effelsberg
Application of Secondary Information for Misbehavior Detection in VANETs / Ashish Vulimiri ; Arobinda Gupta ; Pramit Roy ; Skanda N. Muthaiah ; Arzad A. Kherani
Path Attestation Scheme to Avert DDoS Flood Attacks / Raktim Bhattacharjee ; S. Sanand ; S. V. Raghavan
Author Index
P2P and Overlay Networks
Using Torrent Inflation to Efficiently Serve the Long Tail in Peer-Assisted Content Delivery Systems / Niklas Carlsson ; Derek L. Eager ; Anirban Mahanti
Network Distance Prediction Based on Decentralized Matrix Factorization / Yongjun Liao ; Pierre Geurts ; Guy Leduc
Characterizing the Global Impact of P2P Overlays on the AS-Level Underlay / Amir Hassan Rasti ; Reza Rejaie ; Walter Willinger
Investigating Occurrence of Duplicate Updates in BGP Announcements / Jong Han Park ; Dan Jen ; Mohit Lad ; Shane Amante ; Danny McPherson ; Lixia Zhang
A Measurement Study of the Origins of End-to-End Delay Variations / Yaron Schwartz ; Yuval Shavitt ; Udi Weinsberg
Yes, We LEDBAT: Playing with the New BitTorrent Congestion Control Algorithm / Dario Rossi ; Claudio Testa ; Silvio Valenti
Measuring and Evaluating TCP Splitting for Cloud Services / Abhinav Pathak ; Y. Angela Wang ; Cheng Huang ; Albert Greenberg ; Y. Charlie Hu ; Randy Kern ; Jin Li ; Keith W. Ross
The Myth of Spatial Reuse with Directional Antennas in Indoor Wireless Networks / Sriram Lakshmanan ; Karthikeyan Sundaresan ; Sampath Rangarajan ; Raghupathy Sivakumar
Influence of the Packet Size on the One-Way Delay in 3G Networks / Patrik Arlos ; Markus Fiedler
An Experimental Performance Comparison of 3G and Wi-Fi / Richard Gass ; Christophe Diot
Quantifying the Pitfalls of Traceroute in AS Connectivity Inference / Yu Zhang ; Ricardo Oliveira ; Hongli Zhang
Toward Topology Dualism: Improving the Accuracy of AS Annotations for Routers / Bradley Huffaker ; Amogh Dhamdhere ; Marina Fomenkov ; kc claffy
The RIPE NCC Internet Measurement Data Repository / Tony McGregor ; Shane Alcock ; Daniel Karrenberg
Enabling High-Performance Internet-Wide Measurements on Windows / Matt Smith ; Dmitri Loguinov
MOR: Monitoring and Measurements through the Onion Router / Demetris Antoniades ; Evangelos P. Markatos ; Constantine Dovrolis
Evaluating IPv6 Adoption in the Internet / Lorenzo Colitti ; Steinar H. Gunderson ; Erik Kline ; Tiziana Refice
Internet Usage at Elementary, Middle and High Schools: A First Look at K-12 Traffic from Two US Georgia Counties / Robert Miller ; Warren Matthews
A First Look at Mobile Hand-Held Device Traffic / Gregor Maier ; Fabian Schneider ; Anja Feldmann
A Learning-Based Approach for IP Geolocation / Brian Eriksson ; Paul Barford ; Joel Sommers ; Robert Nowak
A Probabilistic Population Study of the Conficker-C Botnet / Rhiannon Weaver
Network DVR: A Programmable Framework for Application-Aware Trace Collection / Chia-Wei Chang ; Alexandre Gerber ; Bill Lin ; Subhabrata Sen ; Oliver Spatscheck
OpenTM: Traffic Matrix Estimator for OpenFlow Networks / Amin Tootoonchian ; Monia Ghobadi ; Yashar Ganjali
Web Timeouts and Their Implications / Zakaria Al-Qudah ; Michael Rabinovich ; Mark Allman
A Longitudinal View of HTTP Traffic / Tom Callahan ; Vera Paxson
Author Index
Characterizing the Global Impact of P2P Overlays on the AS-Level Underlay / Amir Hassan Rasti ; Reza Rejaie ; Walter Willinger
Investigating Occurrence of Duplicate Updates in BGP Announcements / Jong Han Park ; Dan Jen ; Mohit Lad ; Shane Amante ; Danny McPherson ; Lixia Zhang
A Measurement Study of the Origins of End-to-End Delay Variations / Yaron Schwartz ; Yuval Shavitt ; Udi Weinsberg
Virtual Compass: Relative Positioning to Sense Mobile Social Interactions / Nilanjan Banerjee ; Sharad Agarwal ; Paramvir Bahl ; Ranveer Chandra ; Alec Wolman ; Mark Corner
The Geography of Taste: Analyzing Cell-Phone Mobility and Social Events / Francesco Calabrese ; Francisco C. Pereira ; Giusy Di Lorenzo ; Liang Liu ; Carlo Ratti
Indoor Positioning Using GPS Revisited / Mikkel Baun Kjærgaard ; Henrik Blunck ; Torben Godsk ; Thomas Toftkjær ; Dan Lund Christensen ; Kaj Grønbæk
Navigation and Tracking
Specification and Verification of Complex Location Events with Panoramic / Evan Welbourne ; Magdalena Balazinska ; Gaetano Borriello ; James Fogarty
Tactile Wayfinder: Comparison of Tactile Waypoint Navigation with Commercial Pedestrian Navigation Systems / Martin Pielot ; Susanne Boll
Applications
Jog Falls: A Pervasive Healthcare Platform for Diabetes Management / Lama Nachman ; Amit Baxi ; Sangeeta Bhattacharya ; Vivek Darera ; Piyush Deshpande ; Nagaraju Kodalapura ; Vincent Mageshkumar ; Satish Rath ; Junaith Shahabdeen ; Raviraja Acharya
EyeCatcher: A Digital Camera for Capturing a Variety of Natural Looking Facial Expressions in Daily Snapshots / Koji Tsukada ; Maho Oki
TreasurePhone: Context-Sensitive User Data Protection on Mobile Phones / Julian Seifert ; Alexander De Luca ; Bettina Conradi ; Heinrich Hussmann
Tools, Modelling
Recruitment Framework for Participatory Sensing Data Collections / Sasank Reddy ; Deborah Estrin ; Mani Srivastava
Out of the Lab and into the Fray: Towards Modeling Emotion in Everyday Life / Jennifer Healey ; Sushmita Subramanian ; Margaret Morris
The Secret Life of Machines - Boundary Objects in Maintenance, Repair and Overhaul / Matthias Betz
Studies
Automatic Assessment of Cognitive Impairment through Electronic Observation of Object Usage / Mark R. Hodges ; Ned L. Kirsch ; Mark W. Newman ; Martha E. Pollack
Further into the Wild: Running Worldwide Trials of Mobile Systems / Donald McMillan ; Alistair Morrison ; Owain Brown ; Malcolm Hall ; Matthew Chalmers
Studying the Use and Utility of an Indoor Location Tracking System for Non-experts / Shwetak N. Patel ; Julie A. Kientz ; Sidhant Gupta
Activity Recognition
Object-Based Activity Recognition with Heterogeneous Sensors on Wrist / Takuya Maekawa ; Yutaka Yanagisawa ; Yasue Kishino ; Katsuhiko Ishiguro ; Koji Kamei ; Yasushi Sakurai ; Takeshi Okadorne
GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home / Gabe Cohn ; Jon Froehlich ; Eric Larson
Transferring Knowledge of Activity Recognition across Sensor Networks / T.L.M. van Kasteren ; G. Englebienne ; B.J.A. Kröse
Sensing
Common Sense Community: Scaffolding Mobile Sensing and Analysis for Novice Users / Wesley Willett ; Paul Aoki ; Neil Kumar ; Allison Woodruff
Active Capacitive Sensing: Exploring a New Wearable Sensing Modality for Activity Recognition / Jingyuan Cheng ; Oliver Amft ; Paul Lukowicz
Using Height Sensors for Biometric Identification in Multi-resident Homes / Vijay Srinivasan ; John Stankovic ; Kamin Whitehouse
Resource Awareness
Supporting Energy-Efficient Uploading Strategies for Continuous Sensing Applications on Mobile Phones / Mirco Musolesi ; Mattia Piraccini ; Kristof Fodor ; Antonio Corradi ; Andrew T. Campbell
Efficient Resource-Aware Hybrid Configuration of Distributed Pervasive Applications / Stephan Schuhmann ; Klaus Herrmann ; Kurt Rothermel
Interaction
12Pixels: Exploring Social Drawing on Mobile Phones / Karl D.D. Willis ; Ivan Poupyrev
No-Look Notes: Accessible Eyes-Free Multi-touch Text Entry / Matthew N. Bonner ; Jeremy T. Brudvik ; Gregory D. Abowd ; W. Keith Edwards
On the Use of Brain Decoded Signals for Online User Adaptive Gesture Recognition Systems / Kilian Förster ; Andrea Biasiucci ; Ricardo Chavarriaga ; José del R. Millán ; Daniel Roggen ; Gerhard Tröster
Author Index
Positioning
Virtual Compass: Relative Positioning to Sense Mobile Social Interactions / Nilanjan Banerjee ; Sharad Agarwal ; Paramvir Bahl ; Ranveer Chandra ; Alec Wolman ; Mark Corner
The Geography of Taste: Analyzing Cell-Phone Mobility and Social Events / Francesco Calabrese ; Francisco C. Pereira ; Giusy Di Lorenzo ; Liang Liu ; Carlo Ratti
Side-Channel Leakage across Borders / Jörn-Marc Schmidt ; Thomas Plos ; Mario Kirschbaum ; Michael Hutter ; Marcel Medwed ; Christoph Herbst
Designing a Side Channel Resistant Random Number Generator / Suresh N. Chari ; Vincenzo V. Diluoffo ; Paul A. Karger ; Elaine R. Palmer ; Tal Rabin ; Josyula R. Rao ; Pankaj Rohotgi ; Helmut Scherzer ; Michael Steiner ; David C. Toll
Simple Power Analysis on Exponentiation Revisited / Jean-Christophe Courrège ; Benoit Feix ; Mylène Roussellet
Atomicity Improvement for Elliptic Curve Scalar Multiplication / Christophe Giraud ; Vincent Verneuil
Systems
Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale / Geoffroy Cogniaux ; Gilles Grimaud
Firewall Mechanism in a User Centric Smart Card Ownership Model / Raja Naeem Akram ; Konstantinos Markantonakis ; Keith Mayes
Logical Attacks
Combined Attacks and Countermeasures / Eric Vetillard ; Anthony Ferrari
Attacks on Java Card 3.0 Combining Fault and Logical Attacks / Guillaume Barbu ; Hugues Thiebeauld ; Vincent Guerin
Fault Analysis
Improved Fault Analysis of Signature Schemes / Erik W. Knudsen ; Michael Tunstall
When Clocks Fail: On Critical Paths and Clock Faults / Michel Agoyan ; Jean-Max Dutertre ; Bruno Robisson ; Assia Tria
Privacy
Modeling Privacy for Off-Line RFID Systems / Flavio D. Garcia ; Peter van Rossum
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings / Lejla Batina ; Jaap-Henk Hoepman ; Bart Jacobs ; Wojciech Mostowski ; Pim Vullers
On-the Design and Implementation of an Efficient DAA Scheme / Liqun Chen ; Dan Page ; Nigel P. Smart
Evaluation of a Technique to Estimate the Compliance of Atherosclerotic Intima / Hamed Azarnoush ; Guy Lamouche ; Charles-Etienne Bisaillon ; Christian Degrandpre ; Benoit Boulet
Quantifying Mechanical Properties in a Murine Fracture Healing System Using an Inverse Geometric Nonlinear Elasticity Modeling Framework / Michael I. Miga ; Jared A. Weis ; Froilan Granero-Molto ; Anna Spagnoli
Semi-automatic Segmentation of Fractured Pelvic Bones for Surgical Planning / Jürgen Fornaro ; Matthias Harders
Simulation of Biophysical Processes
Development of a Computer Simulation Tool for Application in Adolescent Spinal Deformity Surgery / J. Paige Little ; Clayton Adam
A Fluid-Structure Interaction Index of Coronary Plaque Rupture / Olusegun Ilegbusi ; Eric Valaski-Tuema
Biomechanical Simulation of Human Eye Movement / Qi Wei ; Shinjiro Sueda ; Dinesh K. Pai
A Theoretical Model for RF Ablation of Kidney Tissue and Its Experimental Validation / Mihaela Pop ; Sean R.H. Davidson ; Mark Gertner ; Michael A.S. Jewett ; Michael D. Sherar ; Michael C. Kolios
A Point-Based Simulation Framework for Minimally Invasive Surgery / Bo Zhu ; Lixu Gu ; Xiaopeng Peng ; Zhe Zhou
Endovascular Guidewire Flexibility Simulation / Vincent Luboz ; Jianhua Zhai ; Peter Littler ; Tolu Odetoyinbo ; Derek Gould ; Thien How ; Fernando Bello
Comparing Automatic Simulator Assessment with Expert Assessment of Virtual Surgical Procedures / Stefan Tuchschmid ; Michael Bajka
Author Index
Soft Tissue Properties
LASTIC: A Light Aspiration Device for in vivo Soft Tissue Characterization / Patrick Schiavone ; Emmanuel Promayon ; Yohan Payan
The Refinement of Choreographed Multi-Agent Systems / L&abrave;cr&abrave;mioara Aştef&abrave;noaei ; Frank S. de Boer ; Mehdi Dastani
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust / Célia da Costa Pereira ; Andrea G.B. Tettamanzi
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach / Henrique Lopes Cardoso ; Eugénio Oliveira
Contributed Papers
Unifying the Intentional and Institutional Semantics of Speech Acts / Carole Adam ; Andreas Herzig ; Dominique Longin ; Vincent Louis
Tableaux for Acceptance Logic / Mathijs de Boer ; Tiago de Lima ; Emiliano Lorini
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology / Nicoletta Fornara ; Marco Colombetti
Prioritized Goals and Subgoals in a Logical Account of Goal Change-A Preliminary Report / Shakil M. Khan ; Yves Lespérance
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks / Babak Khosravifar ; Jamal Bentahar ; Maziar Gomrokchi
Computing Utility from Weighted Description Logic Preference Formulas / Azzurra Rogone ; Tommaso Di Noia ; Francesco M. Donini ; Eugenio Di Sciascio ; Michael P. Wellman
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games / Michal P. Sindlar ; Mehdi M. Dastani ; Frank Dignum ; John-Jules Ch. Meyer
Correctness Properties for Multiagent Systems / Munindar P. Singh ; Amit K. Chopra
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming / Tran Cao Son ; Chiaki Sakama
Social Commitments in Time: Satisfied or Compensated / Paolo Torroni ; Federico Chesani ; Paola Mello ; Marco Montali
Verifying Dribble Agents / Doan Thu Trang ; Brian Logan ; Natasha Alechina
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas
Attack Analysis and Prevention II / Session 2：
Experiences with PDG-Based IFC / Christian Hammer
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray
Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger
Policy Verification and Enforcement I / Session 3：
Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan Jürjens
Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per Håkon Meland ; Inger Anne Tøndel ; Jostein Jensen
Policy Verification and Enforcement II / Session 4：
Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel Fernández
Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch
Secure System and Software Development I / Session 5：
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif
Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin
Secure System and Software Development II / Session 6：
Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael Schläpfer
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; Håvard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil Stølen ; Jon Ølnes
Author Index
Attack Analysis and Prevention I / Session 1：
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Improving Performance by Reducing Aborts in Hardware Transactional Memory / Mohammad Ansari ; Behram Khan ; Mikel Luján ; Christos Kotselidis ; Chris Kirkham ; Ian Watson
Energy and Throughput Efficient Transactional Memory for Embedded Multicore Systems / Cesare Ferri ; Samantha Wood ; Tali Moreshet ; Iris Bahar ; Maurice Herlihy
Compilation and Runtime Systems
Split Register Allocation: Linear Complexity Without the Performance Penalty / Boubacar Diouf ; Albert Cohen ; Fabrice Rastello ; John Cavazos
Trace-Based Data Layout Optimizations for Multi-core Processors / Olga Golovanevsky ; Alon Dayan ; Ayal Zaks ; David Edelsohn
Automatically Tuning Sparse Matrix-Vector Multiplication for GPU Architectures / Alexander Monakov ; Anton Lokhmotov ; Arutyun Avetisyan
Reconfigurable and Customized Architectures
Virtual Ways: Efficient Coherence for Architecturally Visible Storage in Automatic Instruction Set Extensions / Theo Kluter ; Samuel Burri ; Philip Brisk ; Edoardo Charbon ; Paolo Ienne
Accelerating XML Query Matching through Custom Stack Generation on FPGAs / Roger Moussalli ; Mariam Salloum ; Walid Najjar ; Vassilis Tsotras
An Application-Aware Load Balancing Strategy for Network Processors / Rainer Ohlendorf ; Michael Meitinger ; Thomas Wild ; Andreas Herkersdorf
Memory-Aware Application Mapping on Coarse-Grained Reconfigurable Arrays / Yongjoo Kim ; Jongeun Lee ; Aviral Shrivastava ; Jonghee Yoon ; Yunheung Paek
Multicore Efficiency, Reliability, and Power
Maestro: Orchestrating Lifetime Reliability in Chip Multiprocessors / Shuguang Feng ; Shantanu Gupta ; Amin Ansari ; Scott Mahlke
Combining Locality Analysis with Online Proactive Job Co-scheduling in Chip Multiprocessors / Yunlian Jiang ; Kai Tian ; Xipeng Shen
RELOCATE: Register File Local Access Pattern Redistribution Mechanism for Power and Thermal Management in Out-of-Order Embedded Processor / Houman Homayoun ; Aseem Gupta ; Alex Veidenbaum ; Avesta Sasan (M.A. Makhzan) ; Fadi Kurdahi ; Nikil Dutt
Performance and Power Aware CMP Thread Allocation Modeling / Yaniv Ben-Itzhak ; Israel Cidon ; Avinoam Kolodny
Memory Organization and Optimization
Multi-level Hardware Prefetching Using Low Complexity Delta Correlating Prediction Tables with Partial Matching / Marius Grannaes ; Magnus Jahre ; Lasse Natvig
Scalable Shared-Cache Management by Containing Thrashing Workloads / Yuejian Xie ; Gabriel H. Loh
SRP: Symbiotic Resource Partitioning of the Memory Hierarchy in CMPs / Shekhar Srikantaiah ; Mahmut Kandemir
DIEF: An Accurate Interference Feedback Mechanism for Chip Multiprocessor Memory Systems
Programming and Analysis of Accelerators
Tagged Procedure Calls (TPC): Efficient Runtime Support for Task-Based Parallelism on the Cell Processor / George Tzenakis ; Konstantinos Kapelonis ; Michail Alvanos ; Konstantinos Koukos ; Dimitrios S. Nikolopoulos ; Angelos Bilas
Analysis of Task Offloading for Accelerators / Roger Ferrer ; Vicenç Beltran ; Marc Gonzà lez ; Xavier Martorell
Offload - Automating Code Migration to Heterogeneous Multicore Systems / Pete Cooper ; Uwe Dolinsky ; Alastair F. Donaldson ; Andrew Richards ; Colin Riley ; George Russell
Overview of the First Workshop on Medical Content–Based Retrieval for Clinical Decision Support at MICCAI 2009 / Henning Müller ; Jayashree Kalpathy–Cramer ; Barbara Caputo ; Tanveer Syeda-Mahmood ; Fei Wang
Introducing Space and Time in Local Feature-Based Endomicroscopic Image Retrieval / Barbara André ; Tom Vercauteren ; Aymeric Perchant ; Anna M. Buchner ; Michael B. Wallace ; Nicholas Ayache
A Query-by-Example Content-Based Image Retrieval System of Non-melanoma Skin Lesions / Lucia Ballerini ; Xiang Li ; Robert B. Fisher ; Jonathan Rees
3D Case–Based Retrieval for Interstitial Lung Diseases / Adrien Depeursinge ; Alejandro Vargas ; Alexandra Platon ; Antoine Geissbuhler ; Pierre–Alexandre Poletti
Statistical Analysis of Gait Data to Assist Clinical Decision Making / Nigar Şen Köktaş ; Robert P. W. Duin
Using BI-RADS Descriptors and Ensemble Learning for Classifying Masses in Mammograms / Yu Zhang ; Noriko Tomuro ; Jacob Furst ; Daniela Stan Raicu
Robust Learning-Based Annotation of Medical Radiographs / Yimo Tao ; Zhigang Peng ; Bing Jian ; Jianhua Xuan ; Arun Krishnan ; Xiang Sean Zhou
Multimodal Fusion
Knowledge-Based Discrimination in Alzheimer's Disease / Simon Duchesne ; Burt Crépeault ; Carol Hudon
Automatic Annotation of X-Ray Images: A Study on Attribute Selection / Devrim Unay ; Octavian Soldea ; Ahmet Ekin ; Mujdat Cetin ; Aytul Ercil
Multi-modal Query Expansion Based on Local Analysis for Medical Image Retrieval / Md. Mahmudur Rahman ; Sameer K. Antani ; Rodney L. Long ; Dina Demner-Fushman ; George R. Thoma
Author Index
Medical Image Retrieval
Overview of the First Workshop on Medical Content–Based Retrieval for Clinical Decision Support at MICCAI 2009 / Henning Müller ; Jayashree Kalpathy–Cramer ; Barbara Caputo ; Tanveer Syeda-Mahmood ; Fei Wang
Introducing Space and Time in Local Feature-Based Endomicroscopic Image Retrieval / Barbara André ; Tom Vercauteren ; Aymeric Perchant ; Anna M. Buchner ; Michael B. Wallace ; Nicholas Ayache
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Transition and Halting Modes in (Tissue) P Systems / Rudolf Freund
Conformon P Systems and Topology of Information Flow / Pierluigi Frisco
Formal Verification and Testing Based on P Systems / Marian Gheorghe ; Florentin Ipate ; Ciprian Dragomir
A Look Back at Some Early Results in Membrane Computing / Oscar H. Ibarra
From P to MP Systems / Vincenzo Manca
The Biological Cell in Spectacle / Solomon Marcus
Energy-Based Models of P Systems / Giancarlo Mauri ; Alberto Leporati ; Claudio Zandron
A Computational Complexity Theory in Membrane Computing / Mario J. Pérez-Jiménez
Regular Presentations
Evolving by Maximizing the Number of Rules: Complexity Study / Oana Agrigoroaiei ; Gabriel Ciobanu ; Andreas Resios
On Reversibility and Determinism in P Systems / Artiom Alhazov ; Kenichi Morita
Typed Membrane Systems / Bogdan Aman
A P System Based Model of an Ecosystem of Some Scavenger Birds / Mónica Cardona ; Maria Angels Colomer ; Antoni Margalida ; Ignacio Pérez-Hurtado ; Delfí Sanuy
Metabolic P System Flux Regulation by Artificial Neural Networks / Alberto Castellini ; Yasuhiro Suzuki
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems / Paolo Cazzaniga ; Luciano Milanesi ; Ettore Mosca ; Dario Pescini
Implementing P Systems Parallelism by Means of GPUs / Jose M. Cecilia ; José M. García ; Ginés D. Guerrero ; Miguel A. Martínez-del-Amor
Regulation and Covering Problems in MP Systems / Giuditta Franco ; Roberto Pagliarini
(Tissue) P Systems with Hybrid Transition Modes / Marian Kogler
An Overview of P-Lingua 2.0 / Manuel García-Quismondo ; Rosa Gutiérrez-Escudero ; Agustín Riscos-Núñez
Characterizing Tractability by Tissue-Like P Systems / Miguel Rius-Font
Searching Previous Configurations in Membrane Computing / Miguel A. Gutiérrez-Naranjo
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator / Thomas Hinze ; Thorsten Lenser ; Gabi Escuela ; Ines Heiland ; Stefan Schuster
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules / Tseren-Onolt Ishdorj ; Linqiang Pan ; Jun Wang
Tuning P Systems for Solving the Broadcasting Problem / Raluca Lefticaru ; Gexiang Zhang
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition / Chunxiu Liu ; Hongwen Liu
A Region-Oriented Hardware Implementation for Membrane Computing Applications / Van Nguyen ; David Kearney ; Gianpaolo Gioiosa
Discovering the Membrane Topology of Hyperdag P Systems / Radu Nicolescu ; Michael J. Dinneen ; Yun-Bum Kim
A Note on Small Universal Spiking Neural P Systems / Xiangxiang Zeng
On the Power of Computing with Proteins on Membranes / Petr Sosík ; Andrei Păun ; Alfonso Rodríguez-Patón ; David Pérez
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes / Andrea Valsecchi ; Antonio E. Porreca
Look-Ahead Evolution for P Systems / Sergey Verlan
Author Index
Invited Presentations
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
ＥＢ
