v5.4.20140812 ieee iri conference day 1: august …iri2014/ieee_iri2014_detailed_program.pdfieee iri...

13
IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/ 1 IEEE IRI 2014 Detailed Program V5.4.20140812 IEEE IRI Conference Day 1: AUGUST 13, 2014 8am-5:30pm Conference Registration (Conference Registration Desk at Ballroom Foyer) 7:30-8:15am Informal Meet & Greet – Breakfast (Veranda) 8:15-8:30am Welcome, Conference Opening Remarks (Bordeaux) 8:30-9:30am KEYNOTE 1:Lotfi A. Zadeh, Professor, UC Berkeley, USA Director of Berkeley Initiative in Soft Computing (BISC) The Information Principle (Bordeaux) 9:30–9:45am Break (Ballroom Foyer) 9:45am- 11:45am Session A1 Session A11 (Bordeaux)) Information Security & Privacy I Chair: Tanvir Ahmed 106 Detecting and Resolving Inconsistencies in Firewalls Du Zhang, Lavanya Jujjavarapu and Meiliu Lu California State University, Sacramento, USA 145 Stream Computing for Large-Scale, Multi-Channel Cyber Threat Analytics Douglas Schales (1) , Mihai Christodorescu (2) , Xin Hu (1) , Jiyong Jang (1) , Josyula Rao (1) , Reiner Sailer (1) , Marc Stoecklin (1) , Wietse Venema (1) and Ting Wang (1) (1) IBM Research, USA (2) Qualcomm Research, USA 151 Policy-Driven Security Management for Fog Computing: Preliminary Framework and A Case Study Clinton Dsouza, Gail-Joon Ahn and Marthony Taguinod Arizona State University, USA 142 Deploying Malware Detection Software for Smart Phones Bhavani Thuraisingham, Nathan McDaniel and Latifur Khan The University of Texas at Dallas, USA Session A12 (Grand Salon) Software Design, Testing & Reuse Chair: Li Tan 087 Test Logic Reuse Through Unit Test Patterns: A Test Automation Framework for Software Product Lines Glauco Silva Neves and Patrícia Vilain Universidade Federal de Santa Catarina, Florianópolis, SC, Brazil 075 From Requirements to Software Design: An Automated Solution for Packaging Software Classes Yasaman Amannejad, Mohammad Moshirpour, Behrouz H. Far and Reda Alhajj University of Calgary, Canada 084 Ontology-based User Requirements Decomposition for Component Selection for Highly Available Systems Mahin Abbasipour (1) , Margarete Sackmann (1) , Ferhat Khendek (1) and Maria Toeroe (2) (1) Concordia University, Montreal, Canada (2) Ericsson Inc., Montreal, Canada 091 Specification-Based Testing with Buchi Automata: Transition Coverage Criteria and Property Refinement Li Tan and Bolong Zeng Washington State University, USA First Workshop on Social Network Security (SocialSec 2014) (Salon 1) Chair: Balaji Palanisamy

Upload: buidien

Post on 11-Jun-2018

216 views

Category:

Documents


0 download

TRANSCRIPT

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

1

IEEE IRI 2014 Detailed Program V5.4.20140812

IEEE IRI Conference Day 1: AUGUST 13, 2014

8am-5:30pm Conference Registration

(Conference Registration Desk at Ballroom Foyer)

7:30-8:15am Informal Meet & Greet – Breakfast

(Veranda)

8:15-8:30am Welcome, Conference Opening Remarks

(Bordeaux)

8:30-9:30am

KEYNOTE 1:Lotfi A. Zadeh,

Professor, UC Berkeley, USA

Director of Berkeley Initiative in Soft Computing (BISC)

The Information Principle

(Bordeaux)

9:30–9:45am Break (Ballroom Foyer)

9:45am-

11:45am Session A1

Session A11

(Bordeaux))

Information Security & Privacy I

Chair: Tanvir Ahmed

106 Detecting and Resolving Inconsistencies in Firewalls

Du Zhang, Lavanya Jujjavarapu and Meiliu Lu

California State University, Sacramento, USA

145 Stream Computing for Large-Scale, Multi-Channel Cyber Threat Analytics

Douglas Schales (1), Mihai Christodorescu (2), Xin Hu (1), Jiyong Jang (1), Josyula Rao (1), Reiner Sailer (1), Marc

Stoecklin (1), Wietse Venema (1) and Ting Wang (1) (1) IBM Research, USA

(2) Qualcomm Research, USA

151 Policy-Driven Security Management for Fog Computing: Preliminary Framework and A Case Study

Clinton Dsouza, Gail-Joon Ahn and Marthony Taguinod

Arizona State University, USA

142 Deploying Malware Detection Software for Smart Phones

Bhavani Thuraisingham, Nathan McDaniel and Latifur Khan

The University of Texas at Dallas, USA

Session A12

(Grand Salon)

Software Design, Testing & Reuse

Chair: Li Tan

