|
A Novel Web Pages Classification Model Based on Integrated Ontology |
|
|
1 | (10) |
|
|
|
|
|
|
|
AgentSpeak (L) Based Testing of Autonomous Agents |
|
|
11 | (10) |
|
|
|
|
|
A Flexible Methodology of Performance Evaluation for Fault-Tolerant Ethernet Implementation Approaches |
|
|
21 | (5) |
|
|
|
|
|
|
|
Behavioral Subtyping Relations for Timed Components |
|
|
26 | (10) |
|
|
|
A Quantitative Analysis of Semantic Information Retrieval Research Progress in China |
|
|
36 | (10) |
|
|
|
|
|
|
|
Applying Evolutionary Approaches to Data Flow Testing at Unit Level |
|
|
46 | (10) |
|
|
|
|
|
Volume-Rendering of Mitochondrial Transports Using VTK |
|
|
56 | (5) |
|
|
|
|
|
|
|
Model Checking of Transition-Labeled Finite-State Machines |
|
|
61 | (13) |
|
|
|
|
|
Development of Intelligent Effort Estimation Model Based on Fuzzy Logic Using Bayesian Networks |
|
|
74 | (11) |
|
|
|
|
|
|
|
A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams |
|
|
85 | (12) |
|
|
|
|
|
|
|
A UML Profile for Real Time Industrial Control Systems |
|
|
97 | (11) |
|
|
|
|
|
|
|
A Safe Regression Testing Technique for Web Services Based on WSDL Specification |
|
|
108 | (12) |
|
|
|
|
|
|
|
Evaluating Software Maintenance Effort: The COME Matrix |
|
|
120 | (17) |
|
|
|
|
|
COSMIC Functional Size Measurement Using UML Models |
|
|
137 | (10) |
|
|
|
|
|
|
|
Identifying the Crosscutting among Concerns by Methods' Calls Analysis |
|
|
147 | (12) |
|
|
|
|
|
A Pattern-Based Approach to Formal Specification Construction |
|
|
159 | (10) |
|
|
|
|
|
|
|
A Replicated Experiment with Undergraduate Students to Evaluate the Applicability of a Use Case Precedence Diagram Based Approach in Software Projects |
|
|
169 | (11) |
|
|
|
|
|
|
|
Automated Requirements Elicitation for Global Software Development (GSD) Environment |
|
|
180 | (10) |
|
|
|
|
|
|
|
|
|
|
|
Optimization of Transaction Mechanism on Java Card |
|
|
190 | (10) |
|
|
|
|
|
SOCF: Service Oriented Common Frameworks Design Pattern for Mobile Systems with UML |
|
|
200 | (12) |
|
|
|
Double Layered Genetic Algorithm for Document Clustering |
|
|
212 | (7) |
|
|
|
|
|
|
|
Multi-Objective Genetic Algorithms, NSGA-II and SPEA2, for Document Clustering |
|
|
219 | (9) |
|
|
|
|
|
|
|
Implementing a Coordination Algorithm for Parallelism on Heterogeneous Computers |
|
|
228 | (9) |
|
|
|
|
|
Efficient Loop-Extended Model Checking of Data Structure Methods |
|
|
237 | (13) |
|
|
|
|
|
|
|
The Systematic Practice of Test Design Automation |
|
|
250 | (6) |
|
|
|
Application Runtime Framework for Model-Driven Development |
|
|
256 | (9) |
|
|
|
|
|
The Fractal Prediction Model of Software Reliability Based on Wavelet |
|
|
265 | (7) |
|
|
|
|
|
|
|
Source Code Metrics and Maintainability: A Case Study |
|
|
272 | (13) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Systematic Verification of Operational Flight Program through Reverse Engineering |
|
|
285 | (7) |
|
|
|
|
|
|
|
|
|
A Study on UML Model Convergence Using Model Transformation Technique for Heterogeneous Smartphone Application |
|
|
292 | (6) |
|
|
|
|
|
|
|
A Validation Process for Real Time Transactions |
|
|
298 | (7) |
|
|
|
|
|
|
|
|
|
A Test Management System for Operational Validation |
|
|
305 | (9) |
|
|
|
|
|
|
|
|
|
Mobile Application Compatibility Test System Design for Android Fragmentation |
|
|
314 | (7) |
|
|
|
|
|
Efficient Image Identifier Composition for Image Database |
|
|
321 | (9) |
|
|
|
|
|
A Note on Two-Stage Software Testing by Two Teams |
|
|
330 | (8) |
|
|
|
|
|
Cumulative Damage Models with Replacement Last |
|
|
338 | (8) |
|
|
|
|
|
|
|
Periodic and Random Inspection Policies for Computer Systems |
|
|
346 | (8) |
|
|
|
|
|
|
|
Software Reliability Growth Modeling with Change-Point and Its Goodness-of-Fit Comparisons |
|
|
354 | (8) |
|
|
|
|
|
Replacement Policies with Interval of Dual System for System Transition |
|
|
362 | (8) |
|
|
|
|
|
Probabilistic Analysis of a System with Illegal Access |
|
|
370 | (7) |
|
|
|
|
|
Bayesian Inference for Credible Intervals of Optimal Software Release Time |
|
|
377 | (8) |
|
|
|
|
|
|
|
A Note on Replacement Policies in a Cumulative Damage Model |
|
|
385 | (7) |
|
|
|
Reliability Consideration of a Server System with Replication Buffering Relay Method for Disaster Recovery |
|
|
392 | (7) |
|
|
|
|
|
|
|
Estimating Software Reliability Using Extreme Value Distribution |
|
|
399 | (8) |
|
|
|
|
|
Program Conversion for Detecting Data Races in Concurrent Interrupt Handlers |
|
|
407 | (9) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Implementation of an Integrated Test Bed for Avionics System Development |
|
|
416 | (8) |
|
|
|
|
|
|
|
|
|
|
|
Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism |
|
|
424 | (13) |
|
|
|
|
|
A Taxonomy of Concurrency Bugs in Event-Driven Programs |
|
|
437 | (14) |
|
|
|
|
|
|
|
|
|
Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism |
|
|
451 | (10) |
|
|
|
|
|
Implementation of Display Based on Pilot Preference |
|
|
461 | (6) |
|
|
|
|
|
|
|
A Study on WSN System Integration for Real-Time Global Monitoring |
|
|
467 | (12) |
|
|
|
|
|
|
|
|
|
|
|
The Modeling Approaches of Distributed Computing Systems |
|
|
479 | (10) |
|
|
|
Event-Centric Test Case Scripting Method for SOA Execution Environment |
|
|
489 | (8) |
|
|
|
bQoS(business QoS) Parameters for SOA Quality Rating |
|
|
497 | (8) |
|
|
|
Business-Centric Test Assertion Model for SOA |
|
|
505 | (9) |
|
|
|
Application of Systemability to Software Reliability Evaluation |
|
|
514 | (8) |
|
|
|
|
|
`Surge Capacity Evaluation of an Emergency Department in Case of Mass Casualty' |
|
|
522 | (10) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Business Continuity after the 2003 Bam Earthquake in Iran |
|
|
532 | (9) |
|
|
|
|
|
Emergency-Affected Population Identification and Notification by Using Online Social Networks |
|
|
541 | (10) |
|
|
|
|
|
|
|
Development and Application of an m-Learning System That Supports Efficient Management of `Creative Activities' and Group Learning |
|
|
551 | (8) |
|
|
|
|
|
The Good and the Bad: The Effects of Excellence in the Internet and Mobile Phone Usage |
|
|
559 | (10) |
|
|
|
|
|
|
|
|
|
|
|
Trends in Social Media Application: The Potential of Google+ for Education Shown in the Example of a Bachelor's Degree Course on Marketing |
|
|
569 | (10) |
|
|
|
|
|
Learning Preferences and Self-Regulation - Design of a Learner-Directed E-Learning Model |
|
|
579 | (11) |
|
|
|
|
|
|
|
Project Based Learning in Higher Education with ICT: Designing and Tutoring Digital Design Course at M S R I T, Bangalore |
|
|
590 | (8) |
|
|
|
|
|
A Case Study on Improvement of Student Evaluation of University Teaching |
|
|
598 | (6) |
|
|
|
|
|
An Inquiry into the Learning Principles Based on the Objectives of Self-directed Learning |
|
|
604 | (9) |
|
|
|
Bioethics Curriculum Development for Nursing Students in South Korea Based on Debate as a Teaching Strategy |
|
|
613 | (9) |
|
|
|
|
|
|
|
A Case Study on SUID in Child-Care Facilities |
|
|
622 | (5) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Frames of Creativity-DESK Model; Its Application to `Education 3.0' |
|
|
627 | (16) |
|
|
|
|
|
643 | (8) |
|
|
|
University-Industry Ecosystem: Factors for Collaborative Environment |
|
|
651 | (11) |
|
|
|
|
|
Role Playing for Scholarly Articles |
|
|
662 | (13) |
|
|
|
Statistical Analysis and Prior Distributions of Significant Software Estimation Factors Based on ISBSG Release 10 |
|
|
675 | (12) |
|
|
|
|
|
|
|
|
|
|
|
Virtual FDR Based Frequency Monitoring System for Wide-Area Power Protection |
|
|
687 | (8) |
|
|
|
|
|
|
|
|
|
Engaging and Effective Asynchronous Online Discussion Forums |
|
|
695 | (11) |
|
|
|
|
|
Online Learning Environment: Taxonomy of Asynchronous Online Discussion Forums |
|
|
706 | (9) |
|
|
|
|
| Author Index |
|
715 | |
Lisainfo e-raamatute kohta