The objective of this paper is to present a feasible and efficient methodology that improves client mobility management under ubiquitous information service network. We base our system on the Open Integrated Service Network Architecture... more
The objective of this paper is to present a feasible and efficient methodology that improves client mobility management under ubiquitous information service network. We base our system on the Open Integrated Service Network Architecture and propose a hybrid infrastructure with facilities of both a centralized Network Management Center (NMC) and a distributed Home Base Node (HEN). We also have criteria
Research Interests:
Research Interests:
Research Interests:
Research Interests:
In wireless mesh networks, each node should help to relay packets of neighboring nodes toward gateway using multi-hop routing mechanism. Wireless mesh networks usually intensively deploy mesh nodes to cope with the problem of dead spot... more
In wireless mesh networks, each node should help to relay packets of neighboring nodes toward gateway using multi-hop routing mechanism. Wireless mesh networks usually intensively deploy mesh nodes to cope with the problem of dead spot communication. However, the higher density of nodes deployed the higher radio interference occurred. And, this causes significant degradation of system performance. In this paper,
Research Interests:
Wideband code division multiple access (WCDMA) uses orthogonal variable spreading factor (OVSF) codes to support diversified data transmission rates and quality of service (QoS). In this paper, we propose a OVSF code based framework to... more
Wideband code division multiple access (WCDMA) uses orthogonal variable spreading factor (OVSF) codes to support diversified data transmission rates and quality of service (QoS). In this paper, we propose a OVSF code based framework to support QoS for WCDMA. This framework is based on several effective mechanisms of traffic classification, service group selection, OVSF code allocation and dynamic code reallocation.
Research Interests:
In this paper, we propose a knowledge-based analyzer of a formal requirements specification language RT-FRORL for requirements specification analysis. The RT-FRORL analyzer is based on an underlying verification framework and associated... more
In this paper, we propose a knowledge-based analyzer of a formal requirements specification language RT-FRORL for requirements specification analysis. The RT-FRORL analyzer is based on an underlying verification framework and associated verification methodologies. The framework originates from an integration of rapid prototyping, operational specification, and transformational implementation. The verification methodologies consist of a combination of resolution refutation, anomaly detection matrix,
Research Interests:
We propose a knowledge-based framework of specification verification of real-time systems. In this framework, we present RT-FRORL as a formal requirements specification language which exploits knowledge representation techniques as an aid... more
We propose a knowledge-based framework of specification verification of real-time systems. In this framework, we present RT-FRORL as a formal requirements specification language which exploits knowledge representation techniques as an aid in the specification, analysis and development of KBSs for real-time systems. RT-FRORL uses a combination of resolution refutation, anomaly detection matrix, and graph theory methods to verify a number
Research Interests:
In recent years the research on Vehicular Ad Hoc Network (VANET) has been paid much attention due to the development of wireless network becoming mature, people think highly of traffic safety issue, the popularity of Global Positioning... more
In recent years the research on Vehicular Ad Hoc Network (VANET) has been paid much attention due to the development of wireless network becoming mature, people think highly of traffic safety issue, the popularity of Global Positioning System (GPS), promising applications of VANET being exploited. However, VANET has the essential property of rapid change of large scale network topology. Besides,
Research Interests: Vehicle Dynamics, Wireless networks, Global Positioning System, Safety, Wireless Network, and 14 moreAd Hoc Networks, Traffic Safety, Dynamic Software Adaptation, Time Delay, MAC Layer, Vanet, Throughput, Interference, Vehicular ad hoc network, Network Topology, Contention Window Size, Congestion in Optical Network, Large Scale, and Global position ing system
Research Interests:
Research Interests:
In a Mobile Ad Hoc Network (MANET), mobile nodes may rapid change their positions and thus not only change the network topology but also may cause routing path disconnections frequently. Those routing protocols of on-demand would use... more
In a Mobile Ad Hoc Network (MANET), mobile nodes may rapid change their positions and thus not only change the network topology but also may cause routing path disconnections frequently. Those routing protocols of on-demand would use flooding to broadcast RREQ (Route Request) messages to establish transmission route. However, flooding may cause broadcast storm and impair network performance severely. In
Research Interests:
Design of a routing protocol of vehicle to vehicle (V2V) is a critical issue for VANET due to dynamic change of traffic road environments. Among all the proposed solutions, there is no a single solution which is applicable to all kinds of... more
Design of a routing protocol of vehicle to vehicle (V2V) is a critical issue for VANET due to dynamic change of traffic road environments. Among all the proposed solutions, there is no a single solution which is applicable to all kinds of road environments. In this paper, we propose a hybrid architecture with cross-layer design to provide alternative routing protocols
Research Interests:
Research Interests:
Over the past decade, wireless network access and video streaming services have become more popular than ever. However, IEEE 802.11 DCF and IEEE 802.11e EDCA are not specifically designed for video streaming. This leads to the problem of... more
Over the past decade, wireless network access and video streaming services have become more popular than ever. However, IEEE 802.11 DCF and IEEE 802.11e EDCA are not specifically designed for video streaming. This leads to the problem of transmitting overdue video packets and thus degrades both network performance and video quality. In this paper, we propose a hybrid design framework
Research Interests:
Since the batteries in a wireless sensor networks cannot be replaced, efficient power management becomes an important research issue. If we can largely reduce the overlaps among detection ranges and decrease the amount of duplicate data... more
Since the batteries in a wireless sensor networks cannot be replaced, efficient power management becomes an important research issue. If we can largely reduce the overlaps among detection ranges and decrease the amount of duplicate data then we can save energy more efficiently. Meguerdichian et al. exploit the coverage problems in wireless ad-hoc sensor networks in terms of Voronoi diagram
Research Interests:
... Simulation results show that CCARQ is very suitable for those areas of high vehicle density and high vehicle speeds variation. ... [7] Feliz Kristianto Karnadi, Zhi Hai Mo, Kun-chan Lan, Rapid Generation of Realistic Mobility Models... more
... Simulation results show that CCARQ is very suitable for those areas of high vehicle density and high vehicle speeds variation. ... [7] Feliz Kristianto Karnadi, Zhi Hai Mo, Kun-chan Lan, Rapid Generation of Realistic Mobility Models for VANET, WCNC 2007. ...
Research Interests:
... Simulation results show that CCARQ is very suitable for those cases of high vehicle density and high ve-hicle speed variation. ... net/, retrieved Jun. 2010. 13. Karnadi, FK, Mo, ZH, & Lan, KC (2007). Rapid generation of realistic... more
... Simulation results show that CCARQ is very suitable for those cases of high vehicle density and high ve-hicle speed variation. ... net/, retrieved Jun. 2010. 13. Karnadi, FK, Mo, ZH, & Lan, KC (2007). Rapid generation of realistic mobility models for VANET. ...
Research Interests:
Research Interests:
... Networks Jang, Hung-Chin Lee, Hon-Chung Huang, Jun-Xiang ... We compare our method with Direct Communication (DC) and Low Energy Adaptive Clustering Hierarchy (LEACH) [3] in terms of network lifetime and collected data volumes. Fig. ...
Research Interests:
In this paper, we propose a Voronoi detection range adjustment method that utilizes distributed Voronoi diagram to delimit the area of responsibility for each sensor. We then use genetic algorithm to optimize the most suitable detection... more
In this paper, we propose a Voronoi detection range adjustment method that utilizes distributed Voronoi diagram to delimit the area of responsibility for each sensor. We then use genetic algorithm to optimize the most suitable detection range for each sensor. Simulations show that VERA outperforms maximum detection range, K-covered [Huang and Tseng, 2003], and greedy [Cardei et al., 2006] methods
Research Interests:
... of desiderata in order to be effective in supporting the new software engineering paradigms. Earlyrequirement specification schemes, just as early arti-ficial intelligence systems, relied on a full first-order predicate logic as the... more
... of desiderata in order to be effective in supporting the new software engineering paradigms. Earlyrequirement specification schemes, just as early arti-ficial intelligence systems, relied on a full first-order predicate logic as the language for representing domain knowledge. ...
Research Interests: Information Systems, Software Engineering, Object Oriented Programming, Logic, Software Maintenance, and 28 moreProduction, Syntax, Software Development, Knowledge Representation, Prototyping, Programming, Computer Software, Production Systems, Formal Logic, Formal Specification, Reusability, Life Cycle, Machinery, Software Requirement Specification, Spectrum, Multiple Inheritance, Prototypes, Software Development in Agile Environment, Software Systems, Production System, Software System, Nonmonotonic Logic, Production Rule, Semantic Interpretation, Completeness, Object Oriented, Horn Clauses, and SOUNDNESS
Packets transmission over VANET is intermittent due to rapid change of network topology. This comes from both high mobility of mobile nodes and limitation of roads. Intermittent transmission causes inefficient packet delivery. Those... more
Packets transmission over VANET is intermittent due to rapid change of network topology. This comes from both high mobility of mobile nodes and limitation of roads. Intermittent transmission causes inefficient packet delivery. Those routing protocols applicable to MANET might not be suitable for VANET. In this paper, we propose a Moving Direction Based Greedy (MDBG) routing algorithm for VANET that