Skip to main content
SpringerLink
Log in

Intelligent Software Methodologies, Tools and Techniques

14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Hamido Fujita

    1. Iwate Prefectural University, Takizawa, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Guido Guizzi

    1. University of Naples "Federico II", Napoli, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 532)

Included in the following conference series:

Conference proceedings info: SoMeT 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (48 papers)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Embedded and Mobile Software Systems, Theory and Application

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Towards Automated UI-Tests for Sensor-Based Mobile Applications

      • Tobias Griebe, Marc Hesenius, Volker Gruhn
      Pages 3-17

    3. Indoor Position Detection Using BLE Signals Based on Voronoi Diagram

      • Kensuke Onishi
      Pages 18-29

    4. Mobile Application Testing in Industrial Contexts: An Exploratory Multiple Case-Study

      • Samer Zein, Norsaremah Salleh, John Grundy
      Pages 30-41

    5. An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance

      • Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
      Pages 42-55

  3. Real Time Systems

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm

      • Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui, Luis Gomes
      Pages 59-72

    3. New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems

      • Aymen Gammoudi, Adel Benzina, Mohamed Khalgui, Daniel Chillet
      Pages 73-86

    4. New Solutions for Useful Execution Models of Communicating Adaptive RA2DL

      • Farid Adaili, Olfa Mosbahi, Mohamed Khalgui, Samia Bouzefrane
      Pages 87-101

  4. Requirement Engineering, High-Assurance and Testing System

    1. Front Matter

      Pages 103-103
      Download chapter PDF

    2. Architectural Specification and Analysis of the Aegis Combat System

      • Mert Ozkaya
      Pages 105-119

    3. Visualization of Checking Results for Graphical Validation Rules

      • Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller
      Pages 120-136

    4. Processor Rescue

      • Peter T. Breuer, Jonathan P. Bowen, Simon Pickin
      Pages 137-148

    5. Automatic Test Data Generation Targeting Hybrid Coverage Criteria

      • Ahmed El-Serafy, Cherif Salama, Ayman Wahba
      Pages 149-160

    6. Optimization of Generated Test Data for MC/DC

      • Ghada El-Sayed, Cherif Salama, Ayman Wahba
      Pages 161-172

  5. Social Networks and Big Data

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Hybridized Feature Set for Accurate Arabic Dark Web Pages Classification

      • Thabit Sabbah, Ali Selamat
      Pages 175-189

    3. Accelerating Keyword Search for Big RDF Web Data on Many-Core Systems

      • Chidchanok Choksuchat, Chantana Chantrapornchai, Michael Haidl, Sergei Gorlatch
      Pages 190-202

    4. Finding Target Users Interested in Regional Areas Using Online Advertising and Social Network Services

      • Jun Sasaki, Shizune Takahashi, Li Shuang, Issei Komatsu, Keizo Yamada, Masanori Takagi
      Pages 203-215
Back to top

Other volumes

  1. Intelligent Software Methodologies, Tools and Techniques

Keywords

About this book

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.

Editors and Affiliations

  • Iwate Prefectural University, Takizawa, Japan

    Hamido Fujita

  • University of Naples "Federico II", Napoli, Italy

    Guido Guizzi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation