Personal tools
  •  
You are here: Home Program SERP'12: Monday, July 16, 2012 Schedule
Important Date
July 16-19, 2012
The WORLDCOMP'12
22 joint conferences


« September 2015 »
Su Mo Tu We Th Fr Sa
12345
6789101112
13141516171819
20212223242526
27282930
Current Event
WORLDCOMP'15
Click Here

Past Events
WORLDCOMP'14
Click Here

WORLDCOMP'13
Click Here

WORLDCOMP'11
Click Here

WORLDCOMP'10
Click Here

WORLDCOMP'09
Click Here

WORLDCOMP'08
Click Here

WORLDCOMP'07 & '06
Click Here

Join Our Mailing List
Sign up to receive email announcements and updates about conferences and future events




 

SERP'12: Monday, July 16, 2012 Schedule

Last modified 2012-07-08 18:08

Because of topical overlap between SERP'12 and FCS'12 tracks, the schedules of these two conferences have been merged into one comprehensive schedule. It is hoped that this would encourage the participants of the two conferences to explore cross-fertilization of ideas.

To select a different schedule CLICK HERE


6:30am - 5:00pm:  REGISTRATION (Second Floor, Conference Lobby: 1-5)


08:30 - 08:45am:  Congress Opening Remarks - July 16, Monday:
                  Professor Hamid R. Arabnia (Chair, Steering Committee & Coordinator)
                  University of Georgia, Georgia, USA
                  (LOCATION: Monte Carlo Pavilion)

08:50 - 09:45am:  Keynote Lecture 1 - July 16, Monday:
                  Teaching Software Engineering for Software as a Service using Massive
                  Open Online Courses
                  Professor David A. Patterson
                  University of California at Berkeley, California, USA
                  Member, National Academy of Engineering
                  Member, National of Academy of Sciences
                  Fellow of IEEE, ACM, and AAAS
                  Shared (with John Hennessy) the IEEE John von Neumann Medal
                  (LOCATION: Monte Carlo Pavilion)

09:55 - 10:50am:  Keynote Lecture 2 - July 16, Monday:
                  Crowdsourcing, Human Computation, and Collective Intelligence
                  Professor Haym Hirsh
                  Rutgers University, New Jersey, USA
                  Former Director (2006-2010) of Division of Information and Intelligent
                  Systems, National Science Foundation, USA + Visiting Scholar (2010-2011)
                  at MIT's Center for Collective Intelligence, USA. Prof. Hirsh received
                  his PhD in 1989 from Stanford University.
                  (LOCATION: Monte Carlo Pavilion)

11:00 - 11:55am:  Keynote Lecture 3 - July 16, Monday:
                  ECL and Distributed Machine Learning with the HPCC Systems Platform
                  Dr. Flavio Villanustre
                  Vice-President of Technology Architecture and Product, HPCC Systems
                  (Past positions and professions: Director of Infrastructure at
                  LexisNexis; and also a neurosurgeon.)
                  (LOCATION: Monte Carlo Pavilion)

12:00 - 01:00pm:  LUNCH (On Your Own)


SESSION 1-FCS:    FORMAL VERIFICATION + ALGORITHMS AND APPLICATIONS + SOFTWARE ENGINEERING
                  Co-Chairs: Prof. Junfeng Qu, Clayton State University, Georgia, USA
                             Prof. Hari Mohan Pandey, Department of Computing, Middle East
                             College (Affiliated with Coventry University, UK), Oman
                  July 16, 2012 (Monday); 01:00pm - 03:00pm
                  (LOCATION: Silver Room)

01:00 - 01:20pm:  Formalization and Verification of Number Theoretic Algorithms
                  Using the Mizar Proof Checker
                  Hiroyuki Okazaki, Yoshiki Aoki and Yasunari Shidama
                  Shinshu University, Nagano, Japan

01:20 - 01:40pm:  Asynchronous SN P Systems for Logical and Arithmetic Operations
                  Ryoma Hamabe and Akihiro Fujiwara
                  Kyushu Institute of Technology, Fukuoka, Japan

01:40 - 02:00pm:  A Case Study in Software Project Estimation
                  Michelle A. Willcox, Devon M. Simmonds, Thomas D. Lovette, Yuli Bonner
                  University of North Carolina Wilmington, North Carolina, USA

02:00 - 02:20pm:  Formal Verification of AES Using the Mizar Proof Checker
                  Hiroyuki Okazaki, Kenichi Arai, and Yasunari Shidama
                  Shinshu University, Nagano, Japan; Tokyo University of Science, Japan

02:20 - 02:40pm:  Mathematical Approaches for Collision Detection in Fundamental
                  Game Objects
                  Weihu Hong, Junfeng Qu, Mingshen Wu
                  Clayton State University, Morrow, Georgia, USA;
                  University of Wisconsin-Stout, Menomonie, Wisconsin, USA

02:40 - 03:00pm:  An Object-Oriented Social Networking to Link People with Similar
                  Interests and Activities
                  Ching-Cheng Lee and Prachi Garg
                  California State University at East Bay, California, USA;
                  Professot and Dean, Olivet University, San Francisco, CA, USA

