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

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