087 Test Logic Reuse Through Unit Test Patterns: A Test Automation Framework for Software Product Lines

Glauco Silva Neves and Patrícia Vilain

Universidade Federal de Santa Catarina, Florianópolis, SC, Brazil

075 From Requirements to Software Design: An Automated Solution for Packaging Software Classes

Yasaman Amannejad, Mohammad Moshirpour, Behrouz H. Far and Reda Alhajj

University of Calgary, Canada

084 Ontology-based User Requirements Decomposition for Component Selection for Highly Available Systems

Mahin Abbasipour (1), Margarete Sackmann (1), Ferhat Khendek (1) and Maria Toeroe (2) (1) Concordia University, Montreal, Canada

(2) Ericsson Inc., Montreal, Canada

091 Specification-Based Testing with Buchi Automata: Transition Coverage Criteria and Property Refinement

Li Tan and Bolong Zeng

Washington State University, USA

First Workshop on Social Network Security

(SocialSec 2014)

(Salon 1)

Chair: Balaji Palanisamy

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

2

801 Consumer-Centric Protection for Online Social Networks

Raja Naeem Akram, Ryan K. L. Ko, and Tsz Fung Law

University of Waikato. Hamilton, New Zealand

802 A Study of ClickJacking Worm Propagation in Online Social Networks

Mohammad Reza Faghani and Uyen Trang Nguyen

York University, Toronto, Canada

803 Detecting Unintentional Information Leakage in Social Media News Comments

Inbal Yahav, David Schwartz and Gahl Silverman

Bar-Ilan University, Israel

WICSOC 2014 : Social Media, Crowdsourcing, and Public Health

(Salon 2)

Chair: Mohd Anwar, Bernard Fuemmeler

704 A Framework for Comparing Early Warning Systems across Domains: A Step Toward a Data-Integrated Public

Health EWS

Henry Kim (1), Marek Laskowski (1), Seyed Moghadas (1), Amirehsan Sajad (1) and Maaz Asif (2) (1) York University, Toronto, Canada

(2) Queen’s University, Toronto, Canada

706 Much more to it: The relation between Facebook usage and self-esteem

Montathar Faraon and Mauri Kaipainen

Södertörn University, SE

707 Text Classification for Automatic Detection of Alcohol Use-Related Tweets: A Feasibility Study

Yin Aphinyanaphongs, Bisakha Ray, Alexander Statnikov and Paul Krebs

NYU Langone Medical Center, USA

11:45am-

1:15pm Lunch Provided

1:15-3:15pm Session A2

Session A21 (Bordeaux)

Information Security & Privacy II

Chair: Du Zhang

027 Detect Phishing by Checking Content Consistency

Yi-Shin Chen (1), Huei-Xin Liu (1), Yi-Hsuan Yu (1) and Pang-Chieh Wang (2) (1) National Tsing Hua University, Taiwan

(2) Industrial Technology Research Institute, Taiwan

148 DiCoTraM: A Distributed and Coordinated DDoS flooding attack tailored Traffic Monitoring

Saman Taghavi Zargar, James Joshi and David Tipper

University of Pittsburgh, USA

060 Access Control Reinforcement over Searchable Encryption

Abdellah Kaci and Thouraya Bouabana-Tebibel

Ecole nationale Supérieure d'Informatique, Alger, Algeria

152 LEAF:A Social Network-based Intervention Tool for IPV Survivors

Balaji Palanisamy, Sheldon Sensenig, James Joshi and Rose Constantino

University of Pittsburgh, USA

Session A22 (Grand Salon)

Big Data/Networks & Cloud Computing

Chair: Balaji Palanisamy

113 Uncertainty reasoning for the "Big Data" Semantic Web

Loukia Karanikola (1), Isambo Karali (1) and Sally Mcclean (2) (1) University of Athens, Greece

(2) University of Ulster, UK

051 Semantics Management for Big Networks

Bassem Mokhtar (1) and Mohamed Eltoweissy (2) (1) Alexandria University, Egypt

(2) Virginia Military Institute, USA

095 Cloud-based monitoring and analysis of yield efficiency in precision farming

Li Tan and Riley Wortman

Washington State University, USA

123 SMOPD-C: An Autonomous Vertical Partitioning Technique for Distributed Databases on Cluster Computers

Liangzhe Li and Le Gruenwald

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

3

University of Oklahoma, USA

Session A23 (Salon 1)

Information Reuse & Extraction

Chair: Zifang Huang

085 Argumentation Schemes for the Reuse of Argumentation Information in Collaborative Risk Management

Ruan C. B. Pozzebon (1), Luís A. L. Silva (1), Lisandra M. Fontoura (1) and John A. Campbell (2) (1) Universidade Federal de Santa Maria, Brazil

(2) University College London, UK

070 SOA-GovMM: A Meta Model for a Comprehensive SOA Governance Repository

Jan Königsberger, Stefan Silcher and Bernhard Mitschang

