Personal tools
  •  
You are here: Home Program SERP'12: Tuesday, July 17, 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: Tuesday, July 17, 2012 Schedule

Last modified 2012-06-29 00:57

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:45am - 5:00pm:  REGISTRATION (Second Floor, Conference Lobby: 1-5)


SESSION 3-FCS:    GRAPH BASED & TREE METHODS + QUANTUM COMPUTING & PROTOCOLS +
                  RELATED ISSUES
                  Co-Chairs: Prof. Junfeng Qu, Clayton State University, Georgia, USA
                  July 17, 2012 (Tuesday); 08:00am - 10:00am
                  (LOCATION: Silver Room)

08:00 - 08:20am:  FREE SLOT

08:20 - 08:40am:  Algorithms for Finding Magic Labelings of Triangles
                  James M. Mcquillan and Dan Mcquillan
                  Western Illinois University, Illinois, USA;
                  Norwich University, Vermont, USA

08:40 - 09:00am:  On the Optimality of a Family of Binary Trees
                  Dana Vrajitoru and William Knight
                  Indiana University South Bend, Indiana, USA

09:00 - 09:20am:  The Parameterized Complexity of Perfect Code in Graphs Without
                  Small Cycles
                  Yong Zhang
                  Kutztown University of Pennsylvania, PA, USA

09:20 - 09:40am:  Application of a Process Calculus to Security Proofs of Quantum
                  Protocols
                  Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano and
                  Hideki Sakurada
                  Graduate School of Information Science and Technology, University of
                  Tokyo, Japan; NTT Communication Science Labs., NTT Corporation, Japan

09:40 - 10:00am:  An Automated Deduction of the Equivalence of Symmetry of
                  Commutativity and the Orthomodular Law in Quantum Logic
                  Jack K. Horner
                  Independent Consultant, USA


SESSION 4-SERP:   UNIFIED MODELING LANGUAGE (UML), OBJECT ORIENTED METHODS, & CASE
                  STUDIES + APPLICATIONS
                  Co-Chairs: Prof. Dr. Georg Hagel, Hochschule Kempten, Germany
                  July 17, 2012 (Tuesday); 10:00am - 12:40pm
                  (LOCATION: Silver Room)

10:00 - 10:20am:  GlobalAd: Online On-Demand Advertising - Material Handling Module
                  Vitesh C. Shah and Roger Lee
                  Central Michigan University, Michigan, USA

10:20 - 10:40am:  UML Model Based Design of the Claw Car Robot
                  Andre Layne, Adria Mason, Yujian Fu
                  Alabama A&M University, Normal, Alabama, USA

10:40 - 11:00am:  UML Based Modelling Framework of LEGO Object Detection Robot
                  Lorenzo Jones, Janise Fowlers, Yujian Fu
                  Alabama A&M University, Alabama, USA

11:00 - 11:20am:  Model-based Generation of Workunits, Computation Sequences, Series
                  and Service Interfaces for BOINC based Projects
                  Christian Benjamin Ries, Christian Schroder and Vic Grout
                  University of Applied Sciences, Bielefeld, Germany;
                  Glyndwr University, UK

11:20 - 11:40am:  UML Based Design of LEGO Automatic Driving System
                  Chuanxi Zhou and Yujian Fu
                  Alabama A&M University, Normal, Alabama, USA

11:40 - 12:00pm:  ClipBits - A Case Study in Model-Driven Software Engineering
                  Thomas D. Lovette, Devon M. Simmonds, Michelle A. Wilcox, Yuli Bonner
                  University of North Carolina Wilmington, North Carolina, USA

12:00 - 12:20pm:  Virtual Platforms Generation Tool for Embedded Systems Design
                  S. Villa, J. Villa, J. Jaiber, J. Aedo
                  ARTICA, Microelectronic and Control Research Group, Universidad de
                  Antioquia, Colombia

12:20 - 12:40pm:  Comparison of Software Development Productivity Based on
                  Object-Oriented Programming Languages
                  Cuauhtemoc Lopez-Martin, Arturo Chavoya, Maria Elena Meda-Campana
                  IS Department, CUCEA, Guadalajara University, Jalisco, Mexico


SESSION 5-FCS:    FORMAL VERIFICATION + ALGORITHMS AND APPLICATIONS
                  Co-Chairs: Dr. James M. McQuillan, School of Computer Sciences,
                  Western Illinois University, Illinois, USA
                  July 17, 2012 (Tuesday); 12:40pm - 03:00pm
                  (LOCATION: Silver Room)

12:40 - 01:00pm:  Kopenograms - Graphical Language for Structured Algorithms
                  Jiri Kofranek, Rudolf Pecinovsky, Petr Novak
                  Charles University in Prague, Laboratory of Biocybernetics, Prague;
                  University of Economics, Department of Information Technologies,
                  Prague; HID Global, Prague, Czech Republic

01:00 - 01:20pm:  Ultra Encryption Standard (UES) Version-II: Symmetric Key Cryptosystem
                  Using Generalized Modified Vernam Cipher Method, Permutation Method,
                  Columnar Transposition Method and TTJSA Method
                  Satyaki Roy, Navajit Maitra, Trisha Chatterjee, Joyshree Nath,
                  Shalabh Agarwal, Asoke Nath
                  St. Xavier's College (Autonomous), Kolkata, India;
                  A.K.Chaudhuri School of I.T., Kolkata, India

