Intelligent Software Methodologies, Tools and Techniques: 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

✍ Scribed by Hamido Fujita, Guido Guizzi (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 639
• Series: Communications in Computer and Information Science 532
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015.

The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.

✦ Table of Contents

Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Towards Automated UI-Tests for Sensor-Based Mobile Applications....Pages 3-17
Indoor Position Detection Using BLE Signals Based on Voronoi Diagram....Pages 18-29
Mobile Application Testing in Industrial Contexts: An Exploratory Multiple Case-Study....Pages 30-41
An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance....Pages 42-55
Front Matter....Pages 57-57
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm....Pages 59-72
New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems....Pages 73-86
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL....Pages 87-101
Front Matter....Pages 103-103
Architectural Specification and Analysis of the Aegis Combat System....Pages 105-119
Visualization of Checking Results for Graphical Validation Rules....Pages 120-136
Processor Rescue....Pages 137-148
Automatic Test Data Generation Targeting Hybrid Coverage Criteria....Pages 149-160
Optimization of Generated Test Data for MC/DC....Pages 161-172
Front Matter....Pages 173-173
Hybridized Feature Set for Accurate Arabic Dark Web Pages Classification....Pages 175-189
Accelerating Keyword Search for Big RDF Web Data on Many-Core Systems....Pages 190-202
Finding Target Users Interested in Regional Areas Using Online Advertising and Social Network Services....Pages 203-215
Semi-automatic Detection of Sentiment Hashtags in Social Networks....Pages 216-224
Front Matter....Pages 225-225
Ontology-Based Technology for Development of Intelligent Scientific Internet Resources....Pages 227-241
A Science Mapping Analysis of the Literature on Software Product Lines....Pages 242-251
Asymmetry Theory and Asymmetry Based Parsing....Pages 252-268
Reuse of Rules in a Mapping-Based Integration Tool....Pages 269-281
Front Matter....Pages 283-283
An Arbitrary Heuristic Room Matching Algorithm in Obtaining an Enhanced Initial Seed for the University Course Timetabling Problem....Pages 285-295
Evaluating Extant Uranium: Linguistic Reasoning by Fuzzy Artificial Neural Networks....Pages 296-307
A Method for Class Noise Detection Based on K-means and SVM Algorithms....Pages 308-318
GDM-VieweR: A New Tool in R to Visualize the Evolution of Fuzzy Consensus Processes....Pages 319-332
Swarm Intelligence in Evacuation Problems: A Review....Pages 333-340
A Framework for a Decision Tree Learning Algorithm with Rough Set Theory....Pages 341-352
Front Matter....Pages 353-353
Description and Implementation of Business Logic for End-User-Initiative Development....Pages 355-366
Combining of Kanban and Scrum Means with Programmable Queues in Designing of Software Intensive Systems....Pages 367-377
Efficient Supply Chain Management via Federation-Based Integration of Legacy ERP Systems....Pages 378-387
BizDevOps: Because DevOps is Not the End of the Story....Pages 388-398
Modeling Tools for Social Coding....Pages 399-410
Front Matter....Pages 411-411
A Change Impact Analysis Tool: Integration Between Static and Dynamic Analysis Techniques....Pages 413-424
On the Probabilistic Verification of Time Constrained SysML State Machines....Pages 425-441
HMAC Authentication Mechanisms in a Grid Computing Environment Using Gridsim Toolkit....Pages 442-452
Hermes: A Targeted Fuzz Testing Framework....Pages 453-468
New Middleware for Secured Reconfigurable Real-Time Systems....Pages 469-483
Front Matter....Pages 485-485
Real-Time Light Shaft Generation for Indoor Rendering....Pages 487-495
Motif Correlogram for Texture Image Retrieval....Pages 496-505
Face Recognition Under Bad Illumination Conditions....Pages 506-516
A Prototype for Anomaly Detection in Video Surveillance Context....Pages 517-528
Front Matter....Pages 485-485
A Facial Expression Recognition with Automatic Segmentation of Face Regions....Pages 529-540
Automatic Estimation of Illumination Features for Indoor Photorealistic Rendering in Augmented Reality....Pages 541-554
Improving the Efficiency of a Hospital ED According to Lean Management Principles Through System Dynamics and Discrete Event Simulation Combined with Quantitative Methods....Pages 555-572
Front Matter....Pages 573-573
Robust Psychiatric Decision Support Using Surrogate Numbers....Pages 575-585
Supporting Active and Healthy Ageing by Exploiting a Telepresence Robot and Personalized Delivery of Information....Pages 586-597
A Conceptual Model of Human Behaviour in Socio-technical Systems....Pages 598-609
A System Dynamics Model for Bed Management Strategy in Health Care Units....Pages 610-622
A Simulation Approach for Agile Production Logic Implementation in a Hospital Emergency Unit....Pages 623-634
Back Matter....Pages 635-636

✦ Subjects

Information Systems Applications (incl. Internet); Computer Applications; Software Engineering; Artificial Intelligence (incl. Robotics); User Interfaces and Human Computer Interaction