We propose a novel approach of knowledge visualization method by adopting graph-based visualization technique and incorporating Dashboard concept for higher education institutions. Two aspects are emphasized, knowledg...
详细信息
ISBN:
(纸本)1934272175
We propose a novel approach of knowledge visualization method by adopting graph-based visualization technique and incorporating Dashboard concept for higher education institutions. Two aspects are emphasized, knowledge visualization and human-machine interaction. The knowledge visualization helps users to analyze the comprehensive characteristics of the students, lecturers and subjects after the clustering process and the interaction enable domain knowledge transfer and the use of the human's perceptual capabilities, thus increases the intelligence of the system. The knowledge visualization is enhanced through the dashboard concept where it provides significant patterns of knowledge on real-world and theoretical modeling which could be called wisdom. The framework consists of the system architecture and design for higher education environment is presented in this paper.
Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobi...
详细信息
Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobile Robot (AMR) system is a class of ERT systems, hence, inherits the challenge of applying software reuse in general ERT systems. Furthermore, software reuse in AMR systems is challenged by the diversities in terms of robot physical size and shape, environmental interaction and implementation platform. Thus, it is envisioned that component-based softwareengineering will be the suitable way to promote software reuse in AMR systems with consideration to general requirements to be self-contained, platform-independent and real-time predictable. A framework for component-oriented programming for AMR software development using PECOS component model is proposed in this paper. The main features of this framework are: (1) use graphical representation for components definition and composition;(2) target C language for optimal code generation with resource-constrained micro-controller;and (3) minimal requirement for run-time support. Real-time implementation indicates that, the PECOS component model together with the proposed framework is suitable for resource constrained embedded AMR systems software development.
Requirements traceability is becoming increasingly significant element in softwareengineering. It provides critical function in the development and maintenance of a software system. From the software evolution point ...
详细信息
Nowadays in the textile industry are still used a human naked eyes to detect any kinds of defect on textile webs. The problems occurred when a human has their own limitations on different kind of perceptions in identi...
详细信息
This paper aims to obtain a baseline snapshot of Project Management processes using a two-phase questionnaire to identify both performed and nonperformed practices. The proposed questionnaire is based on the Level 2 p...
详细信息
Grid environment is dynamic and open, therefore the reputation of entities in Grid is becoming the focus of people's attention. Although, recently the study on the Grid computing is resultful, the researches of re...
详细信息
Steganography means hiding data within data. Exploiting human eye sensitivity on luminance versus chrominance, this article presents a method of hiding messages in digital images based on YUV format and its derivative...
详细信息
The Road Transport Department of Malaysia has endorsed a specification for car plates that includes the font and size of characters that must be followed by car owners. However, there are cases where this specificatio...
详细信息
Quality control in manufacturing such as food products is important to meet the user requirement. For example, it is very important to control the quality of eggs in order to ensure only the first quality of eggs are ...
详细信息
This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified a...
详细信息
This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally described as a relation on the observations in form of streams of messages flowing over its input and output channels. Untimed and timed as well as state-based, recursive, relational, equational, assumption/guarantee, and functional styles of specification are supported. Hence, ALICE is well suited for the formalization and verification of distributed systems modeled with this stream-processing paradigm.
暂无评论