01:20 - 01:40pm:  A Case of Study for Learning to Design SPMD Applications Efficiently
                  on Multicore Cluster
                  Ronal Muresano, Dolores Rexachs and Emilio Luque
                  University Autonoma of Barcelona, Spain

01:40 - 02:00pm:  Modified Caesar Cipher Method Applied on Generalized Modified Vernam
                  Cipher Method With Feedback, MSA Method and NJJSA Method: STJA Algorithm
                  Somdip Dey, Trisha Chatterjee, Joyshree Nath and Asoke Nath
                  St. Xaviers College (Autonomous), Kolkata, India;
                  A.K.Chaudhuri School of I.T., Calcutta University, Kolkata, India

02:00 - 02:20pm:  Computer Power Management Awareness - An Insight from Youngsters
                  in Mauritius
                  G. Bekaroo, S. Akhal, D.L. Padaruth, C. Bokhoree, and C. Pattinson
                  University of Technology, Mauritius;
                  Leeds Metropolitan University, Leeds, UK

02:20 - 02:40pm:  Adding a One-to-One and Hash Function - Is The Result a One-to-One
                  Function?
                  Elena Braynova and Michael Simmarano
                  Worcester State University, Worcester, MA, USA

02:40 - 03:00pm:  An Integrated Measurement Framework for Monitoring IP Networks
                  Nasreddin B. El-zoghbi and Shahid Shamsudeen
                  Tripoli University, Libya

03:00 - 03:20pm:  BREAK


SESSION 6-SERP:   FORMAL METHODS, SPECIFICATION, MODELING, & APPLICATIONS
                  Co-Chairs: Dr. Timur Umarov, Kazakh-British Technical University, Kazakhstan;
                             Dr. Asoke Nath, St. Xavier's College(Autonomous), Kolkata, India.
                  July 17, 2012 (Tuesday); 03:20pm - 04:20pm
                  (LOCATION: Silver Room)

03:20 - 03:40pm:  eSQUARE: A Formal-Methods-Enhanced SQUARE Tool
                  Hadil Abukwaik and Cui Zhang
                  University of Kaiserslautern, Germany;
                  California State University Sacramento, California, USA

03:40 - 04:00pm:  Formal Modeling and Analysis of Mobile Robotics System Using Z
                  Yujian Fu, Nithin Yama, Zhijiang Dong
                  Alabama A&M University, Alabama, USA;
                  Middle Tennessee State University, Tennessee, USA

04:00 - 04:20pm:  Implementing a Sound Mapping from Normative Requirements to
                  Event-B Design Blueprints Using MDA
                  Iman Poernomo and Timur Umarov
                  Kazakh-British Technical University, Kazakhstan


SESSION 7-SERP:   BATTLESPACE REPRESENTATION FOR AIR, SPACE, AND CYBER
                  Chair: Dr. Vince Schmidt, Wright Patterson Air Force Base, Ohio, USA.
                  July 17, 2012 (Tuesday); 04:20pm - 05:20pm
                  (LOCATION: Silver Room)

04:20 - 04:40pm:  Battlespace Representation for Air, Space, and Cyber
                  James McCracken and Denise Aleva
                  TDKC, USA

04:40 - 05:00pm:  Automated Streaming Imagery and Filter Selection
                  Brian Jackson and Ardeshir Goshtasby
                  Wright State University, Dayton, Ohio, USA

05:00 - 05:20pm:  A Contagion Threat on a Social Network: A Graphical Approach
                  Francesco Ciardiello and Jane Binner
                  Sheffield Management School, University of Sheffield, Sheffield, UK


SESSION 8-SERP:   REQUIREMENT METRICS + SOFTWARE MAINTENANCE
                  Co-Chairs: Dr. Milica Barjaktarovic, Hawaii Pacific University, USA;
                             Dr. Nasser Tadayon, Southern Utah University, Utah, USA.
                  July 17, 2012 (Tuesday); 05:20pm - 06:00pm
                  (LOCATION: Silver Room)

05:20 - 05:40pm:  Requirements Metrics for Requirements Statements Stored in Database
                  Chao Y. Din and David C. Rine
                  NuWave Solutions, LLC, Virginia, USA;
                  George Mason University, Virginia, USA

05:40 - 06:00pm:  Mining RCS Data
                  Catherine Stringfellow, Swetha Myneni, Raaji Vedala-Tirumala, and
                  Sreya Reddy
                  Midwestern State University, Wichita Falls, Texas, USA


06:00 - 06:30pm:  POSTER/DISCUSSION SESSION A-SERP/FCS
                  July 17, 2012 (Tuesday)
                  (LOCATION: Hallways of Ballrooms 1-5)

                  O. Extending Java for Android Programming
                     Yoonsik Cheon
                     University of Texas at El Paso, Texas, USA
                  O. Software Reuse Cost Estimation Factors
                     Hisham M. Haddad, Nancy Ross, and Woranuch Kaensaksiri
                     Kennesaw State University, Georgia, USA
                  O. There will be an additional 10 other posters.


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

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 ;)