Document Actions
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
|