University of Stuttgart, Germany

105 Towards Facilities to Introduce Solutions for MDE in Development Environments with Reusable Assets

F�abio P. Basso and Cl�audia M. L. Werner and Toacy C. Oliveira

Federal University of Rio de Janeiro, Brazil

117 Extracting control-flow from text

Pol Schumacher and Mirjam Minor

D-60325 Frankfurt am Main, Germany

WICSOC 2014 : Social Media, Crowdsourcing, and Public Health

(Salon 2)

Chair: Mohd Anwar, Bernard Fuemmeler

708 Towards Chronic Emergency Response Communities for Anaphylaxis

David Schwartz (1), Abdelouahab Bellou (2), Luis Garcia-Castrillo (3), Antonella Muraro (4) and Nikolaos

Papadopoulos (5) (1) Bar-Ilan University, Israel

(2) University Rennes 1, Rennes, France (3) Hospital Universitario Marques de Valdecilla, Cantabria, Spain

(4) Padua General University Hospital, Padua, Italy (5) The University of Manchester, United Kingdom

709 Leveraging Online Social Media for Capturing Observations of Daily Living and Ecological Momentary Assessment

Mohd Anwar

North Carolina A&T State University, USA

3:15-3:30pm Break (Ballroom Foyer)

3:30-5:30pm Session A3

Session A31 (Bordeaux): Invited Industry Talks

Chair: James Joshi

Nish Parikh(eBay Data Labs): Addressing Volatile and Long-tail Data Challenges in Product Search

Rajesh Subramanian (Siemens Healthcare Diagnostics): TBD

Heiko Ludwig (IBM Almaden): Managing Shared Information in Multi-Tenant Service Provider Applications

(collaboration with Nathalie Baracaldo)

Tanvir Ahmed (Oracle): End to End Application Security with Oracle Database Real Application

Security, Oracle 12c

Session A32 (Grand Salon)

Social Networks, Crowdsourcing & Multiagent Systems

Chair: Reda Alhajj

127 Towards Model Driven Crowdsourcing: First Experiments, Methodology and Transformation

Samyr Vale

Federal University of Maranhão, Brazil

089 Toward Inferring the Age of Twitter Users with their Use of Nonstandard Abbreviations and Lexicon

Nathaniel Moseley (1), Cecilia Ovesdotter Alm (1) and Manjeet Rege (2) (1) Rochester Institute of Technology, USA

(2) University of St. Thomas, USA

146 Extracting Top-k Most Influential Nodes by Activity Analysis

Myungcheol Doo (1) and Ling Liu (2) (1) Applied Research Center, Arris, USA

(2) Georgia Institute of Technology, USA

038 Detection of Implied Scenarios in Multiagent Systems with Clustering Agents’ Communications

Fatemeh Hendijani Fard and Behrouz H. Far

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

4

University of Calgary, Canada

Session A33 (Salon 1)

Data Analysis, Management & Integration

Chair: Thouraya Bouabana Tebibel

073 A value-oriented specification for weak sequencing validation

Thouraya Bouabana-Tebibel (1) and Stuart H. Rubin (2) (1) Ecole nationale Supérieure d’Informatique, Algiers, Algeria

(2) SPAWAR Systems Center Pacific, San Diego, USA

143 Optimizing Online Spatial Data Analysis with Sequential Query Patterns

Chunqiu Zeng, Hongtai Li, Huibo Wang, Yudong Guang, Chang Liu, Tao Li, Shu-Ching Chen and Naphtali Rishe

Florida International University, USA

019 Extending Automated Intelligence Systems via Graph Database : A Case Study of the “Meth Hunter”

Mark Blair (1), Yunkai Liu (1) and Theresa Vitolo (2) (1) DAGIR Co., USA

(2) Gannon University, USA

037 Mapping Specifications for Ranked Hierarchical Trees in Data Integration Systems

Sarfaraz Soomro, Andréa Matsunaga and José Fortes

University of Florida, USA

Information Reuse and Integration in Health Informatics (IRI-HI)

(Salon 2)

Chair: Jalal Kawash, Jon Rokne, Mehmet Kaya, Ahmad Kassem

088 How Ranker and Learner Choice Affects Classification Performance on Noisy Bioinformatics Data

Ahmad Abu Shanab, Taghi Khoshgoftaar, Randall Wald and Amri Napolitano

Florida Atlantic University, USA

080 On the analysis of Alzheimer’s disease Gene Expression Dataset using Clustering and Association Rule Mining

Benoit Le Quéau, Omair Shafiq and Reda Alhajj

University of Calgary, Canada

138 Towards a Technology Roadmap for Big Data Applications in the Healthcare Domain

Sonja Zillner (1,4), Heiner Oberkampf (1), Claudia Bretschneider (1), Amrapali Zaveri (3),Werner Faix (4), Sabrina

Neururer (2,5) (1) Siemens AG, Munich, Germany

(2) Innsbruck Medical University, Austria (3) University Leipzig, Germany

