Description |
1 online resource (xviii, 716 pages) |
Series |
Communications in computer and information science, 1865-0929 ; 257 |
|
Communications in computer and information science ; 257.
|
Contents |
Intro -- Title -- Foreword -- Preface -- Organization -- Table of Contents -- A Novel Web Pages Classification Model Based on Integrated Ontology -- Introduction -- Text Classification Model Based SUMO and WordNet Ontology Integration -- The Construction of Integrated Ontology Library -- The Mapping of Word Vector Space to Concept Vector Space -- The Generalization of Concept Vector Space -- Classification Experiment and Evaluation -- Experiment and Result Analysis -- Experiment Design -- Experimental Result Analysis -- Conclusions and Future Research Directions -- References |
|
AgentSpeak (L) Based Testing of Autonomous Agents -- Introduction -- Background -- BDI Agents -- AgentSpeak (L) -- Related Work -- Proposed Approach -- Goal/Plan Generator -- Test Path Generator -- Test Data Generator -- Conclusion and Future Directions -- References -- A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation Approaches -- Introduction -- A Flexible Methodology for FTE Performance Evaluation -- Network Model for FTE Performance Evaluation -- Data Analysis for Performance Evaluation in Terms of Fail-Over Time -- Experiment -- Conclusion |
|
Statistical Results and Analysis -- Distribution of Annual Statistics -- Statistical Distribution by the Source Papers -- Distribution Statistics by Authors -- Statistical Analysis of the Distribution -- Semantic Retrieval Research Status and Future Trends -- Semantic Retrieval Research -- Semantic Retrieval Development Trends -- Conclusion -- References -- Applying Evolutionary Approaches to Data Flow Testing at Unit Level -- Introduction -- Related Work -- Proposed Approach -- The Tool ETODF -- Experimental Results -- Conclusion and Future Work -- References |
|
Volume-Rendering of Mitochondrial Transports Using VTK -- Introduction -- Volume-Rendering -- Implementation of Volume-Rendering -- Experiment and Discussion -- References -- Model Checking of Transition-Labeled Finite-State Machines -- Introduction -- Sequential Finite-State Machines -- The Corresponding Sequential Program -- From Sequential Programs to Kripke Structures -- Building the Kripke Structure for NuSMV -- Applying Model-Checking to FSM+DPL -- The Model-Checking Case Study -- Final Remarks -- References |
Summary |
This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were carefully reviewed and selected from numerous submissions and focuse on the various aspects of advances in software engineering and its Application, disaster recovery and business continuity, education and learning |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Artificial intelligence |
|
Logics and Meanings of Programs |
|
Programming Languages, Compilers, Interpreters |
|
computerwetenschappen |
|
computer sciences |
|
computernetwerken |
|
computer networks |
|
kunstmatige intelligentie |
|
programmeertalen |
|
programming languages |
|
informatiesystemen |
|
information systems |
|
internet |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Bibliography |
Includes bibliographical references and author index |
In |
Springer eBooks |
Subject |
Software engineering -- Congresses
|
|
Business -- Data processing -- Congresses
|
|
Management information systems -- Congresses
|
|
Data recovery (Computer science) -- Congresses
|
|
Artificial intelligence.
|
|
Artificial Intelligence
|
|
Electronic Data Processing
|
|
artificial intelligence.
|
|
Informatique.
|
|
Business -- Data processing
|
|
Data recovery (Computer science)
|
|
Management information systems
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Kim, Tai-hoon.
|
|
DRBC (Conference) (2011 : Cheju Island, Korea)
|
|
EL 2011 (2011 : Cheju Island, Korea)
|
|
FGIT 2011 (Conference) (3rd : 2011 : Cheju Island, Korea)
|
|
GDC (Conference) (2011 : Cheju Island, Korea)
|
ISBN |
9783642272073 |
|
364227207X |