Personal tools
  •  
You are here: Home Program SERP'11: July 19, 2011 Schedule

SERP'11: July 19, 2011 Schedule

Last modified 2011-06-25 08:10

To select a different schedule CLICK HERE

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


08:00 - 10:20am:  During this period, SERP attendees are encouraged to participate
                  in sessions belonging to SAM'11, FECS'11, FCS'11, SWWS'11, EEE'11,
                  or ESA'11. These sessions discuss topics that significantly overlap
                  the scope of SERP'11.


SESSION 2-SERP:   FORMAL SPECIFICATION, VERIFICATION & VALIDATION METHODS
                  Co-Chairs: Dr. Nazir A. Zafar, King Faisal University, Saudi Arabia
                  July 19, 2011 (Tuesday); 10:20am - 12:20pm
                  (LOCATION: Ballroom 8)

10:20 - 10:40am:  A Practical 4-coloring Method of Planar Graphs
                  Mingshen Wu and Weihu Hong
                  University of Wisconsin-Stout, Menomonie, Wisconsin, USA;
                  Clayton State University, Morrow, Georgia, USA

10:40 - 11:00am:  A Mathematical Model for Prediction of the Human Performance Based on
                  the Personal Features
                  Konstantina Georgieva and Reiner R. Dumke
                  University of Magdeburg, Magdeburg, Germany

11:00 - 11:20am:  The Edge-Pushing LR(k) Algorithm
                  Xin Chen and David Pager
                  University of Hawaii at Manoa, Hawaii, USA

11:20 - 11:40am:  Search the Best Greedy Algorithm with Hill Climbing Experiments for
                  Covering Array Generation
                  Jing Jiang and Changhai Nie
                  Nanjing University, Nanjing, P. R. China

11:40 - 12:00pm:  LR(1) Parser Generator Hyacc
                  Xin Chen and David Pager
                  University of Hawaii at Manoa, Hawaii

12:00 - 12:20pm:  Lightweight Formal Verification for Tail Recursive Loops
                  J. Nelson Rushton and Ricardo Morales
                  Texas Tech University, Texas, USA

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


SESSION 3-SERP:   BATTLESPACE REPRESENTATION FOR AIR, SPACE & CYBER + MODELING &
                  VIRTULIZATION + SYSTEMS DEVELOPMENT
                  Co-Chairs: Dr. Vince Schmidt, Wright Patterson Air Force Base, Ohio, USA
                  July 19, 2011 (Tuesday); 01:00pm - 02:40pm
                  (LOCATION: Ballroom 8)

01:00 - 01:20pm:  Exploring the Fourth Dimension: a Computer Scientist's Experience in
                  Temporal Display Development
                  Patrick Dudenhofer
                  Wright Patterson Air Force Base, Ohio, USA

01:20 - 01:40pm:  A Semi-automated Display for Geotagged Text
                  Vince Schmidt and Jane Binner
                  Wright Patterson Air Force Base, Ohio, USA

01:40 - 02:00pm:  Modeling Virtual Machine Packing Factor Using a Third Party Tool and
                  other Strategies
                  Carl De Pasquale
                  College of Staten Island, USA

02:00 - 02:20pm:  Nurturing Systems Thinking: An Empirically Based Framework to Improve
                  Systems Development Processes
                  Arjun Vijayanarayanan and Kelly Neville
                  Embry-Riddle Aeronautical University, Daytona Beach, Florida, USA

02:20 - 02:40pm:  Using ATL Transformations to Derive RSL Specifications From Feature Models
                  Laura Felice, Marcela Ridao, Maria Virginia Mauco, Maria Carmen Leonardi
                  Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina


SESSION 4-SERP:   SOFTWARE QUALITY & SOFTWARE MEASUREMENT + SOFTWARE PROJECT MANAGEMENT +
                  EDUCATION & RELATED ISSUES
                  Co-Chairs: Dr. Austin Melton, Kent State University, Kent, Ohio, USA
                  July 19, 2011 (Tuesday); 02:40pm - 06:00pm
                  (LOCATION: Ballroom 8)

02:40 - 03:00pm:  Extended Cyclomatic Complexity Metric for XML Schemas
                  Reem Alshahrani
                  Kent State University, Kent, Ohio, USA

03:00 - 03:20pm:  What Software Measurement Can Learn from Classical Measurement and
                  Measurement Theory
                  Amruta Sakhrani and Austin Melton
                  Kent State University, Kent, Ohio, USA

03:20 - 03:40pm:  Coupling Detection to Facilitate Maintenance of Database Applications
                  Paul Bergstein and Ashwin Buchipudi
                  University of Massachusetts Dartmouth, Massachusetts, USA

03:40 - 04:00pm:  Functional-Object-Oriented Hybrid Programming with FOBS
                  James Gil de Lamadrid and Jill Zimmerman
                  Bowie Stae University, Bowie, Maryland, USA;
                  Goucher College, Baltimore, Maryland, USA

04:00 - 04:20pm:  Usability Evaluation of Indian Academic Web-applications Using LSP
                  Manju Pandey, Priyanka Tripathi, and S. C. Shrivastava
                  National Institute of Technology, Raipur, India;
                  Maulana Azad National Institute of Technology, Bhopal, India

04:20 - 04:40pm:  Software Safety Engineering Education
                  David J. Coe, Joshua Hogue, and Jeffrey H. Kulick
                  University of Alabama in Huntsville, Alabama, USA

04:40 - 05:00pm:  Security Specifications for a Multi-disciplinary Research Project
                  Syed (Shawon) M. Rahman and Michael Peterson
                  University of Hawaii-Hilo, Hawaii, USA

05:00 - 05:20pm:  Project Success as an Evolving Concept
                  Kadir Alpaslan Demir
                  Turkish Naval Academy, Tuzla, Istanbul, Turkey

05:20 - 05:40pm:  On the Shortest Path to Satisfy Software Projects' Core Requirements
                  Jie Liu and Ted Beers
                  Western Oregon University, Monmouth, Oregon, USA;
                  Hewlett-Packard, Corvallis, Oregon, USA

05:40 - 06:00pm:  Development of E-tutorial for Open Source UML Tool (ArgoUML) Using
                  Drupal as a CMS
                  Avishek Saha and Amee Lakhani
                  Symbiosis Institute of Computer Studies and Research Pune, India


06:00 - 09:00pm:  TUTORIALS

To select a different schedule CLICK HERE


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