On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology of Interactions with Intensional Quantitative Semantics -- An Object Calculus with Remote Method Invocation -- A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams -- Some Improvements of Parallel Random Projection for Finding Planted (l, d)-Motifs -- Time after Time: Notes on Delays in Spiking Neural P Systems -- A Grammar for Detecting Well-Handled 2-split, 2-join Workflow Nets without Cycles -- A Process Algebra Model of Interleukin-2 Trafficking in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving the Exact Pattern Matching Problem Constrained to Single Occurrence of Pattern P in String S Using Grover's Quantum Search Algorithm -- Design of a Scala-Based Monitoring Server for Web-Based Programming Environments -- Recognizing Historical KANA Texts Using Constraints -- PedInfoSys: An OpenMRS Based Pediatric Information System -- Correlation of Stress Inducers and Physiological Signals with Continuous Stress Annotations -- Towards the Design and Development of Anticipation-Based Event Selection Modeling for Survival Horror Games -- Sidekick Retrospect: A Self-regulation Tool for Unsupervised Learning Environments -- Extensible Network Appliance Platform (e-NAP) -- Marker-Less Gesture and Facial Expression Based Affect Modeling -- Mobile Indoor Positioning Using Wi-fi Localization and Image Processing -- Automated Vehicle Entrance Monitor Using Pattern Recognition via Haar Classifiers -- A Study on Activity Predictive Modeling for Prompt and Delayed Services in Smart Space -- Plagiarism Detection Methods by Similarity and Its Application to Source Codes of C Program.