LEADER 13748nam 22009135 450 001 996466302603316 005 20230222133603.0 010 $a3-319-62407-5 024 7 $a10.1007/978-3-319-62407-5 035 $a(CKB)4340000000061627 035 $a(DE-He213)978-3-319-62407-5 035 $a(MiAaPQ)EBC6285312 035 $a(MiAaPQ)EBC5578235 035 $a(Au-PeEL)EBL5578235 035 $a(OCoLC)994219645 035 $a(PPN)203668766 035 $a(EXLCZ)994340000000061627 100 $a20170714d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational Science and Its Applications ? ICCSA 2017$b[electronic resource] $e17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI /$fedited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XXXVI, 799 p. 315 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10409 311 $a3-319-62406-7 327 $aIntro -- Preface -- Welcome to Trieste -- Organization -- Contents - Part VI -- Workshop on Software Engineering Processes and Applications (SEPA 2017) -- MC-DMN: Meeting MCDM with DMN Involving Multi-criteria Decision-Making in Business Process -- 1 Introduction -- 2 Decision-Making in Business Process: Related Works -- 2.1 The BPMN Standard -- 2.2 The DMN Standard -- 2.3 DMN Limitations Relative to Criteria Preference -- 3 Multi-criteria Decision-Making -- 3.1 MCDM Methods -- 3.2 TOPSIS -- 4 DMN Under Multi-criteria Analysis -- 4.1 Analogy Between DMN Decision Table and TOPSIS Data Matrix -- 4.2 MC-DMN -- 4.3 MC-DMN Applying Example for ETL Software Selection -- 5 Conclusion and Future Works -- References -- Context Sensitive Query Correction Method for Query-Based Text Summarization -- 1 Introduction -- 2 Literature Survey -- 3 Overview of the Proposed Method: CSQ -- 3.1 Proposed Framework -- 3.2 Description of Proposed Method (CSQ) -- 3.3 Example Computation -- 4 Experimental Results and Discussion -- 4.1 Comparison of CSQ Method with Real-Word Spell Checkers -- 4.2 Comparison of CSQ Method with Non-word Spell Checkers -- 5 Conclusion -- References -- Ontological Controlling the Lexical Items in Conceptual Solution of Project Tasks -- Abstract -- 1 Introduction -- 2 Preliminary Bases -- 2.1 Conceptual Solution of the Task -- 2.2 Project Ontology -- 3 Related Works -- 4 Toolset for Creating a Project Ontology -- 4.1 Basic Workflows -- 4.2 Agent B. Filtering Out Stop Words -- 4.3 Agent D. Fetching Out the Ambiance -- 4.4 Programmed Access to the Ontology -- 5 Understanding of Textual Increments and Their Combinations -- 6 Example of Applying for the Ontological Support -- 7 Conclusion -- Acknowledgement -- References -- IoT-Based Healthcare Applications: A Review -- 1 Introduction -- 2 Method -- 2.1 Research Questions -- 2.2 Search Process. 327 $a2.3 Inclusion and Exclusion Criteria -- 2.4 Quality Assessment -- 2.5 Data Collection -- 3 Results -- 3.1 Search Results -- 3.2 Overview of Studies -- 3.3 Quality Evaluation Results -- 4 Discussion -- 4.1 What are the Main Characteristics of Healthcare Applications Based on IoT Infrastructure? -- 4.2 What are the Patterns and Protocols Used in Healthcare Applications Based on IoT Infrastructure? -- 4.3 What are the Challenges and Opportunities Related to Healthcare Applications Based on IoT Infrastructure? -- 4.4 Limitations of This Review -- 5 Conclusion and Future Works -- References -- Fast Semi-blind Color Image Watermarking Scheme Using DWT and Extreme Learning Machine -- 1 Introduction -- 2 Research Contribution and Motivation -- 3 Extreme Learning Machine -- 4 Experimental Details -- 4.1 Watermark Embedding Algorithm -- 4.2 Watermark Extraction Algorithm -- 5 Results and Discussion -- 5.1 Embedding and Extraction -- 5.2 Executing Image Processing Attacks -- 6 Conclusions -- References -- Quality Enhancement of Location Based Services Through Real Time Context Aware Obfuscation Using Crowd Sourcing -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Problem Definition -- 3 Overall System Design -- 3.1 Mobile Client with Web Interface -- 3.2 Middleware -- 3.3 Location Service Provider (LSP)/Location Server -- 4 Implementation and Experiments -- 5 Statistical Establishment of the System -- 6 Conclusions and Future Directions -- References -- A Model-Based Testing Method for Dynamic Aspect-Oriented Software -- 1 Introduction -- 2 Dynamic AOP and Model-Based Testing -- 3 Related Works -- 4 The MESOADI Method -- 4.1 Case Study: An Intelligent Transportation System -- 4.2 Dynamic Combined Reacheability Tree -- 4.3 A New Strategy to Derive Test Sequences -- RTPMESOADI -- 5 Results and Discussion -- 5.1 Timed Automata and Model-Checker. 327 $a5.2 Effectiveness Level of the Generated Test Cases -- 6 Conclusion and Future Work -- References -- The Impacts of Using SNSs on e-WOM and Knowledge Sharing Through Social Capital: An Empirical Study in Vietnam -- Abstract -- 1 Introduction -- 2 Definitions -- 2.1 Web 2.0 -- 2.2 Social Network Sites -- 2.3 Social Capital -- 2.4 e-WOM -- 2.5 Knowledge -- 2.6 Knowledge Management -- 2.7 Knowledge Sharing -- 3 Research Model -- 4 Research Process -- 4.1 Measurement Scales -- 4.2 Sample Size and Breakdown -- 4.3 Data Analysis Methods -- 5 Analysis Results -- 5.1 Sample Description -- 5.2 Preliminary Assessment of Measurement Scales -- 5.3 Exploratory Factor Analysis -- 5.4 Final Assessment of Measurement Scales Using CFA -- 5.5 Test Model and Hypothesis Using SEM -- 6 Discussion -- 6.1 For Vietnamese Businesses -- 6.2 For the Vietnamese Government -- 6.3 For Vietnamese Providers of Social Networking Services -- 7 Conclusion and Future Research -- References -- An Experiment to Evaluate Software Development Teams by Using Object-Oriented Metrics -- 1 Introduction -- 2 Related Works -- 3 Metrics for Object-Oriented Design -- 3.1 CK Metrics -- 3.2 MOOD Metrics -- 4 Methodology -- 5 Reference Values -- 5.1 CK Metrics -- 5.2 MOOD Metrics -- 6 Experiment Definition and Planning -- 6.1 Goal Definition -- 6.2 Planning -- 7 Operation of the Experiment -- 7.1 Preparation and Execution -- 7.2 Data Validation -- 8 Results -- 8.1 Data Collected from Participating Companies -- 8.2 Data Collected on Undergraduate Students -- 8.3 Metrics Results -- 8.4 Data Analysis and Interpretation -- 9 Software Metrics vs. Development Team -- 10 Conclusion and Future Works -- References -- An Event-Based Technique to Trace Requirements Modeled with SysML -- 1 Introduction -- 2 Background and Literature Survey -- 2.1 Event Based Traceability -- 2.2 Communication with Stakeholders. 327 $a2.3 SysML -- 3 Criteria for Traceability Requirements Tool -- 4 A Proposed Approach for Requirements Tracing with Supporting Tool -- 5 Evaluation of the Tool with TAM (Technology Acceptance Model) -- 6 Results -- 6.1 Responses to TAM Questionnaire -- 6.2 Interviews -- 7 Threats to Validity -- 8 Conclusion -- References -- Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems -- 1 Introduction -- 2 Visual Programing Languages: Required Features -- 3 The PCDVT Methodology -- 3.1 MC/DC Analysis and Derivation of LTL Properties -- 3.2 Model Checking -- 3.3 Minimization -- 4 Brazilian Satellite AOCS Model -- 4.1 Operation Modes -- 5 Experimental Assessment -- 6 Related Work -- 7 Conclusions -- References -- A System Based on Intelligent Documents -- 1 Introduction -- 2 Material Control System -- 2.1 Aims of the Project -- 2.2 Basic Critical System Requirements -- 2.3 Autonomy of ERP and Requisitions Systems -- 3 Related Work -- 4 Summary of Analysis of Non-digitalized Material Demand Management Processes -- 4.1 Crucial Decisions -- 4.2 RqS and ERP Can Be Used Like a Pair of Autonomous Services in SOA -- 5 Architecture of Digitalized Requisitions -- 6 Implementation of the System Based on Use Cases -- 6.1 Advantages for Users -- 6.2 Implementation Issues -- 7 Experience with System Implementation and Deployment -- 8 Current State of the Project -- 9 Open Questions for Further Research -- 10 Conclusions -- References -- Proposing an IoT-Based Healthcare Platform to Integrate Patients, Physicians and Ambulance Services -- 1 Introduction -- 2 Related Works -- 3 The Solution's Architecture -- 4 An IoT-Based Healthcare Platform -- 4.1 Design Issues and Requirements -- 4.2 Modules Overview -- 5 Conclusion and Future Works -- References -- A Systematic Literature Review on Microservices -- Abstract. 327 $a1 Introduction -- 2 Method -- 2.1 Research Questions -- 2.2 Search Sampling -- 2.3 Search Iteration -- 3 Screening the Papers -- 4 Keywording -- 4.1 Service Models in Cloud Computing -- 4.2 Operational Areas -- 4.3 Research Types -- 4.4 Emerging Standards and Tools -- 5 Data Extraction and Mapping -- 6 Conclusions and Future Work -- References -- Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments -- 1 Introduction -- 2 Activities and Fragments Logic for States Transitions -- 2.1 Assertion Syntax and Semantics -- 2.2 Android Procedures Inference Rules -- 2.3 Activities Inference Rules -- 2.4 Fragments Inference Rules -- 3 Related and Future Work -- References -- Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs -- 1 Introduction -- 2 Posting Graphs -- 3 Finding the Nonterminating Executions Using Posting Graphs -- 4 Related Work -- 5 Conclusion -- References -- Software Analytics for Web Usability: A Systematic Mapping -- 1 Introduction -- 2 Background -- 2.1 Software Analytics -- 2.2 Usability -- 3 Research Method -- 3.1 Systematic Mapping -- 3.2 Research Questions -- 3.3 Search Strategy -- 3.4 Screening of Papers -- 4 Results -- 4.1 Publications Distribution Over Time (RQ1) -- 4.2 Research Classification (RQ2) -- 4.3 Research Focus (RQ3) -- 4.4 Means for Capturing (RQ4) -- 4.5 Visualization of User Interaction (RQ5) -- 4.6 Mapping Means of Capture and Types of Visualization (RQ6) -- 5 Final Remarks and Limitations -- References -- Representing Contexual Relations with Sanskrit Word Embeddings -- 1 Introduction -- 2 Related Work -- 3 Proposed Framework -- 3.1 Data Pre-processing -- 3.2 Word Embeddings -- 3.3 Visualization -- 4 Experiments -- 5 Results -- 5.1 Similarity -- 5.2 Compositionality -- 5.3 Visualizing Distributed Projections -- 6 Conclusion -- References. 327 $aA Mobile-Sensor Fire Prevention System Based on the Internet of Things. 330 $aThe six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10409 606 $aComputer networks 606 $aArtificial intelligence 606 $aApplication software 606 $aSoftware engineering 606 $aData mining 606 $aComputers 606 $aComputer Communication Networks 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aSoftware Engineering 606 $aData Mining and Knowledge Discovery 606 $aComputing Milieux 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aSoftware engineering. 615 0$aData mining. 615 0$aComputers. 615 14$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aSoftware Engineering. 615 24$aData Mining and Knowledge Discovery. 615 24$aComputing Milieux. 676 $a004 702 $aGervasi$b Osvaldo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMurgante$b Beniamino$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMisra$b Sanjay$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBorruso$b Giuseppe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTorre$b Carmelo M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRocha$b Ana Maria A.C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTaniar$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aApduhan$b Bernady O$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStankova$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCuzzocrea$b Alfredo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466302603316 996 $aComputational Science and Its Applications ? ICCSA 2017$92597976 997 $aUNISA