[Front cover] (PDF)

[Title page i] (PDF)

[Title page iii] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Message from the Workshops Chairs (PDF)

Message from the Workshop Organizers - IWSC 2014 (PDF)

Message from the Workshop Organizers - ADMNET 2014 (PDF)

Message from the Workshop Organizers - STPSA 2014 (PDF)

Message from the Workshop Organizers - MidArch 2014 (PDF)

Message from the Workshop Organizers - WRMOCC 2014 (PDF)

Message from the Workshop Organizers - SocNet 2014 (PDF)

Message from the Workshop Organizers - UCDAS 2014 (PDF)

Message from the Workshop Organizers - BIoT 2014 (PDF)

Message from the Workshop Organizers - CFSE 2014 (PDF)

Message from the Workshop Organizers - ESAS 2014 (PDF)

Message from the Workshop Organizers - CORCS-IEESD 2014 (PDF)

Message from the Workshop Organizers - SAPSE 2014 (PDF)

Message from the Workshop Organizers - SSERV 2014 (PDF)

Message from the Workshop Organizers - QUORS 2014 (PDF)

Message from the Workshop Organizers - CDS 2014 (PDF)

Message from the Workshop Organizers - WASCOM 2014 (PDF)

Message from the Workshop Organizers - STA 2014 (PDF)

Message from the Workshop Organizers - SSS 2014 (PDF)

Message from the Workshop Organizers - MediComp 2014 (PDF)

Message from the Workshop Organizers - MVDA 2014 (PDF)

Adaptive Management of Energy Packets (Abstract)

Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems (Abstract)

Countermeasures to Enhance Cyber-physical System Security and Safety (Abstract)

Controlling and Being Creative: Software Cybernetics and Creative Computing (Abstract)

A Study on Migration Technique Using Program Slicing for Large-Scale Information and Control Systems (Abstract)

A History-Based Dynamic Random Software Testing (Abstract)

Dynamic Random Testing with Parameter Adjustment (Abstract)

Fair Optimization -- Methodological Foundations of Fairness in Network Resource Allocation (Abstract)

Maxmin Fairness under Priority for Network Resource Allocation Tasks (Abstract)

Modeling of Dynamic Trend of Latency Variations on Mobile Network Using Markov Regime Switching (Abstract)

Toy Block Networking: Easily Deploying Diverse Network Functions in Programmable Networks (Abstract)

Bridging the Gap between Low-Level Network Traffic Data Acquisition and Higher-Level Frameworks (Abstract)

A Mobility Management System for the Global Live Migration of Virtual Machine across Multiple Sites (Abstract)

Implementation and Evaluation of Secure Outsourcing Scheme for Secret Sharing Scheme on Cloud Storage Services (Abstract)

Deploying OpenStack: Virtual Infrastructure or Dedicated Hardware (Abstract)

A Technique to Assign an Appropriate Server to a Client, for a CDN Consists of Servers at the Global Internet and Hierarchical Private Networks (Abstract)

Computer Ethics Video Clips for University Students in Japan from 2003 until 2013 (Abstract)

Static Code Analysis for Software Security Verification: Problems and Approaches (Abstract)

Security by Design for the Smart Grid: Combining the SGAM and NISTIR 7628 (Abstract)

Introducing Code Assets of a New White-Box Security Modeling Language (Abstract)

A Security Oriented Design (SOD) Framework for eHealth Systems (Abstract)

Bayesian Model Averaging of Bayesian Network Classifiers for Intrusion Detection (Abstract)

DCAFE: A Distributed Cyber Security Automation Framework for Experiments (Abstract)

Quantification of Information Flow in a Smart Grid (Abstract)

A Privacy-Preserving Solution for Tracking People in Critical Environments (Abstract)

Access Control Model for the My Number National Identification Program in Japan (Abstract)

Improvement of the Integrity Verification Application Using Timestamp Mechanism for Distributed File System (Abstract)

Secret Key Steganography with Message Obfuscation by Pseudo-random Number Generators (Abstract)

Certificate-Based, Disruption-Tolerant Authentication System with Automatic CA Certificate Distribution for Eduroam (Abstract)