(4) Steinbeis University, Berlin, Germany (5) University of Innsbruck, Austria

122 The Effect of Noise Level and Distribution on Classification of Easy Gene Microarray Data

Randall Wald, Taghi Khoshgoftaar and Ahmad Abu Shanab

Florida Atlantic University, USA

6-9pm

Poster Session (Start time: 6:00PM)

Reception (Start time: 6:30PM)

RREECCEEPPTTIIOONN KKEEYYNNOOTTEE:: SSaannddeeeepp GGooppiisseettttyy

IIBBMM DDiissttiinngguuiisshheedd EEnnggiinneeeerr && SSeenniioorr MMaannaaggeerr

The Individual Enterprise

(Start time: 7:30-8:30PM)

Chair : James Joshi

041 Bayesian Updating for Time Series Missing Data Discovery and Uncertainty Estimation (TSMDDUE)

Sara Aghakhani, Reda Alhajj and Philip Chang

University of Calgary, Canada

052 UML Activity Diagram To Event-B: A Model Transformation Approach Based on the Institution Theory

Amine Achouri and Jemni Ben Ayed Leila

University of Tunis, Tunisia

066 A Semantic Multi-Modal Information Retrieval Approach based on Linked Data to Multimedia Convergent

Environments

Natasha Correia Queiroz Lino, Clauirton Siebra and Manoel De Albuquerque Lira Amaro

Federal University of Paraiba, Joao Pessoa, Brazil

076 Rotation Invariant Face Recognition Survey

Gabriel Castañeda, Taghi Khoshgoftaar and Randall Wald

Florida Atlantic University, USA

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

5

081 Using Document Space For Relational Search

Richard Drake and Ken Pu

University of Ontario Inst of Technology, Canada

083 An Extension to the Data-driven Ontology Evaluation

Hlomani Hlomani and Deborah Stacey

University of Guelph, Canada

086 Using Feature Selection and Classification to Build Effective and Efficient Firewalls

Randall Wald (1), Flavio Villanustre (2), Taghi Khoshgoftaar (1), Richard Zuech (1), Jarvis Robinson (2) and Edin

Muharemagic (2) (1) Florida Atlantic University, USA

(2) LexisNexis Business Information Solutions, USA

093 Tire-Road Friction Estimation Utilizing Smartphones

Michael Jaynes and Ram Dantu

University of North Texas, USA

099 Who Wrote This Paper? Learning for Authorship De-identification Using Stylometric Featuress

Jose Hurtado, Napat Taweewitchakreeya and Xingquan Zhu

Florida Atlantic University, USA

132 Automatically Classifying and Interpreting Polar Datasets with Apache Tika

Ann Burgess (1) and Chris Mattmann (2) (1) University of Southern California, USA (2) California Institute of Technology, USA

024 Kalman-Filter Algorithm and PMUs for State Estimation of Distribution Networks

Faridoon Shabani, Mohanmad Vaziri, Mahdi Amini, Mahyar Zarghami and Suresh Vadhva

California State University, Sacramento, USA

114 Reuse and Integration of Healthcare Information for Subjects in a Clinical Trial for Treatment of Recurrent

Respiratory Papillomatosis

Anatoly Goldstein

Massachusetts General Hospital Center for Laryngeal Surgery and Voice Rehabilitation, USA

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

6

IEEE IRI Conference Day 2: AUGUST 14, 2014

8am-5:30pm Conference Registration

(Conference Registration Desk at Ballroom Foyer)

7:30-8:30am Informal Meet & Greet – Breakfast

(Veranda)

8:30-9:30am

KEYNOTE 2: Calton Pu,

Professor, Georgia Institute of Technology, USA

Co-Director in the Center for Experimental Research in Computer Systems, Jr. Chair in Software

Big Data, IoT, and Clouds: Research Opportunities in Disaster Management

(Bordeaux)

Workshops may have their own Keynotes or share the conference keynotes

(Please check the workshop programs)

9:30–

9:45am Break (Ballroom Foyer)

9:45am-

11:45am Session B1

Session B11 (Bordeaux)

Data Mining and Knowledge Discovery I

Chair: Randall Wald

013 Improving the Random Forest Algorithm by Randomly Varying the Size of the Bootstrap Samples

Md Nasim Adnan

Charles Sturt University, Australia

032 Stability of Filter- and Wrapper-based Software Metric Selection Techniques

Huanjing Wang (1), Taghi M. Khoshgoftaar (2) and Amri Napolitano (2) (1) Western Kentucky University, USA

(2) Florida Atlantic University, USA

054 Classification Performance of Three Approaches for Combining Data Sampling and Gene Selection on

Bioinformatics Data

Taghi Khoshgoftaar, Ali Fazelpour, David Dittman and Amri Napolitano

Florida Atlantic University, USA

136 Data-Oriented Intelligent Transportation Systems

