Computer and information science 2015 : [14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) held on June 28-July 1, 2015 in Las Vegas, USA ; 16 selected papers

This edited book presents scientific results of the 14 th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 – July 1, 2015 in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. Foreword 6 Contents 9 Contributors 11 SAF: States Aware Fully Associative FTL for Multitasking Environment 14 1 Introduction 14 2 Background 15 2.1 Address Mapping Techniques 16 2.2 Merge Types and Cost Comparison 16 2.3 Previous Work 17 3 SAF 18 3.1 Handling Sequential Requests 18 3.2 Handling Random Requests 20 4 Experiments 22 5 Conclusion 23 References 24 Security Measures for Web ETL Processes 25 1 Introduction 25 2 Related Work 27 2.1 ETL Process and Security 27 2.2 Security Measurement 28 3 The Meta Model Proposed for Secure WEB ETL 28 4 Scoring Security Measure in Banking WeBhouse ETL Processes 32 4.1 Extraction Process 32 4.2 Transformation Process 35 4.3 Load Process 36 5 Conclusion 37 References 37 Automated Negotiating Agent Based on Evolutionary Stable Strategies 39 1 Introduction 39 2 Negotiation Environment in ANAC 41 2.1 Overview of ANAC 41 2.2 Negotiation Problems 41 3 Negotiation Strategy Based on Estimated Expected Utility 43 3.1 Phases of Negotiation Flow 43 3.2 The Negotiation Game and Estimated Expected Utility in FOP 45 3.3 Design of Concession Function in AOP 47 4 Experimental Analysis 48 4.1 Negotiation Problems of ANAC2014 48 4.2 Various Negotiation Problems 51 5 Related Work 52 6 Conclusion 53 References 53 Architecture for Intelligent Transportation System Based in a General Traffic Ontology 54 1 Introduction and Related Work 54 2 Ontology-Based System Architecture 56 2.1 Ontology Layer 56 2.2 Reasoning Layer 58 2.3 Query Layer 60 3 Traffic Situation Example 62 4 Conclusions 65 References 66 Optimization of Cross-Lingual LSI Training Data 67 1 Introduction 67 2 LSI Technique 68 3 Related Work 68 3.1 Quantity of Training Data 69 3.2 Relevance of Training Data 70 3.3 Local LSI Spaces 73 3.4 Summary 74 4 Rationale for Adding Training Data 74 5 Experimental Results 75 5.1 Cross-Lingual LSI 75 5.2 Experimental Data 75 5.3 Methodology 76 5.4 Training Data Relevance 77 5.5 Training Data Quantity 78 5.6 Training Data Selection Technique 79 5.7 Local LSI 80 6 Conclusion 81 References 82 Depth-First Heuristic Search for Software Model Checking 84 1 Introduction 85 2 Related Work 86 3 Current Algorithms 87 3.1 Depth-First Search 87 3.2 Nested Depth-First Search 88 3.3 Best-First Search 88 4 Proposed Algorithm 89 4.1 Cut-Off Function 89 4.2 Successor Order 90 4.3 Fairness Condition Optimization 90 5 Implementation 92 5.1 Java PathFinder 92 5.2 Enhancement of JPF 92 6 Experiment 94 6.1 Safety 94 6.2 LTL Property 102 7 Conclusion 103 References 104 A Novel Architecture for Learner's Profiles Interoperability 106 1 Introduction 106 2 General Concepts 107 3 State of the Art 108 3.1 Representation of the Exchanged Data 109 3.2 Integration of the Exchanged Data 110 3.3 Synthesis 110 4 Proposed Architecture 112 5 Experimentation 114 6 Conclusion 116 References 116 CORE: Continuous Monitoring of Reverse k Nearest Neighbors on Moving Objects in Road Networks 118 1 Introduction 118 2 Related Work 120 3 Preliminaries 121 3.1 Definition of Terms and Notations 121 3.2 Problem Description 121 4 Safe Exit Algorithm for Moving RkNN Queries and Moving Objects 123 4.1 Safe Region for Moving q 123 4.2 Computation of Safe Exit Points for UO 128 5 Performance Evaluation 130 5.1 Experimental Settings 130 5.2 Experimental Results 130 6 Conclusion 132 References 132 A Voice Dialog Editor Based on Finite State Transducer Using Composite State for Tablet Devices 134 1 Introduction 134 2 MMDAgent 135 2.1 Overview of MMDAgent 135 2.2 FST Script 136 2.3 FST Script Problems 136 3 The Proposed Method 137 3.1 Overview of the Proposal 137 3.2 Model of State Diagram Using Composite State 138 3.3 FST Template 139 3.4 Translating from Conventional Model to the Proposal Model 139 4 Prototype 142 4.1 Flow of Editing 142 4.2 Interface 142 4.3 Functions of the Prototype 143 5 Experiments and Considerations 144 5.1 Usability Experiment 144 5.2 Comparison of Sum of State of Entrance Signage 146 6 Related Systems 147 7 Conclusion 147 References 147 Analysis of Driving Behaviors Based on GMM by Using Driving Simulator with Navigation Plugin 149 1 Introduction 149 2 Driving Simulation 150 3 Original Driving Log 152 4 Clustering of Driving Log 154 5 State Transition Graph 160 6 Conclusion 163 References 163 Bin-Based Estimation of the Amount of Effort for Embedded Software Development Projects with Support Vector Machines 165 1 Introduction 166 2 Related Work 167 2.1 Support Vector Regression 167 2.2 Artificial Neural Networks 167 2.3 Our Contribution 168 3 Bin-Based Estimation Models for the Amount of Effort 168 3.1 Original Data Sets 168 3.2 Data Selection for Creating Models 168 3.3 General Architecture 170 3.4 Parameter Selection Using Cross-Validation and 3D Grid-Search 171 4 Evaluation Experiment 172 4.1 Evaluation Criteria 172 4.2 Data Used in Evaluation Experiment 172 4.3 Results and Discussion 173 5 Conclusion 175 References 176 Applying RoBuSt Method for Robustness Testing of the Non-interference Property 178 1 Introduction 178 2 The Robustness Method 180 3 Non-Interference 181 3.1 Non-interference and Security Levels 181 3.2 Non-interference in Component-Based Distributed Systems 183 3.3 Non-interference and Downgrading 184 4 Robustness Testing of Non-interferent Component-Based Distributed Systems 185 4.1 Main Issues 185 4.2 Concepts Modeling 185 5 Application to a Simple Use-Case 187 5.1 Security Configuration 187 5.2 Nominal Specification of the Use-Case 188 5.3 Increased Specification 189 5.4 Synchronous Product 191 5.5 Generation and Execution of Robustness Test Cases from the Synchronous Product 192 5.6 Verdicts 193 6 Conclusion 194 References 194 An Improved Multi-SOM Algorithm for Determining the Optimal Number of Clusters 196 1 Introduction 196 2 Clustering Methods 197 2.1 Hierarchical Methods 197 2.2 Partitioning Methods 197 2.3 Density-Based Methods 198 2.4 Neural Networks 198 3 Multi-SOM Method 199 3.1 Definition 199 3.2 Literature Review 200 3.3 The Proposed Algorithm 200 4 Clustering Evaluation Criteria 202 5 Experiments 204 5.1 Artificial Data Sets 204 5.2 Real Data Sets 204 5.3 Evaluation of Experimental Results 204 6 Conclusion 207 References 207 Conformance Testing for Timed Recursive Programs 209 1 Introduction 210 2 Background 211 2.1 Timed Automata 211 2.2 Timed Input-Output Conformance Relation tioco 212 3 Model and Conformance Relation 213 3.1 Timed Pushdown Automata with Inputs and Outputs 213 3.2 Modelling of Recursive Programs 214 4 Test Generation from TPAIO 215 4.1 Test Generation Process 215 4.2 Construction of a TPTIO from a TPAIO 216 4.3 Reachability Automaton of a TPTIO Computation 217 4.4 Generation of Correct Behaviour Test Cases 219 5 Soundness, Incompleteness and Coverage of the Method 221 5.1 Soundness 221 5.2 Incompleteness 223 5.3 Coverage 223 6 Conclusion and Further Works 224 References 224 Instruction Level Loop De-optimization 226 1 Introduction 227 2 Observation 227 3 Methodologies and Algorithms 229 4 Working Example 233 5 Experiment 236 6 Related Work 237 7 Summary 238 References 238 ETL Design Toward Social Network Opinion Analysis 240 1 Introduction 240 2 Background 241 2.1 ETL Modeling Approaches 241 2.2 Opinion Analysis Approaches 242 3 Proposed ETL Processes Modeling 244 3.1 Lexical DB Description 244 3.2 ETL Processes Design 245 3.3 Extraction Step 246 3.4 Transformation Step 247 3.5 Loading Step 251 4 Conclusion and Future Works 253 References 253 Author Index 255 Front Matter....Pages i-xiii SAF: States Aware Fully Associative FTL for Multitasking Environment....Pages 1-11 Security Measures for Web ETL Processes....Pages 13-26 Automated Negotiating Agent Based on Evolutionary Stable Strategies....Pages 27-41 Architecture for Intelligent Transportation System Based in a General Traffic Ontology....Pages 43-55 Optimization of Cross-Lingual LSI Training Data....Pages 57-73 Depth-First Heuristic Search for Software Model Checking....Pages 75-96 A Novel Architecture for Learner’s Profiles Interoperability....Pages 97-108 CORE: Continuous Monitoring of Reverse k Nearest Neighbors on Moving Objects in Road Networks....Pages 109-124 A Voice Dialog Editor Based on Finite State Transducer Using Composite State for Tablet Devices....Pages 125-139 Analysis of Driving Behaviors Based on GMM by Using Driving Simulator with Navigation Plugin....Pages 141-156 Bin-Based Estimation of the Amount of Effort for Embedded Software Development Projects with Support Vector Machines....Pages 157-169 Applying RoBuSt Method for Robustness Testing of the Non-interference Property....Pages 171-188 An Improved Multi-SOM Algorithm for Determining the Optimal Number of Clusters....Pages 189-201 Conformance Testing for Timed Recursive Programs....Pages 203-219 Instruction Level Loop De-optimization....Pages 221-234 ETL Design Toward Social Network Opinion Analysis....Pages 235-249 Back Matter....Pages 251-252 "This edited book presents scientific results of the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 - July 1, 2015 in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them"--OhioLink Library Catalog