|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466302603316 |
|
|
Titolo |
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI / / edited 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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXXVI, 799 p. 315 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10409 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Artificial intelligence |
Application software |
Software engineering |
Data mining |
Computers |
Computer Communication Networks |
Artificial Intelligence |
Computer and Information Systems Applications |
Software Engineering |
Data Mining and Knowledge Discovery |
Computing Milieux |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Intro -- 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. |
2.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. |
5.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. |
2.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. |
1 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. |
A Mobile-Sensor Fire Prevention System Based on the Internet of Things. |
|
|
|
|
|
|
Sommario/riassunto |
|
The 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. |
|
|
|
|
|
|
|
| |