Hamdy Ibrahim (1,2) and Behrouz Far (1) (1) University of Calgary, Canada (2) University of Calgary, Canada

Session B12 (Grand Salon)

AI & Decision Support Systems

Chair: Min-Yuh Day

017 Any-Time Knowledge Revision

Eric Gregoire

Universit´e d’Artois, France

039 A method for text-line segmentation for unconstrained Arabic and Persian handwritten text image

Reza Shakoori

University of Mumbai, India

031 Particle Swarm Optimization Protocol for Clustering in Wireless Sensor Networks: A Realistic Approach

Riham Elhabyan and Mustapha Yagoub

University of Ottawa, Canada

062 SEM² Suite - towards a Tool Suite for Supporting Knowledge Management in Situation Awareness Systems

Andrea Salfinger (1), Daniel Neidhart (1), Werner Retschitzegger (1), Wieland Schwinger (1) and Stefan Mitsch (2)

(1) Johannes Kepler University Linz, Austria (2) Carnegie Mellon University, USA

Workshop on Formal Methods Integration (FMi)

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

7

(Salon 1)

Chair: Thouraya Bouabana Tebibel

501 Age semantics based State Space Computation of Time Petri Nets

Abdelkrim Abdelli

USTHB University, Algeria

503 Proving that your Dart will Hit the Mark: An Introduction to Dart Contracts

Patrice Chalin

Kansas State University, USA

504 Towards Ray Optics Formalization of Optical Imaging Systems

Umair Siddique and Sofiene Tahar

Concordia University, Montreal, Canada

507 Time properties Verification of UML/MARTE Real-Time Systems

Aymen Louati (1,2), Kamel Barkaoui (2) and Chadlia Jerad (1) (1) Tunis El Manar, Tunisie

(2) Saint-Martin, Paris, France

First International Workshop on

Information Integration in Cyber Physical Systems

(IICPS 2014)

(Salon 2)

Chairs: Massimiliano Albanese, Guido Cervone, Catello Di Martino,

610

Advancing WSN Physical Security Adopting TPM-based Architectures

Ermanno Battista (1), Mario Barbareschi (1), Antonino Mazzeo (1) and Sridhar Venkatesan (2) (1) University of Naples Federico II, Italy

(2) George Mason University, USA

611

A Hardware Accelerator for Data Classification within the Sensing Infrastructure

Mario Barbareschi (1), Ermanno Battista (1), Nicola Mazzocca (1) and Sridhar Venkatesan (2) (1) University of Naples Federico II, Italy

(2) George Mason University, USA

613

Investigating the Feasibility of LEAP+ in ZigBee Specification

Mohammad Rezaeirad (1), Sahar Mazloom (1), Muhammad Aamir Iqbal (2), Dmitri Perkins (2) and Magdy

Bayoumi (2) (1) George Mason University, USA

(2) University of Louisiana at Lafayette, USA

612

A Cluster-based Key Management Framework for Resource Constraint Networks

Mohammad Rezaeirad (1), Sahar Mazloom (1), Mahdi Orooji (2), Dmitri Perkins (3) and Magdy Bayoumi (3) (1) George Mason University, USA

(2) Case Western Reserve University, USA (3) University of Louisiana at Lafayette, USA

11:45am-

1:15pm

Lunch Provided

Panel

“IRI in Education”

(Bordeaux)

Moderator: June R. Massoud

1:15-

3:15pm Session B2

Session B21

(Bordeaux)

Data Mining and Knowledge Discovery II

Chair: Randall Wald

008 Using Incremental Clustering Technique in Collaborative Filtering Data Update

Xiwei Wang and Jun Zhang

University of Kentucky, USA

035 Improving Software Quality Estimation by Combining Feature Selection Strategies with Sampled Ensemble

Learning

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

8

Taghi Khoshgoftaar (1), Kehan Gao (2) and Amri Napolitano (1) (1) Florida Atlantic University, USA

(2) Eastern Connecticut State University, USA

058 Evaluating Distance Measures and Times Series Clustering for Temporal Patterns Retrieval.

Sidahmed Benabderrahmane (1), René Quiniou (1) and Thomas Guyet (2) (1) INRIA Rennes, France (2) IRISA, Rennes, France

078 Analyzing Immediate Correlations between Baby Names and Pop Culture in North America in the 21st

Century

Abra Gurnett, Robin Besson, Omair Shafiq, Reda Alhajj

University of Calgary, Canada

Session B22

(Grand Salon)

Information Security & Privacy III

Chair: Gordon Lee

150 A Unification of Access Control and Data Services

David Ferraiolo (1), Serban Gavrila (1) and Wayne Jansen (2) (1) National Institute of Standards and Technology, USA

(2) Bayview Behavioral Consulting, USA

128 Real-time Anomaly Detection Over VMware Performance Data Using Storm

Mohiuddin Solaimani, Latifur Khan and Bhavani Thuraisingham

The University of Texas at Dallas, USA

009 A Secure two-party Password-authenticated Key Exchange protocol

