SERP'12: Tuesday, July 17, 2012 Schedule
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|