Centralized Online Sign-Up and Client Certificate Issuing System for Eduroam (Abstract)

Modeling the Cost Structure of Identity Proofing (Abstract)

Dripcast -- Server-less Java Programming Framework for Billions of IoT Devices (Abstract)

The Concept of a Mobility Data Cloud: Design, Implementation and Trials (Abstract)

Big Data in Memory: Benchmarking in Memory Database Using the Distributed Key-Value Store for Constructing a Large Scale Information Infrastructure (Abstract)

Expert Mining for Evaluating Risk Indicators Scenarios (Abstract)

Building a Community: The Moodbile Perspective (Abstract)

Risk Measure Propagation through Organisational Network (Abstract)

The Application of Internet of Things in Social Network (Abstract)

Cross-Domain Scientific Collaborations Prediction with Citation Information (Abstract)

An Enterprise Social Recommendation System for Connecting Swedish Professionals (Abstract)

How Overlapping Community Structure Affects Epidemic Spreading in Complex Networks (Abstract)

Automated Generation of User-Interface Prototypes Based on Controlled Natural Language Description (Abstract)

Exploiting Reinforcement Learning to Profile Users and Personalize Web Pages (Abstract)

Physiological Mouse: Towards an Emotion-Aware Mouse (Abstract)

Towards a User Model for the Design of Adaptive Interfaces for Autistic Users (Abstract)

Text-Based CAPTCHA Using Phonemic Restoration Effect and Similar Sounds (Abstract)

Improvement of Personal Identification by Flick Input with Acceleration Sensor (Abstract)

Designing Interpersonal Communication Software for the Abilities of Elderly Users (Abstract)

Designing of a Network-Aware Cloud Robotic Sensor Observation Framework (Abstract)

Managing Heterogeneous Sensor Data on a Big Data Platform: IoT Services for Data-Intensive Science (Abstract)

m-cloud -- Distributed Statistical Computation Using Multiple Cloud Computers (Abstract)

Facility Information Management on HBase: Large-Scale Storage for Time-Series Data (Abstract)

Towards a User-Friendly Loading System for the Analysis of Big Data in the Internet of Things (Abstract)

Load-Adaptive Indexing Method for Schema-less Searches (Abstract)

Digital Fingerprinting on Executable File for Tracking Illegal Uproaders (Abstract)

An Evaluation of Side-Information Assisted Forensic Hash Matching (Abstract)

Evolving Decision Trees for the Categorization of Software (Abstract)

Proposal and Evaluation of Safe and Efficient Log Signature Scheme for the Preservation of Evidence (Abstract)

A Safety Food Consumption Mobile System through Semantic Web Technology (Abstract)

Mobile Pediatric Consultation and Monitoring System through Semantic Web Technology (Abstract)

Using the Semantics Inherent in Sitemaps to Learn Ontologies (Abstract)

Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems (Abstract)

Towards Context-Oriented Self-Adaptation in Resource-Constrained Cyberphysical Systems (Abstract)

Towards a Common Software-to-Hardware Allocation Framework for the Heterogeneous High Performance Computing (Abstract)

Identifying Evolution Problems for Large Long Term Industrial Evolution Systems (Abstract)

Variable Factors of Influence in Product Line Development (Abstract)

The Problem of Handling Multiple Headers in WS-Security Implementations (Abstract)

A Socio-technical Methodology for the Security and Privacy Analysis of Services (Abstract)

I Was Confused: Robust Accountability for Permission Delegation in Cloud Federations (Abstract)

Integration of Heterogeneous Policies for Trust Management (Abstract)

What Is the Impact of Heterogeneous Knowledge about Fundamentals on Market Liquidity and Efficiency: An ABM Approach (Abstract)

A Study on Filtering of the Effect Range with the Package Insert of the Medicine (Abstract)

Learning Agents for Human Complex Systems (Abstract)

Heuristics for Designing and Evaluating Socio-technical Agent-Oriented Behaviour Models with Coloured Petri Nets (Abstract)

Analyzing the Role of Noise Trader in Financial Markets through Agent-Based Modelling (Abstract)

Emergence of Fashion Cycle by Agent-Based Model of WoM Dissemination (Abstract)