Maryam Saeed (1), Hadi Shahriar Shahhoseini (1), Ali Mackvandi (2), Mohammad Reza Rezaeinezhad (2),

Mansour Naddafiun (2) and Mohammad Zare Bidoki (2) (1) Iran University of Science and Technology, Iran

(2) R&D Department of Pishgaman Kavir Yazd Cooperative, Iran

5 Min Break

TTUUTTOORRIIAALL:: BBiigg DDaattaa MMaannaaggeemmeenntt aanndd MMiinniinngg ((PPaarrtt II))

PPrrooff.. LLaattiiffuurr KKhhaann,, UUTT DDaallllaass,, UUSSAA

Workshop on Formal Methods Integration

(FMi)

(Salon 1)

Chair: Thouraya Bouabana Tebibel

506 Reachability in Hierarchical Machines

Omer Nguena Timo (1) , Alexandre Petrenko (1), Arnaud Dury (1) and S Ramesh (2) (1) Computer Research Institute of Montreal, Canada

(2) GM Global R&D, USA

502 Formalization and analysis of Timed BPEL

Imed Eddine Chama, Nabil Belala and Djamel Eddine Saϊdouni

University Constantine II, Algeria

505 A Paradigm integration in a specification course

Manuel A. Martins (1), Alexandre Madeira (2), Luis Barbosa (2) and Renato Neves (2) (1) Univ. Aveiro (2) Univ. Minho

508 A CEGAR Approach for the Reachability Analysis of Hybrid Sequential Function Charts

Johanna Nellen and Erika Abraham

RWTH Aachen University, Germany

First International Workshop on

Information Integration in Cyber Physical Systems

(IICPS 2014)

(Salon 2)

Chairs: Massimiliano Albanese, Guido Cervone, Catello Di Martino,

609

Next-Generation Technologies for Preventing Accidental Death of Children Trapped in Parked Vehicles

Vittoria Aiello (1), Parnian Najafi Borazjani (2), Ermanno Battista (3) and Massimiliano Albanese (2) (1) R2M Innovations, USA

(2) George Mason University, USA (3) University of Naples Federico II, Italy

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

9

615

Automatic Evaluation of Medical Doctors' Performances while Using a Cricothyrotomy Simulator

Daniela D'Auria and Fabio Persia

University of Naples ”Federico II”, Italy

601

A Peer-to-Peer Network Architecture for Emerging Applications

Khondkar Islam

George Mason University, USA

616 Caruso: Interactive Headphones for a Dynamic 3D Audio Application in the Cultural Heritage Context

Daniela D'Auria, Dario Di Mauro, Davide Maria Calandra and Francesco Cutugno

University of Naples ”Federico II”, Italy

3:15-3:30pm Break (Florentine Foyer)

3:30-4:30pm

KEYNOTE 3: Gio Wiederhold

Professor Emeritus, Computer Science, Stanford University

Intellectual Capital, its Creation and Exploitation

(Bordeaux)

3:30-4:30pm

4:45 -

onwards

Banquet/Dinner and Awards Ceremony

San Francisco Cruise

(Board the Bus at 4:45 PM SHARP)

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

10

IEEE IRI Conference Day 3: AUGUST 15, 2014

8am-5pm Conference Registration

(Conference Registration Desk at Ballroom Foyer)

7:30-

8:30am

Informal Meet & Greet – Breakfast

(Veranda)

8:30-

9:30am

KEYNOTE 3:

Tao Zhang

Chief Scientist for Smart Connected Vehicles, Cisco Systems, USA

Securing Internet of Things: Unique Challenges and a Solution Framework

(Bordeaux)

9:30–

9:45am Break (Ballroom Foyer)

9:45am-

11:45am Session C1

Session C11

(Bordeaux)

Data Mining and Knowledge Discovery III

Chair: Latifur Khan

109 Finding the Most Evident Co-Clusters on Weblog Dataset Using Frequent Super-Sequence Mining

Xinran Yu and Turgay Korkmaz

The University of Texas at San Antonio, USA

082 Data Integration and Clustering for Real Time Crash Prediction

Elahe Paikari, Mohammad Moshirpour, Reda Alhajj and Behrouz Far

University of Calgary, Canada

134 Leveraging the Web for Automating Tag Expansion for Low-Content Items

Ayush Singhal and Jaideep Srivastava

University of Minnesota, USA

112 iSRD: Spam Review Detection with Imbalanced Data Distributions

Hamzah Al Najada and Xingquan Zhu

Florida Atlantic University, USA

Session C12

(Grand Salon)

Knowledge Discovery & Disaster Management

Chair: Latifur Khan

049 Towards a Refactoring Catalogue for Knowledge Discovery Metamodel

Rafael S. Durelli (1), Daniel San Martín (2), Marcio Eduardo Delamaro (1) and Valter Camargo (2) (1) Universidade de S˜ao Paulo, Brazil

