|  |  |  |  | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|      |  |  |  | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 
 
 ICSEA 2014 / SIMUL 2014 / VALID 2014 / SOTICS 2014 / Conference Venue Location Hotel Novotel Cap 3000 
 Sunday, October 12 
 Monday, October 13 
 Tuesday, October 14 
 Wednesday, October 15 
 Thursday, October 16 
 Friday, October 17 Recommended to be seen on your own Nice (direct bus, ~20 minutes, every 15 minutes) Monaco/Monte Carlo (trains, every 30 minutes) Cannes (trains, every 30 minutes) Saint-Tropez (agency offers at Novotel Hotel) 
 DETAILED PROGRAM 
 CENTRIC 2014, The Seventh International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services CENTRIC 1: User research and usage behavior Making the Most of Customer Product Reviews Mobile App Marketing: A Conjoint-based Analysis on the Importance of App   Store Elements Gender Differences in Gesture-based Interaction Role of Journalist in Online News Portals for Promoting Social Connectedness   and Reader Participantion (PRESENTATION) CENTRIC 2: Personalization Assessment of Expectations and Needs of a Sensor Network to Promote Elderly’s   Sense of Safety and Security Towards Universally Usable Smart Homes – How Can MyUI, URC and openHAB   Contribute to an Adaptive User Interface Platform? User Models and Domain Ontologies for Generating Personalized Questions and   Answers Design and Personalisation: For a Person of by a Person? Personalize or Customize? Effects of Information Tailoring in Mobile Health   Communication (PRESENTATION) CENTRIC 3: User-centric and personalized services EMMA: A Context-Aware Middleware for Energy Management on Mobile   Devices Human-Centric and Privacy-Protecting Trust Establishment over the   Internet Security and Safety Composition Methodology User-centric Recommendation Model for AAC based on Multi-criteria   Planning CENTRIC 4: User-centric applications and centric views Towards an Integration of Process Modeling and GDSS for Crisis   Management Interaction-based Ontology Modeling for User-Centric Social Networks   Environments Centricity in Project Risk Management: Towards a Conceptual Framework for   Improved Practice A Surveillance System to Counter Vandalism of Transmission Line   Equipment Anthropomorphic Cues in Unmanned Driving Systems:A Study of the Mediating   Effects of Social Presence (PRESENTATION) CENTRIC 5: User experience and usability Communication Behavior Modification -Application for Promoting Wi-Fi Network   Usage by Visualizing Usage History- It’s Not What it Speaks, But It’s How it Speaks: An Investigation into   Smartphone Voice-User Interfaces (VUI) (PRESENTATION) The Measurement of UX/UI for In-Company Intranet on Vertical Organizational   Structure (POSTER) Tapping, Swiping, and Beyond:An Empirical Investigation of On-Screen   Interaction Techniques for Smartphones (PRESENTATION) 
 ICSEA 2014, The Ninth International Conference on Software Engineering Advances ICSEA 1: Fundamentals for software development I Intertwining Relationship Between Requirements, Architecture, and Domain   Knowledge Unified Conceptual Model for Joinpoints in Distributed   Transactions A Tool Evaluation Framework based on fitness to Process and Practice. A   usability driven approach Enhanced Design Pattern Definition Language ICSEA 2: Fundamentals for software development II Model Transformations for the Automatic Suggestion of Architectural Decisions   in the Development of Multi-Layer Applications An MDE Approach for Reasoning About UML State Machines Based on Constraint   Logic Programming Several Issues on the Layout of the UML Sequence and Class   Diagram Communication Aspects with CommJ: Initial Experiment Show Promising   Improvements in Reusability and Maintainability ICSEA 3: Fundamentals for software development III Customized Choreography and Requirement Template Models as a Means for   Addressing Software Architects’ Challenges MDD for Smartphone Application with Smartphone Feature Specific Model and GUI   Builder Quality-Oriented Requirements Engineering for Agile Development of RESTful   Participation Service Architecture Coverage: Validating Optimum Set of Viewpoints ICSEA 4: Fundamentals for software development IV Challenges of Adopting Software Reuse: Initial Results Comparison of Stakeholder Identification Methods - The Effect of   Practitioners Experience What are the Features of this Software? Towards Duplication-Free Feature Models when Evolving Software Product   Lines ICSEA 5: Fundamentals for software development V Quantum States in Bivalent Logic An Approach for Modeling and Transforming Contextually-Aware Software   Engineering Workflows A Software Category Model for Graphical User Interface   Architectures The Impact of User Interface Patterns on Software Architecture   Quality ICSEA 6: Agile software techniques I A Guideline for Supporting Agile Process Assessments Usage of Kanban in Software Companies An empirical study on motivation,   benefits and challenges Scaling Agile Estimation Methods with a Parametric Cost Model AP3M-SW – An Agile Project Management Maturity Model for Software   Organizations ICSEA 7: Agile software techniques II Cybernetic Aspects in the Agile Process Model Scrum Can Functional Size Measures Improve Effort Estimation in   SCRUM? On Some Challenges in Assessing the Implementation of Agile Methods in a   Multisite Environment Towards Agile Composition of Service Oriented Product Lines: A Mashup-based   Approach ICSEA 8: Software engineering productivity research An Approach and a Tool for Systematic Review Research Productivity-Based Software Estimation Model: An Economics Perspective and an   Empirical Study Measuring a Software Production Line with IFPUG-based Function   Points Empirical Research in Software Engineering: A Literature Review ICSEA 9: Software security, privacy, safeness An Automated Signature Generation Method for Zero-day Polymorphic Worms Based   on C4.5 Algorithm On the Automation of Vulnerabilities Fixing for Web Application An Approach for Cross-Site Scripting Detection and Removal Based on Genetic   Algorithms Safety Patterns in Model-Driven Development ICSEA 10: Advances in software testing I Test Data Generation Based on GUI: A Systematic Mapping Mapping of State Machines to Code: Potentials and Challenges Functional Testing Criteria Applied in a Database Project Automatic Unit Test Generation and Execution for JavaScript Program through   Symbolic Execution ICSEA 11: Advances in software testing II Enabling Functional Integration Testing of Software-Intensive Technical   Systems Structural Test Case Generation Based on System Models Towards a Maturity Model in Software Testing Automation Low-Variance Software Reliability Estimation Using Statistical   Testing ICSEA 12: Software development mechanisms I PRReSE – Process of Non-Functional Requirements Reuse for Embedded Systems   Based on a NFR-Framework A Model-Driven Approach to the Development of Heterogeneous Software Product   Lines System Composition Using Petri Nets and DEVS Formalisms A Prototyping Discipline in OpenUP to Satisfy Wireless Sensor Networks   Requirements Easily Evolving Software Using Normalized Systems Theory - A Case   Study ICSEA 13: Software development mechanisms II Towards Task Allocation in Global Software Development Projects Combining MARTE-UML, SysML and CVL to Build Unmanned Aerial   Vehicles Collaborative Team Management in Agile and Distributed Development   Environments Security Through Software Rejuvenation Design of Mobile Services for Embedded Platforms ICSEA 14: Specialized software advanced applications The Quantification of Risk Factors for Predicting Diabetic Cystoid Macular   Edema based on a Hierarchical Approach Identifying Requirements for Centralized Service for Movement and   Biodiversity Data Analysis Method for Analytic Evaluation of the Weights of a Robust Large-Scale   Multilayer Neural Network with Many Hidden Nodes Reorganizing an Offshore Software Project With the Goal of Favoring Knowledge   Transfer Sport Virtual Complex as a Model of Learning Physics (POSTER) ICSEA 15: Software engineering techniques, metrics, and formalisms   I Challenges of the Existing Tools Used in Global Software Development   Projects ARTIST Technical Feasibility Tool: Supporting the Early Technical Feasibility   Assessment of Application Cloudifications Model Reverse-engineering of Mobile Applications with Exploration   Strategies On the Ability of Functional Size Measurement Methods to Size Complex   Software Applications An Exploration of the Application of Usability Evaluation Methods by Disabled   Users ICSEA 16: Software engineering techniques, metrics, and formalisms   II Towards Automating the Coherence Verification of Multi-Level Architecture   Descriptions A Set-Oriented Formalism as a Foundation for the Modeling and Verification of   Connected Data and Process Specifications Towards Automated Design Smell Detection UCDMD: Use Case Driven Methodology Development Insights from the Defect Detection Process of IT Experts: A Case Study on   Data Flow Diagrams ICSEA 17: Business technology Using Expert Systems for Coaching and Mentoring ICT Project   Managers Towards Autonomic Context-Aware Computing for SaaS Through Variability   Management Mechanisms ASDeDaWaS: An Assistant System for the Design of Data Warehouse   Schema Towards Implementation and Design of Multi-tenant SaaS Based on Variabiliy   Management Mechanisms Applications Architecture for a Medium Sized Manufacturing Firm ICSEA 18: Software deployment and maintenance I Enhanced Search: An Approach to the Maintenance of Services Oriented   Architectures Evaluation of the Applicability of CM3: Emergency Problem Management within   the Industry An Analysis of Domain and Application Engineering Co-evolution for Software   Product Lines based on Cladistics: A Case Study EM3: Software Retirement Process Model Causality Control in Dynamic Platforms ICSEA 19: Software deployment and maintenance II Maintaining Vaadin Legacy Applications using DSLs based on   Xtext Predicting Change Proneness using Object-Oriented Metrics and Machine   Learning Algorithms Towards an Efficient Traceability in Agile Software Product   Lines Implementing IT Service Management as an Organizational Change: Identifying   Factors Affecting the Change Resistance ICSEA 20: Design tools for software development I Spider-PE: A Set of Support Tools to Software Process Enactment On the Use of Ontology for Dynamic Reconfiguring Software Product Line   Products A formal model of use-cases and its application in generating a hierarchical   class-structure Fundamentals, Prospects and Challenges for Totally Functional Programming   Style ICSEA 21: Design tools for software development II Using Automatic Code Generation Methods for Reusable Software Component   Development: Experience Report Automatic Classification of Domain Constraints for Rich Client   Development A Classification Schema for Development Technologies Working With Reverse Engineering Output for Benchmarking and Further   Use ICSEA 22: Software performance I Software Relialibility Markovian Model Based on Phase-Type   Distribution Vergil: Guiding Developers Through Performance and Scalability   Inferno A Domain-Specific Language for Modeling Performance Testing: Requirements   Analysis and Design Decisions Inverted Run-Time Behavior of Classic Data Structures on Modern   Microprocessors: Technical Background and Performance Guidelines ICSEA 23: Software performance II Benchmarking the Performance of Hypervisors on Different   Workloads Performance Engineering Using Performance Antipatterns in Distributed   Systems Performance Optimisation of Object-Relational Database Applications in   Client-Server Environments ICSEA 24: Web accessibility Web Accessibility on Thai Higher Education Websites A Usability Inspection Approach to Assist in the Software Development   Process Learning, Trust, and Technological Collaboration between Business and   Academia: A Successful USA Case Study (POSTER) 
 ICSNC 2014, The Ninth International Conference on Systems and Networks Communications ICSNC 1: Multimedia communications systems A Novel Spectrum Sensing Scheme for Dynamic Traffic   Environments Utility-based Approach for Video Service Delivery Optimization Perceptual Semantics for Video in Situation Awareness On Server and Path Selection Algorithms and Policies in a light Content-Aware   Networking Architecture ICSNC 2: High speed networks Building Efficient End-to-End Service Transparent Fiber Networks Supporting   Access Rates Beyond 10Gb/s Hybrid Optical Network with Traffic Classification and Switching Selection   Scheme Based on Fuzzy Logic Performance of Low Buffer Resource Flexible Router for NoCs Inferring TCP Congestion Control Algorithms by Correlating Congestion Window   Sizes and their Differences ICSNC 3: Wireless networks The K-means and TSP Based Mobility Protocol Modeling as a Probabilistic   Combinatorial Optimization Problem Wireless Ad Hoc Networks Resilience Through Cooperative   Communication Node Pair Selection Scheme for MIMO Multiuser System Using Repeated   Application of Stable Matching Algorithm Evaluation of the New e-Health Signaling Model in the USN   Environment ICSNC 4: Sensor and vehicular networks On Throughput Performance and its Enhancement in Mobile Ad Hoc Networks   (MANETs) In Vehicle Communication Networks : A Power Line Communication Study and   Demonstrator for Infotainment Applications Development of a Remote Management System for Automatic Parking Towers   through Mobile Devices Power Aware Robustness Protocol for WSN (PRESENTATION) ICSNC 5: Security and P2P systems An Assessment of the Contemporary Threat Posed by Network Worm   Malwar Improving Resource Discovery and Query Routing in Peer-to-Peer Data Sharing   Systems Using Gossip Style and ACO Algorithm Improving Network Traffic Anomaly Detection for Cloud Computing   Services 
 INNOV 2014, The Third International Conference on Communications, Computation, Networks and Technologies INNOV 1: Networking Security Threats in Mobile Ad Hoc Networks A Network-disaster Recovery System using Area-based Network   Management What’s Happening: A Survey of Tweets Event Detection INNOV 2: Telecommunications Application of the Composite Field in the Design of an Improved AES S-box   Based on Inversion Timing Synchronization Method for MIMO-OFDM Systems with CAZAC   Sequences 
 SIMUL 2014, The Sixth International Conference on Advances in System Simulation SIMUL 1: Transport simulation Model of Running Time Disturbances for Buses Using Designated Lanes on   Approaches to Junctions Equipped with Traffic Signals Traffic-light cycle coordinated by microsimulation: a solution to the traffic   congestion in Palermo Towards a Hybrid Real/Virtual Simulation of Autonomous Vehicles for Critical   Scenarios Modelling Drivers’ Route Choice Behaviour through Possibility Theory Using   Driving Simulator SIMUL 2: Simulation tools and platforms M2ANET Simulation in 3D in NS2 Pandora: A Versatile Agent-Based Modelling Platform for Social   Simulation Interface-based Semi-automated Generation of Scenarios for Simulation Testing   of Software Components A Scalable Framework for Advanced Driver Assistance Systems   Simulation SIMUL 3: Simulation modes I Microscopic Simulation of Synchronized Flow in City Traffic: Effect of   Driver's Speed Adaptation An Optimal Multiobjective Production System, A Case Study A Generalized Agent-Based Model to Simulate Emergency   Departments IoT Component Design and Implementation using Discrete Event Specification   Simulations SIMUL 4: Simulation modes II Optimization of Resources to Improve Patient Experience in the New Emergency   Department of Mater Hospital Dublin Modeling the Contact Propagation of Nosocomial Infection in Hospital   Emergency Departments Impedance-based Higher Order Sliding Mode Control for Grasping and   Manipulation LPV Fractional Solar Cell DC-DC Simulation for Autonomous Robotics   (POSTER) Situation Presumption for Swarm Robots by Sound Information   (POSTER) SIMUL 5: Human-in simulation Towards a New Alternative to Assess the Validity of Driving   Simulators: Consistency of the Stochastic Mesh Method Multiple Convolution Neural Networks for an Online Handwriting Recognition   System The Influence of Lateral, Roll and Yaw Motion Gains on Driving Performance on   an Advanced Dynamic Simulator Developing an Open Source Mechanical Simulation Framework: Design Issues and   Industrial Applications (PRESENTATION) SIMUL 6: Building simulation Different User Behavior’s Impact on Simulated Heating Demand in Energy   Efficient Buildings Rare Event Handling in Signalling Cascades Program Generation Approach to Semi-Natural Simulators Design and   Implementation Semi-automated Generation of Simulated Software Components for Simulation   Testing Energy and Daylighting Performance of Senior Housing (Performance evaluation   of a senior apartment in China) SIMUL 7: Model-based system prediction Thickness Reduction Controller Design for Flying Gauge Change in a Cold Strip   Mill Application of the Butler-Volmer Equation in Mathematical Modelling of   Amperometric Biosensor Concept for Geopolitical Crisis Simulation as Assistance During a Decision   Making Process Probabilistic Prognosis of Societal Political Violence by Stochastic   Simulation SIMUL 8: Practical applications of process simulations I Simulation Analysis for Performance Improvements of GNSS-based Positioning in   a Road Environment Online Heat Pattern Estimation in a Shaft Furnace by Particle Filter   Logic Weights Decision Analysis on the Integration of Navigation Satellite System   and Vision System for Precise Positioning Production-Sales Policies for New Product Diffusion under Stochastic   Supply SIMUL 9: Practical applications of process simulations II Particle Simulation of Granular Flows in Electrostatic Separation   Processes Simulation as a Sensor of Emergency Departments: Providing Data for Knowledge   Discovery Social Sustainability and Manufacturing Simulation An Agent-Based Financial Market Simulator for Evaluation of Algorithmic   Trading Strategies SIMUL 10: Simulation methodologies I Simulation-based Completeness Analysis and Adaption of Fault   Trees Investigation of Solver Technologies for the Simulation of Brittle   Materials Improving Simulators Quality Using Model and Data Validation   Techniques Fuzzy Discrete-Event Systems Modeling and Simulation with Fuzzy Control   Language and DEVS Formalism Integrating Simulation Modelling and Value Stream Mapping for Leaner Capacity   Planning of an Emergency Department SIMUL 11: Simulation methodologies II Model-based Method to achieve EMC for Distributed Safety-Relevant Automotive   Systems Agent-based Simulation of Information and Communications Technology Practicum   Courses for Engineering Students at Instituto Tecnológico   Metropolitano A Unified Framework for Uncertainty and Sensitivity Analysis of Computational   Models with Many Input Parameters An Agent-based Model to Support Measuring Drug Choice and Switch Between Drug   Types in Rural Populations 
 SOTICS 2014, The Fourth International Conference on Social Eco-Informatics SOTICS 1: Social eco-informatics An Audiobooks-based Approach for Creating a Speech Corpus for Acoustic   Models Electronic Word-of-Mouth Spread in Twitter as a Function of Message   Sentiment Supporting Social Discovery of Appropriate Candidates for Promotion to   Administrative Status in Wikipedia 
 VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle VALID 1: Testing techniques and mechanisms Adaptive Knowledge-Supported Testing: An Approach for Improving Testing   Efficiency Test-Driven Agile Simulation for Design of Image Processing   Systems A Testability Transformation Approach for Programs with Assertions Investigation of Opportunities for Test Case Selection Optimisation Based on   Similarity Computation and Search-Based Minimisation Algorithms VALID 2: Software verification and validation Algebraic Analysis of Branching Processes From Semantic IoT-Service Descriptions to Executable Test Cases - Information   Flow of an Implemented Test Framework A Novel Approach for Environment Model-Based Functional Testing of Reactive   Systems Inconsistencies-based Multi-Region Protocol Verification Test Education for University and University of Applied Science, an Update   (POSTER) VALID 3: System and feature testing I Towards a Holistic Architecture for a SIP Test Framework Performance Impact of Correctable Errors on High Speed Buses Functional Testing - A SOA & BPM Approach Comparison Sequential Life Test (POSTER) VALID 4: System and feature testing II A Model-Based Testing Methodology for the Systematic Validation of Highly   Configurable Cyber-Physical Systems Aspect-Oriented Testing of a Rehabilitation System A Configurable Test Architecture for the Automatic Validation of   Variability-Intensive Cyber-Physical Systems IBM SAN Distance Matrix Project |  | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  |  | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  |  | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|  |  | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Copyright (c) 2006-2014, IARIA