|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
SoftNet 2013 ICSEA 2013 / ICSNC 2013 / CENTRIC 2013 / VALID 2013 / SIMUL 2013 Conference Location Sunday, October 27
Monday, October 28
Tuesday, October 29
Wednesday, October 30
Thursday, October 31
DETAILED PROGRAM
ICSEA 2013, The Eighth International Conference on Software Engineering Advances ICSEA 1: Advances in software testing I Kongdroid: A Proposal for a Cloud Service for Stress Testing on Android Applications Functional Software Testing: A Systematic Mapping Study A Multi-Objective Technique for Test Suite Reduction Applying Mutation Testing to ATL Specifications: An Experimental Case Study ICSEA 2: Advances in software testing II The Use of Experimentation Packages for Evaluating the Quality of Mobile Software Products How Exception Handling Constructions are Tested: An Initial Investigation with Open Source Software Towards Scalable Bug Localization using the Edit Distance of Call Traces Finding Common Subsequences in Recorded Test Cases ICSEA 3: Advances in software testing III Architecture-Based Conformance Testing Combining Model-based Testing and Continuous Integration Static Analysis Techniques and Tools: A Systematic Mapping Study An Approach for Validation, Verification, and Model-based Testing of UML-based Real-time Systems ICSEA 4: Advances in fundamentals for software development I Toward a Definition of π-DSL for Modelling Business Agents Relationships Between Risks in an IT Project Development Portfolio A Proposal of Requirements Specification Process for Adaptive Systems Based on Fuzzy Logic and NFR-Framework Requirements Elicitation Guide for Embedded Systems: An Industry Challenge Separation of Concerns and Code Enhancement: Aspect-oriented Programming Versus Customization Approach Followed in Open Source Softwarep ICSEA 5: Advances in fundamentals for software development II Design and Innovation in Game Development: Observations in 7 Small Organizations An Automatic Petri-net generator for Modeling Multi-agent Systems Data From Configuration Management Tools As Sources Refactoring of Simulink Diagrams via Composition of Transformation Steps Experiences on Mobile Cross-Platform Application Development Using PhoneGap ICSEA 6: Advances in fundamentals for software development III A Real-Time Design Pattern for Actuators in Advanced Driver Assistance Systems Metrics for Measuring Quality of Real-time Design Patterns Using a New UML Profile for Modeling Software Tests An Ontology-based System to Support Distributed Software Development Comparative Influence Evaluation of Middleware Features on Choreography DSL ICSEA 7: Advances in fundamentals for software development IV Data Lifecycle Verification Method for Requirements Specifications Using a Model Checking Technique Service Relationships Management for Maintenance and Evolution of Service Networks Architectural Elements of Ubiquitous Systems: A Systematic Review Architectural Decisions in the Development of Multi-Layer Applications CREATE: A Co-Modeling Approach for Scenario-based Requirements and Component-based Architectures ICSEA 8: Advances in fundamentals for software development V Reasoning about UML/OCL Models using Constraint Logic Programming and MDA Weaving Crosscutting Concerns into Inter-process Communications (IPC) in AspectJ Systematic Modeling of Workflows in Trace-Based Software Debugging and Optimization A Pattern-based Approach towards Expressive Specifications for Property Concepts Applying Questionnaire to Assess the Lessons Learned Process in Software Project Management: a Case Study at GAIA ICSEA 9: Software deployment and maintenance I Refactoring to Static Roles Linking E-Mails and Source Code Using BM25F IR based Traceability Link Recovery Method Mining Towards Identifying the Factors for Project Management Success in Global Software Development: Initial Results ICSEA 10: Software deployment and maintenance II A DSL for Multi-Scale and Autonomic Software Deployment Characterization of Techniques and Tools of Visualization Applied to Software Comprehension: A Systematic Mapping Managing IT Service Releases in a Systematic Way: A Case Study Approach ICSEA 11: Agile software techniques I Pivots and Architectural Decisions: Two Sides of the Same Medal? Moonlighting Scrum: An Agile Method for Distributed Teams with Part-Time Developers Working during Non-Overlapping Hours An Agile Maturity Model for Software Development Organizations Using the Analytical Hierarchy Process as a Ranking Tool for User Story Prioritization Techniques ICSEA 12: Agile software techniques II Expert Estimation and Historical Data: An Empirical Study Agile-User Experience Design: an Agile and User-Centered Process? Distributed Agile Software Development Challenges and Mitigation Techniques: A Case Study Agile-User Experience Design: With or Without a Usability Expert in the Team? ICSEA 13: Agile software techniques III Do Agile Principles and Practices Support the Well-being at Work of Agile Team Members? The Scrum Product Owner – Customer Collaboration & Prioritizing Requirements Benefits and Limitations of Using the MPS.BR Model with Agile Methodologies: A Survey Based on a Systematic Literature Review Opportunities for Agile Documentation Using Natural Language Generation (IDEA) ICSEA 14: Software performance Low-Overhead Profiling based on Stationary and Ergodic Assumptions A Tracking and Visualizing System of Memory Usage along to C Source Programs Run-Time Monitoring of Timing Constraints: A Survey of Methods and Tools The Impact of Intra-core and Inter-core Task Communication on Architectural Analysis of Multicore Embedded Systems ICSEA 15: Business technology Cooperative Optimal Route Planning of Accumulator-bank Servicing Robots Business Architecture for a SME: A Case Study of a Manufacturing Firm in Mexico Confirming Design Guidelines for Evolvable Business Processes Based on the Concept of Entropy Towards Ontology-Driven Approach for Data Warehouse Analysis. Case study : Healthcare domain Light-PubSubHubbub: A Lightweight Adaptation of the PubSubHubbub Protocol ICSEA 16: Software engineering techniques, metrics, and formalisms I Semantic Symbols Extraction Model for Emergency Hazard Map Interactive Hyperbolic Tree for Industrial size Software Product line Architecture Creating a ITIL-based Software Incident Categorization Model for Measurement: A Case Study Implementation of the ITIL-Based Service Level Management Process to Improve an Organization’s Efficiency: A Case Study Measuring the Functional Size of Real-Time and Embedded Software: a Comparison of Function Point Analysis and COSMIC ICSEA 17: Software engineering techniques, metrics, and formalisms II MCReF: A Metric to Evaluate Complexity of Functional Requirements Hierarchical Multi-Views Software Architecture Object Oriented Petri Nets in Software Development and Deployment A Measurement-based Approach to Software Development Process Tailoring in R&D Organization Study to Secure Reliability of Measurement Data through Application of Game Theory (POSTER) ICSEA 18: Software engineering techniques, metrics, and formalisms III Towards Probabilistic Models to Predict Availability, Accessibility and Successability of Web Services Measuring Design Quality of Service-Oriented Architectures Based on Web Services Towards Automatic Performance Modelling Using the GENERICA Component Model Ensuring Consistency of Dynamic Reconfiguration of Component Based Systems An Investigation on Quality Models and Quality Attributes for Embedded Systems ICSEA 19: Specialized software advanced applications Counter Rocket, Artillery and Mortar System with Laser Simulation Software Towards Cloud-based Collaborative Software Development: A Developer-Centric Concept for Managing Privacy, Security, and Trust Two-Dimensional Models’ Processing Using Principles of Knowledge-Based Architecture Towards a Smart City Security Model Exploring Smart Cities Elements Based on Nowadays Solutions Camera Trajectory Evaluation in Computer Graphics Based on Logarithmic Interpolation ICSEA 20: Software economics, adoption, and education Metaphors Applied to Interaction Design in Group Learning ProDec: a Serious Game for Software Project Management Training Open Source Legality Compliance of Software Architecture Can Business Process Management Benefit from Service Journey Modelling Language? ICSEA 21: Advanced design tools for developing software A Method of Generation of Scenarios using Differential Scenario Towards a UML Meta Model Extension for Aspect-Oriented Modeling A Case Study of Requirements Management: Toward Transparency in Requirements Management Tools Two-Hemisphere Model Based Approach to Modelling of Object Interaction ICSEA 22: Web accessibility A Device For Electromechanical Braille Reading Digital Texts Australia's National Transition Strategy: first stage implementation report Web Accessibility for Older Users: A Southern Argentinean View ICSNC 2013, The Eighth International Conference on Systems and Networks Communications ICSNC 1: Wireless networks I A Design of Full-Rate Distributed Space-Time-Frequency Codes with Randomized Cyclic Delay Diversity EEMC-MAC: An Energy Efficient Protocol for Multi-Channel Wireless Networks Distance Estimation of Smart Device using Bluetooth Verification of Microwave Air-Bridging for Sky-Net A New Design of Dual Band Fractal Antenna for LEO Applications ICSNC 2: Wireless networks II Coexistence of Earth Station of the Fixed-Satellite Service with the Terrestrial Fixed Wireless System in 8 GHz Band A Novel Unambiguous BOC Acquisition Scheme for Global Navigation Satellite Systems A Novel Cognitive Engine Based on Genetic Algorithm Multiuser Coded FDM-CPM Systems with MIMO Transmission Wavelet Based Alternative Modulation Scheme Provides Better Reception with Fewer Errors and Good Security in Wireless Communication ICSNC 3: Vehicular networks Towards a Dynamic QoS Management Solution for Mobile Networks based on GNU/Linux Systems Analysis of PLC Channels in Aircraft Environment and Optimization of some OFDM Parameters Intelligent Train System Using GSM Networks and GPS (PRESENTATION) ICSNC 4: Multimedia communications systems Privacy-aware Nomadic Service For Personalized IPTV Toward a Global File Popularity Estimation in Unstructured P2P Networks Exploiting Semantic Indexing Images for Emergence Recommendation Semantics System Performance Analysis of the Opus Codec in VoIP Environment Using QoE Evaluation ICSNC 5: High speed networks Multi-threaded Packet Timestamping for End-to-End QoS Evaluation Performance Analysis of Network Subsystem on Virtual Desktop Infrastructure System utilizing SR-IOV NIC Improving Reliability of Inter-connected Networks through Connecting Structure Toward Reliability Guarantee VC Services in an Advance Reservation based Network Resource Provisioning System ICSNC 6: Mesh networks and sensors Delay-Energy Tradeoff in Mobile Cloud Computing: An Experimental Approach 3D On-chip Data Center Networks Using Circuit Switches and Packet Switches Architecture for Platform- and Hardware-independent Mesh Networks Performance Evaluation on OpenGIS Consortium for Sensor Web Enablement Services Tracking System Using SAW Tag (POSTER) ICSNC 7: Security systems I Commercialized Practical Network Service Applications from the Integration of Network Distribution and High-Speed Cipher Technologies in Cloud Environments Identity Management Approach for Software as a Service OTIP: One Time IP Address ICSNC 8: Security systems II A Privacy-Enhanced User-Centric Identity and Access Management Based on Notary Resilient Delay Sensitive Load Management in Environment Crisis Messaging Systems Methodology of Newly Designating Major Information and Communication Infrastructures (PRESENTATION) CENTRIC 2013, The Sixth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services CENTRIC 1: Technologies for personalized services MobileSage - A Prototype Based Case Study for Delivering Context-Aware, Personalized, On-Demand Help Content Personalized Shopping Experience with NFC Smartphone Apps and Electronic Shelf Label Student Driven Innovation: Designing University Library Services CENTRIC 2: User research and usage behavior UWB Radar with Array Antennas for Human Respiration and Heartbeat Detection Applying Augmented Reality to Tourism Pamphlet and its Evaluation Experiential Adaptation to Provide User-Centered Web Content Personalization An Application to Estimate the Cyber-risk Detection Skill of Mobile Devices Users (IDEA) CENTRIC 3: User-centric advanced applications I Development and Evaluation of a Rehabilitation Program using Kinect™ Motion Capture Technology Interface Design Techniques for Electronic Nose Sensors:A Survey Study of Cochlear Implants Electrodes Stimulation Based on the Physics of the Ear for Audio Signal Integrity Improvement Sightseeing Spot Communication System using Four-Frame Stories An Opportunistic Tourism Navigation System using Photography Location Recommendation CENTRIC 4: User-centric advanced applications II Disaster Information Sharing System Using Pictograms Only Engaging Practitioners to Deliver Government Carbon and Energy Phased Reduction Targets: Toward a Web 3.0 Approach Modeling of the Organ of Corti Stimulated by Cochlear Implant Electrodes CENTRIC 5: Personalization Towards a Framework for Business Models in Event Management Privacy-Centric Modeling and Management of Context Information Towards Context-Driven User Interfaces in Smart Homes - The Cloud4all Project’s Smart House Demo User-Centric Adaptive Automation through Formal Reconfiguration of User Interface Models CENTRIC 6: User experience and usability A Multi-Method Approach to Assessing the Usability of Mobile Job Advertisements An Exploration of Relationships between Culture Images and User Experience of Gesture Interaction The Case for Integrating Needs and Preferences in the Internet of Things Process of Gamification. From the Consideration of Gamification to its Practical Implementation Citizen-centric eGovernment Serviices VALID 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle VALID 1: Software verification and validation Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall Enabling Interface Validation through Text Generation Efficient Elimination of False Positives Using Bounded Model Checking State Space Reconstruction for On-Line Model Checking with UPPAAL Formal Composition based on Roles within a Model Driven Engineering Approach VALID 2: Testing techniques and mechanisms Preliminary Test Suite Reduction Performance Characterization of TAS-MRAM Architectures in Presence of Capacitive Defects Automatic Linking of Test Cases and Requirements Developing Test Education for Universities and Universities of Applied Science (POSTER) VALID 3: Debugging and diagnosis Using Filtering to Improve Value-Level Debugging of Verilog Designs Towards an Integrated Methodology for the Development and Testing of Complex Systems An Evaluation of Client-Side Dependencies of Search Engines by Load Testing Compact Traceable Logging SIMUL 2013, The Fifth International Conference on Advances in System Simulation SIMUL 1: Practical applications on process simulations A Standardized Simulation Model with Strategic Approach for Distribution Networks: A Case Study in Mexico Hycon 2 Network Show Case: Sugar Factory Towards Unified Conceptual Modeling and Integrated Analysis in Joint Applications of Project Management, Business Process Management and Simulation Application of Lean Thinking Using Simulation Modeling in a Private Hospital SIMUL 2: Transport simulation Simulation Model of a Bus Line in Changing Traffic Conditions A System of Pendulums on a Regular Polygon Concept for a Task–Specific Reconfigurable Driving Simulator SIMUL 3: Model based system prediction Simulation and Validation of a Heuristic Scheduling Algorithm for Multicore Systems Reasoning on Concurrency: An Approach to Modeling and Verification of Java Thread-safe Objects Monitoring and Modeling Web Server Performance: A Symbiotic Simulation Approach A Flexible Analytic Model for a Dynamic Task-Scheduling Unit for Heterogeneous MPSoCs SIMUL 4: Simulation methodologies Practical Methodology for Adding New MANET Routing Protocols to OPNET Modeler Combining Genetic Algorithms and Simulation to Search for Failure Scenarios in System Models A Matlab/Simulink Simulation Approach for Early Field-Programmable Gate Array Hardware Evaluation Rapid Weighted Random Selection in Agent-based Models of Infectious Disease Dynamics Using Augmented B-trees Estimating Energy Efficiency of Data-Link Layer in System Level Performance Evaluation SIMUL 5: Simulation models I Modeling Planned and Unplanned Store Stops for the Scenario Based Simulation of Pedestrian Activity in City Centers Pricing the Cloud: An Adaptive Brokerage for Cloud Computing Simulating Tree Plasticity with a Functional-structural Plant Model: Being Realistic in Behavior A Non-Modular Modeling and Simulation Approach Based on DEVS for the Forest Fire Spread SIMUL 6: Simulation models II ComCas: A Compiled Cycle Accurate Simulation for Hardware Architecture Evaluating Options of Viennese Commuters to Use Sustainable Transport Modes Evaluation of the Northern Sardinia Forests Suitability for a Wood Biomass CHP System Installation Developing a Simulation Model for a Level of Usage SIMUL 7: Simulation tools and platforms A CC2420 Transceiver Simulation Module for ns-3 and its Integration into the FERAL Simulator Framework Physical Layer Simulation of Large Distributed Automation Systems in SPICE A New Distributed Parallel Event-driven Timing Simulation for ECO Design Changes GRIND: An Generic Interface for Coupling Power Grid Simulators with Traffic, Communication and Application Simulation Tools SIMUL 8: Building simulation Personalizing Thermal Comfort in a Prototype Indoor Space The Impact of Control Setpoints on Building Energy Use Design and Simulation of an Energy-Positive Building |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Copyright (c) 2006-2013, IARIA