(2) Universidade Federal de S˜ao Carlos, Brazil

042 A Mapping Study on Architecture-Driven Modernization

Rafael S. Durelli (2,3), Daniel San Martín (1), Bruno Marinho (1), Raphael Honda (1), Marcio Eduardo Delamaro (3), Nicolas Anquetil (2) and Valter Camargo (1)

(1) Universidade Federal de S˜ao Carlos, Brazil (2) INRIA, France

(3) Universidade de S˜ao Paulo, Brazil

048 Generating Textual Storyline to Improve Situation Awareness in Disaster Management

Wubai Zhou, Chao Shen, Tao Li, Shu-Ching Chen and Ning Xie

Florida International University, USA

072 A Bipartite-Graph Based Approach for Disaster Susceptibility Comparisons among Cities

Wubai Zhou, Chao Shen, Tao Li, Shu-Ching Chen, Ning Xie and Jinpeng Wei

Florida International University, USA

The 3rd IEEE International Workshop on Empirical Methods for Recognizing Inference in Text

(EM-RITE)

(Salon 1)

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

11

Chair: Min-Yuh Day, Chuan-Jie Lin, Hideki Shima, Yotaro Watanabe,

404 Word Segmentation Refinement by Wikipedia for Textual Entailment

Chuan-Jie Lin and Yu-Cheng Tu

National Taiwan Ocean University, Taiwan

411 Analysis of Identifying Linguistic Phenomena for Recognizing Inference in Text

Min-Yuh Day and Ya-Jung Wang

Tamkang University, Taiwan

402 Sense Decomposition from E-HowNet for Word Similarity Measurement

Cheng-Wei Shih, Yu-Lun Hsieh and Wen-Lian Hsu

Academia Sinica, Taiwan

403 Peer Review in Online Forums: Classifying Feedback-Sentiment

Greg Harris, Anand Panangadan and Viktor Prasanna

University of Southern California, USA

412 Mining the User Clusters on Facebook Fan Pages Based on Topic and Sentiment Analysis

Kuan-Cheng Lin (1), Shih-Hung Wu (1), Liang-Pu Chen (2), Tsun Ku (3), and Gwo-Dong Chen (3) (1) Chaoyang University of Technology, Taiwan (2) Institute for Information Industry, Taiwan

(3) National Central University, Taiwan

Workshop on Advances in Nature-Inspired Cyber Security: Science, Engineering and Economics