03:00 - 03:20pm:  BREAK


SESSION 2-SERP:   WEB APPLICATIONS & CASE STUDIES + TEST AUTOMATION
                  Co-Chairs: Dr. Robert Roggio, University of North Florida, USA;
                             Prof. Ching-Cheng Lee, California State University
                             at East Bay, California, USA and Professot and Dean,
                             Olivet University, San Francisco, CA, USA
                  July 16, 2012 (Monday); 03:20pm - 06:00pm
                  (LOCATION: Silver Room)

03:20 - 03:40pm:  Design of Safety Critical Survivable Systems Using Autonomic
                  and Semantic Web Methodologies
                  Michael C. Lindsey, David J. Coe, Jeffrey Kulick, Letha Etzkorn,
                  and Yujian Fu
                  University of Alabama in Huntsville, Alabama, USA;
                  Alabama Agricultural and Mechanical University, Alabama, USA

03:40 - 04:00pm:  Everyday Cloud Computing with SaaS
                  Robert F. Roggio and Tetiana Bilyayeva
                  University of North Florida, Jacksonville, Florida, USA

04:00 - 04:20pm:  Beyond Traditional Disaster Recovery Goals - Augmenting the
                  Recovery Consistency Characteristics
                  Octavian Paul Rotaru
                  American Sentinel University, Canada

04:20 - 04:40pm:  A Smart Approach to Conference Registration and Payment Processing
                  Jon Vandersall, Kyle Schwarting, Roger Lee
                  Central Michigan University, Michigan, USA

04:40 - 05:00pm:  Extensible Web-based Learning Architecture
                  Takao Shimomura and Kenji Ikeda		
                  University of Tokushima, Japan

05:00 - 05:20pm:  Goal-Based Reengineering of Web Business Applications
                  Hicham H. Hallal and May Haidar
                  Fahad Bin Sultan University Tabuk, Saudi Arabia

05:20 - 05:40pm:  Verifying the Behavioral Contracts Among Components by Means of
                  Semantic Web Techniques
                  Francisco-Edgar Castillo-Barrera, Hector Duran-Limon,
                  R. Carolina Medina-Ramirez, Jose Labra Gayo and Masoud Sadjadi
                  Universidad Autonoma de San Luis Potosi, San Luis Potosi, Mexico

05:40 - 06:00pm:  An Image Comparing-based GUI Software Testing Automation System
                  Hyunjun Jung, Sukhoon Lee, Doo-kwon Baik
                  Department of CS and Engineering, Korea University, Seoul, Korea


06:00 - 09:00pm:  TUTORIALS + INVITED PRESENTATIONS
                  (Please see the lists at the begining of this booklet)


09:10 - 11:30pm:  CONFERENCE RECEPTION DINNER / SOCIAL
                  July 16 - Monday; 09:10 - 11:30pm
                  (LOCATION: Ballrooms 1-5)

To select a different schedule CLICK HERE
Announcements
All tracks of WORLDCOMP have received high citations
Click Here for details

Condolences
Click Here for details

WORLDCOMP'12 Exhibition
Click Here for details


2012 Co-Sponsors
Bioinformatics & Computational Biology Program
George Mason University, USA

Biomedical Cybernetics Laboratory
HST of Harvard University & MIT, USA

Minnesota Supercomputing Institute
University of Minnesota, USA

Center for Cyber Defense, NCAT

Argonne's Leadership Computing Facility of Argonne National Laboratory
Illinois, USA

The Center for Advanced Studies in Identity Sciences
(CASIS: NC A&T;, Carnegie Mellon, Clemson, UNC Wilmington

Knowledge Management & Intelligent System Center (KMIS)
University of Siegen, Germany

Intelligent Cyberspace Engineering Lab., ICEL
Texas A&M; University, Texas, USA
UMIT, Institute of Bioinformatics and Translational Research
Austria

Hawkeye Radiology Informatics
Department of Radiology, College of Medicine, University of Iowa, USA

The International Council on Medical and Care Compunetics
US Chapter of World Academy of Science

Supercomputer Software Department (SSD)
Institute of Computational Mathematics & Mathematical Geophysics, Russian Academy of Sciences


International Society of Intelligent Biological Medicine

Medical Image HPC & Informatics Lab (MiHi Lab)
University of Iowa, USA

High Performance Computing for Nanotechnology (HPCNano)

Manx Telecom

Computer Science Research, Education, and Applications Press;

World Academy of Biomedical Sciences and Technologies




Super Micro Computer, Inc.,
San Jose, California, USA


Intel Corporation


Altera Corporation


Hodges Health

Leading Knowledge


Science Publication

 


Administered by UCMSS
Universal Conference Management Systems & Support
San Diego, California, USA
Contact: Kaveh Arbtan

If you can read this text, it means you are not experiencing the Plone design at its best. Plone makes heavy use of CSS, which means it is accessible to any internet browser, but the design needs a standards-compliant browser to look like we intended it. Just so you know ;)