Chartists and Fundamentalists in an Agent Based Herding Model (Abstract)

Heterogeneity in Lowest Unique Integer Game (Abstract)

A Multi-dimensional Component Importance Analysis Mechanism for Component Based Systems (Abstract)

A SysML Based Requirement Modeling Automatic Transformation Approach (Abstract)

Analyzing Artifact Anomalies in a Temporal Structural Workflow for SBS (Abstract)

A Framework of Patterns Applicability in Software Development (Abstract)

Reverse Engineering Web Applications for Security Mechanism Enhancement (Abstract)

Comparing Reuse Strategies: An Empirical Evaluation of Developer Views (Abstract)

Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation (Abstract)

Critical Evaluation on jClouds and Cloudify Abstract APIs against EC2, Azure and HP-Cloud (Abstract)

Institution Theory for Services Oriented Applications (Abstract)

Towards Feature-Oriented Fault Tree Analysis (Abstract)

Integrating the Modelica DSL into a Platform for Model-Based Tool Interoperability (Abstract)

Requirements Model Oriented System Generation Tool and Its Practical Evaluation (Abstract)

Using TTCN-3 to Test SPDY Protocol Interaction Property (Abstract)

A Hazard Detection Method for Bicycles by Using Probe Bicycle (Abstract)

An Ironing Support System with Superimposed Information for Beginners (Abstract)

A Hybrid Device Profile Detection Method and Its Applications (Abstract)

A Study of On-Vehicle Information Devices Using a Smartphone (Abstract)

An API Design Process in Terms of Usability: A Case Study on Building More Usable APIs for Smart TV Platform (Abstract)

Design and Implementation of Event Information Summarization System (Abstract)

Metadata for Energy Disaggregation (Abstract)

Customizable Web-Based System to Federate Smart Devices and Peripherals (Abstract)

A Power Allocation Management System Using an Algorithm for the Knapsack Problem (Abstract)

A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models (Abstract)

Dynamic Adaptive Management of Buffer for QoS Guarantees and Energy Reduction (Abstract)

Profile-Based Scalable Video Adaptation Employing MD-FEC Interleaving over Loss-Burst Channels (Abstract)

An Evaluation of Adaptive Traffic Engineering for Delivering High Bandwidth Movie on Overlay Routing Network (Abstract)

An Adaptive XACMLv3 Policy Enforcement Point (Abstract)

Testing Java Exceptions: An Instrumentation Technique (Abstract)

Automated Generation of Integration Test Sequences from Logical Contracts (Abstract)

Risk Based Testing of Open Source Software (OSS) (Abstract)

Automated Model-Based Performance Testing for PaaS Cloud Services (Abstract)

A Structured Model of Consistency Rules in After-State Database Testing (Abstract)

Improving Models for Model-Based Testing Based on Exploratory Testing (Abstract)

Noninvasive Ambulatory Monitoring of the Electric and Mechanical Function of Heart with a Multifunction Wearable Sensor (Abstract)

Current Electronic Medical Record in China (Abstract)

A ZigBee Based Multi-hop Health Monitoring System: Design and Performance Evaluation (Abstract)

Using Knowledge Management and Mhealth in High-Risk Pregnancy Care: A Case for the Floating Population in China (Abstract)

A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns (Abstract)

Measuring Prediction Sensitivity of a Cloud Auto-scaling System (Abstract)

Towards an Ontology-Based Context-Aware Meta-model for the Software Domain (Abstract)

Accountability in a Context-Aware Smarthome Healthcare Reasoning System (Abstract)

MuScADeL: A Deployment DSL Based on a Multiscale Characterization Framework (Abstract)

A Load Distribution Method Based on Distributed Hashing for P2P Sensor Data Stream Delivery System (Abstract)

A Calculus for Transportation Systems (Abstract)

Towards an Institutional Representation for the B Model Oriented Specification (Abstract)

A Formal Modeling for Exceptions in Context-Aware Systems (Abstract)

A Meta-model Transformation from UML Activity Diagrams to Event-B Models (Abstract)

Author index (PDF)

[Publisher's information] (PDF)