(NatSec'2014)

(Salon 2)

Chair: Mohamed Eltoweissy, Errin Fulp, Atin Basuchaudhary, Sven Brueckner

036 Sniper: A Framework for Detecting Attack Attempts to Open Source Web Applications at the Run Time

Abdullah Almurayh

University of Colorado at Colorado Springs, USA

130 CyPhyMASC: Evolutionary Monitoring, Analysis, Sharing and Control Platform for SmartGrid Defense

Mohamed Azab (2,3) and Mohamed Eltoweissy (1,3) (1) Virginia Military Institute, USA

(2) Alexandria, Egypt (3) Virginia Tech, USA

141 THE EVOLUTION OF NETWORK BASED CYBERSECURITY NORMS: An Analytical Narrative

Atin Basuchoudhary (1) and Nazli Choucri (2) (1) Virginia Military Institute, USA

(2) Massachusetts Institute of Technology, USA

11:45am–

1:15pm Lunch Provided

1:15-

3:15pm Session C2

Session C21

(Bordeaux)

Data Mining and Knowledge Discovery IV

Chair: Chichang Jou

082 Data Integration and Clustering for Real Time Crash Prediction

Elahe Paikari, Mohammad Moshirpour, Reda Alhajj and Behrouz Far

University of Calgary, Canada

098 Language Independent Analysis and Classification of Discussion Threads in Coursera MOOC Forums

Lorenzo A. Rossi (1) and OmprakashGnawali (2) (1) University of Southern California, USA

(2) University of Houston, USA

068 Automatically Predicting the Helpfulness of Online Reviews

Yadong Zhang and Du Zhang

California State University, Sacramento, USA

025 A Hidden Treasure? Evaluating and Extending Latent Methods for Link-based Classification

Aaron Fleming, Luke McDowell and Zane Markel

U.S. Naval Academy, USA

Session C22

(Grand Salon)

Geo/Medical Informatics and Multimedia Systems

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

12

Chair: Balaji Palanisamy

144 Interpreting Medical Tables as Linked Data to Generate Meta-Analysis Reports

Varish Mulwad, Tim Finin and Anupam Joshi

University of Maryland, Baltimore County, USA

043 Understanding Implicit and Explicit Interface Tools to Perform Visual Analytics Tasks

Dong Hyun Jeong (1), Soo-Yeon Ji (2), Tera Greensmith (3), Byunggu Yu (1) and Remco Chan (4) (1) University of the District of Columbia, USA

(2) Bowie State University, USA (3) Simon Fraser University, Canada

(4) Tufts University, USA

050 The Power of Fear: Facial Emotion Analysis of CEOs to Forecast Firm Performance

Yanjia Sun, Ali Akansu and James Cicon

New Jersey Institute of Technology, USA

056 Designing a Two-Level Monitoring Method to Detect Network Abnormal Behaviors

Soo-Yeon Ji (1), Seonho Choi (1) and Dong Hyun Jeong (2) (1) Bowie State University, USA

(2) University of the District of Columbia, USA

The 3rd IEEE International Workshop on Data Integration and Mining

(DIM 2014) (Salon 1)

Chair: Zifang Huang, Lin Lin, Mei-Ling Shyu

016 A Proximity Measure for Link Prediction in Social User-Item Networks

Chun-Hao Fu, Cheng-Shang Chang and Duan-Shin Lee

National Tsing Hua University, Taiwan

021 Outlier Detection based on k-Neighborhood MST

Qingsheng Zhu, Xiaogang Fan and Ji Feng

Chongqing University, China

102 An Ensemble Classification Approach for Handling Spatio-Temporal Drifts in Partially Labeled Data Streams

Tegjyot Singh Sethi, Mehmed Kantardzic, Elaheh Arabmakki and Hanquing Hu

University of Louisville, USA

121 Understanding Co-evolution in Large Multi-relational Social Networks

Ayush Singhal, Atanu Roy and Jaideep Srivastava

University of Minnesota - Twin Cities, USA

133 A Sketch-based Conceptual Level Data Integration Methodology

Loredana Caruccio, Vincenzo Deufemia and Giuseppe Polese

University of Salerno, Italy

135 DataGopher: A context based search engine for research datasets

Ayush Singhal, Ravindra Kasturi and Jaideep Srivastava

University of Minnesota, USA

(at 4:30 –

5:30PM)

TTUUTTOORRIIAALL:: BBiigg DDaattaa MMaannaaggeemmeenntt aanndd MMiinniinngg ((PPaarrtt IIII))

PPrrooff.. LLaattiiffuurr KKhhaann,, UUTT DDaallllaass,, UUSSAA

Workshop on Advances in Nature-Inspired Cyber Security: Science, Engineering and Economics

(NatSec'2014)

(Salon 2)

Chair: Mohamed Eltoweissy, Errin Fulp, Atin Basuchaudhary, Sven Brueckner

1:15-

3:15pm

IRI Organizing Committee Meeting

(TBD)

(Post-Conference Analysis and Pre-Conference Planning for IRI’15)

Chairs: Stuart Rubin and Shu-Ching Chen

3:15-

3:30pm Break (Ballroom Foyer)

3:30-

5:30pm

Session C3

(Closing remarks at the end)

Session C31

(Grand Salon)

IEEE IRI 2014 Detailed Program, August 13-15, 2014, Sofitel Hotel, San Francisco, USA http://www.pitt.edu/~iri2014/

13

Data Mining and Knowledge Discovery V

046 Rolling Window Time Series Prediction using MapReduce

Lei Li, Farzad Noorian, Duncan J.M. Moss, Philip H.W. Leong

The University of Sydney, Australia

125 Correlation-based Re-ranking for Semantic Concept Detection

Hsin-Yu Ha (1), Fausto C. Fleites (1), Shu-Ching Chen (1) and Min Chen (2) (1) Florida International University, USA

(2) University of Washington Bothell, USA

034 Timed Sequential Pattern Mining Based on Confidence in Accumulated Intervals

Chichang Jou, Huan-Jyh Shyur and Chih-Yu Yen

Tamkang University, Taiwan

040 RLS-A Reduced Labeled Samples Approach for Streaming Imbalanced Data with Concept Drift

Elaheh Arabmakki, Mehmed Kantardzic and Tegjyot Singh Sethi

University of Louisville, USA

Session C32

(Grand Salon)

Fuzzy Systems & Heuristic Optimization

077 UFOM: Unified Fuzzy Ontology Matching

Yinuo Zhang, Anand Panangadan and Viktor Prasanna

University of Southern California, USA

022 Applying Pareto ant colony optimization to solve bi-objective forest transportation planning problems

Pengpeng Lin, Jun Zhang and Marco A Contreras

University of Kentucky, USA

074 Extending Modern SAT Solvers for Models Enumeration

Said Jabbour, Jerry Lonlac, Lakhdar Sais and Yakoub Salhi

University of Artois, Lens, France

124 Detecting Geo-spatial Weather Clusters using Dynamic Heuristic Subspaces

Suman Deb Roy and Gilad Lotan

Betaworks Studio, USA

TUTORIAL

(Salon 1)

Big Data Management and Analytics

(by Professor Latifur Khan, UT Dallas)

Workshop on Advances in Nature-Inspired Cyber Security: Science, Engineering and Economics

(NatSec'2014)

(Salon 2)

Chair: Mohamed Eltoweissy, Errin Fulp, Atin Basuchaudhary, Sven Brueckner