Search For:

Displaying 1-37 out of 37 total
QoS-Driven Service Composition with Reconfigurable Services
Found in: IEEE Transactions on Services Computing
By Hui Ma,Favyen Bastani,I-Ling Yen,Hong Mei
Issue Date:January 2013
pp. 20-34
Service-oriented architecture provides a framework for achieving rapid system composition and deployment. To satisfy different system QoS requirements, it is possible to select an appropriate set of concrete services and compose them to achieve the QoS goa...
The Cloud Computing Applications in Information Resource Dynamic Allocation
Found in: 2012 15th International Conference on Network-Based Information Systems (NBiS)
By Hui Ma,Yue Qiu
Issue Date:September 2012
pp. 14-17
To achieve the low carbon goal, it is important to measure and control carbon emission. To reduce carbon emissions, improve data center energy efficiency has become of interest to everyone. We do modeling study on the level of resources and carbon emission...
A Simple and Effective Algorithm for Sinusoidal Frequency Estimation
Found in: Computer Distributed Control and Intelligent Environmental Monitoring, International Conference on
By Wu Chao,Zheng Yi,Wang Jun-cheng,Liu Hui,Ma Qing-feng
Issue Date:March 2012
pp. 70-73
Frequency estimation plays a very important position in underwater noise monitoring. The estimation method based on complex modulation (ZOOMFFT) can estimate the frequency with a sufficiently specified high sampling frequency within a narrow-band frequency...
Wiki's Aplication in the Educational Technology Training for University Teachers
Found in: Information Technology, Computer Engineering and Management Sciences, International Conference of
By Miao Wei,Zhongmei Zheng,Hui Ma
Issue Date:September 2011
pp. 42-45
In current educational technology training for university teachers, theory being separated with practice, curriculum lacking certain pertinence, ways of evaluation being single and other such problems are prevalent. In order to solve these problems, this p...
The Design of Personal Knowledge Management System Based on Web2.0
Found in: Information Technology, Computer Engineering and Management Sciences, International Conference of
By Hui Ma,Feng Wang,Fei Ye
Issue Date:September 2011
pp. 336-339
This paper starts from the basic concept and idea of Web2.0, and briefly describes the origin, content, meaning of personal knowledge management, and the shortcomings of the representative tools-Blog, Wiki, RSS, then it carries out a personal knowledge man...
The Applied Research of Cloud Computing in the Construction of Collaborative Learning Platform Under E-Learning Environment
Found in: System Science, Engineering Design and Manufacturing Informatization, International Conference on
By Hui Ma, Zhongmei Zheng, Fei Ye, Sanhong Tong
Issue Date:November 2010
pp. 190-192
With the popularity of e-learning, to construct a perfect e-learning environment has become a popular research topic in the field of modern distance education. Cloud computing is a new computing model which is based on the grid computing, it is the core te...
A Research on Process Pattern of Technology Innovation Coordination within the Aviation Industry Cluster
Found in: International Conference on Information Management, Innovation Management and Industrial Engineering
By Li Hui, Ma Xing-bin, Li Xiao-ge
Issue Date:November 2010
pp. 337-340
Due to factors of change of policy, industrial development and transfer, technological and social progress, regional environment, resources supplies and market competition, evolution of aviation industry cluster appears life cycle. The process can be divid...
Frame Synchronization Algorithm in Energy-Efficient Data Transmission System
Found in: Information Technology and Applications, International Forum on
By Wang Haishan, Jiao Hui, Ma Cheng, Jia Huibo
Issue Date:July 2010
pp. 320-324
Base on energy-efficient filed data transmission system and 8b10b modulation code, this paper discusses a hard correlation frame sync algorithm. This algorithm can get the performance similar to maximum likelihood algorithm, and has advantages in energy, c...
On the 3G-Based E-Government Technology and Its Legal Risk Prevention
Found in: International Conference on E-Business and E-Government
By Chang Hui,Ma Zhaojing,Cai Xiaojun,Yao Hua
Issue Date:May 2010
pp. 539-542
As the Chinese informationization has marched into the 3G (Third Generation Mobile Telephony)era, 3G-Based mobile government information system will guide the way of the development of E-government. Based on the analysis of the existing technology of China...
Empirically Analyzing the Necessity of EICMM Ranking by Clustering
Found in: Computational Sciences and Optimization, International Joint Conference on
By Hui Ma, Yiping Yang, Yan Zhu, Mingxia Zhao
Issue Date:May 2010
pp. 219-224
In this paper, the necessity of ranking of the enterprise’s informatization capacity maturity is researched on the basis of EICMM (Enterprise Informatization Capacity Maturity Model). Based on the EICMM, we adopt the proper method (Cluster Analytical Metho...
The Measurement Model for Enterprise Informationization Capability Maturity
Found in: Computational Sciences and Optimization, International Joint Conference on
By Yiping Yang, Hui Ma, Li Dai, Eli Zhang
Issue Date:May 2010
pp. 197-202
As a dynamic development process, informationization involves a development process from immaturity to maturity and from imperfection to perfection. Constant improvement of the informationization process is a must to make the final achievement. This paper,...
Research on Enterprise Informatization Evaluation System
Found in: Machine Vision and Human-machine Interface, International Conference on
By Yiping Yang, Hui Ma, Zhuang Wu
Issue Date:April 2010
pp. 464-467
In this paper, from a strategic point of view of enterprise informatization, EICMM (Enterprise Informatization Capacity Maturity Model) system and the model system of its impact factors are put forward, the multi-index enterprise informatization evaluation...
Study on Parametric Modeling Based on Visual Optimization Design of Mechanical Product
Found in: Intelligent Computation Technology and Automation, International Conference on
By Wei Sun, Hui Ma, Chaofeng Li, Bangchun Wen
Issue Date:October 2009
pp. 275-278
Visual optimization design (VOD) is a sort of modern design method based three-dimensional model and modeling speed impacts the research efficiency of VOD directly. The technology of parametric modeling can build model rapidly by parameter drive, so it can...
Feature Analysis of Oil-Film Instability Fault Based on Time-Frequency Methods in Rotor Systems
Found in: Intelligent Computation Technology and Automation, International Conference on
By Hui Ma, Wei Sun, Zhaohui Ren, Bangchun Wen
Issue Date:October 2009
pp. 541-544
Aiming at oil-film instability fault often occurring in the project, fault simulation experiment was simulated by using a rotor test rig, and vibration signals of two groups were collected by adjusting thickness of disc and shaft length. Fault features wer...
Analysis the Properties of TLS Based on Temporal Logic of Knowledge
Found in: Information Assurance and Security, International Symposium on
By Lv Chao, Li Hui, Ma Jianfeng
Issue Date:August 2009
pp. 19-22
Temporal logics of knowledge are useful for reasoning about situations where we require both dynamic aspects and informational aspects relating to knowledge. So, the application of temporal logics of knowledge is investigated to the specification and verif...
Web-Based Distributed Certification System of Green Food
Found in: Environmental Science and Information Application Technology, International Conference on
By Wang Qiang, Yu Hua, Zhang Hui, Ma Xinming
Issue Date:July 2009
pp. 494-496
The National Green Food certification is an important measure of food safety. Green Food certification system simplifies the whole certification process, improves the efficiency, and provides an easy access to data query based on Web GIS. And this system i...
Implementing Supervisory Mechanism in Software Engineering
Found in: Computational Sciences and Optimization, International Joint Conference on
By Hui Ma, Nannan Hao, Yiping Yang
Issue Date:April 2009
pp. 987-990
Supervisory mechanism as a complementation to internal quality of software projects is an objective demand in the development of software industry. This paper discusses the significance of introducing supervisory mechanism into software industry. An experi...
QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems
Found in: Computer
By I-Ling Yen, Hui Ma, Farokh B. Bastani, Hong Mei
Issue Date:August 2008
pp. 48-55
A service-oriented architecture (SOA) is an ideal vehicle for achieving reconfigurable systems that can select and compose services statically or dynamically to satisfy changing system requirements. The authors have developed a rule-based parameterization ...
Placement in Dependable and Secure Peer-to-Peer Data Grids
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Manghui Tu, Liangliang Xiao, Hui Ma, I-Ling Yen, Farokh Bastani
Issue Date:November 2007
pp. 133-140
In this paper, we consider combining replication and data partitioning schemes to assure data availability, confidentiality, and timely accesses for data grid applications. Data objects are partitioned into shares and shares and dispersed. The shares may b...
The MCMC Approach for Solving the Pareto/NBD Model and Possible Extensions
Found in: International Conference on Natural Computation
By Shao-Hui Ma, Jin-Lan Liu
Issue Date:August 2007
pp. 505-512
Though the Pareto/NBD (developed by Schmittlein et al. 1987) is a powerful model for customer base analysis, it is difficult to implement especially in terms of parameter estimation. In this paper, the authors propose a MCMC algorithm for model estimation,...
On the Customization of Components: A Rule-Based Approach
Found in: IEEE Transactions on Knowledge and Data Engineering
By Jia Zhou, Kendra Cooper, Hui Ma, I-Ling Yen
Issue Date:September 2007
pp. 1262-1275
Realizing the quality of service (QoS) requirements for a software system continues to be an important and challenging issue in software engineering. A software system may need to be updated, or reconfigured, to provide modified QoS capabilities. These cha...
Simple and Effective Carrier Sensing Adaptation for Multi Rate Ad-Hoc MESH Networks
Found in: IEEE International Conference on Mobile Adhoc and Sensor Systems Conference
By Hui Ma, Sumit Roy
Issue Date:October 2006
pp. 795-800
Adaptive Physical Carrier Sensing(PCS) based on tuning the PCS threshold has been shown to be an effective michanism for improving aggregate network throughput. However, earlier work [3] assumed a single link rate and a common PCS threshold for the entire ...
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement
Found in: Quality Software, International Conference on
By Hui Ma, Klaus-Dieter Schewe, Jane Zhao
Issue Date:October 2006
pp. 175-184
View Integration is known to be a decisive part of data warehouse design. It has also been shown that the use of formal methods such as Abstract State Machines (ASMs) can contribute to high-quality designs, in particular, if standard refinements can be exp...
A stochastic model for optimizing physical carrier sensing and spatial reuse in wireless ad hoc networks
Found in: IEEE International Conference on Mobile Adhoc and Sensor Systems Conference
By Hui Ma, H.M.K. Alazemi, S. Roy
Issue Date:November 2005
pp. 622
The choice of physical carrier sensing (PCS) threshold is key to the trade-off between the amount of spatial reuse and probability of packet collisions in a wireless ad hoc network. In this paper, we present a new analytical approach for optimizing the PCS...
Toward QoS Analysis of Adaptive Service-Oriented Architecture
Found in: Service-Oriented System Engineering, IEEE International Workshop on
By Tong Gao, Hui Ma, I-Ling Yen, Farokh Bastani, Wei-Tek Tsai
Issue Date:October 2005
pp. 227-236
<p>Service-oriented architecture provides a framework for achieving static/dynamic reconfigurability. When system requirements change, new composition of services can be determined to satisfy the new requirements. However, analysis is required to mak...
A Model and Methodology for Composition QoS Analysis of Embedded Systems
Found in: Real-Time and Embedded Technology and Applications Symposium, IEEE
By Hui Ma, Dongfeng Wang, Farokh Bastani, I-Ling Yen, Kendra Cooper
Issue Date:March 2005
pp. 56-65
Component-based development (CBD) techniques have been widely used to enhance the productivity and reduce the cost for software systems development. However, applying CBD techniques to embedded software development faces additional challenges. For embedded...
Cost Optimisation for Distributed Data Warehouses
Found in: Hawaii International Conference on System Sciences
By Hui Ma, Klaus-Dieter Schewe, Jane Zhao
Issue Date:January 2005
pp. 283a
Data warehouses are databases that are used for analytical tasks. The common assumption is that data warehouses separate data input out of operational operational databases from output to so-called data marts, which provide data for particular on-line anal...
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
Found in: Quality Software, International Conference on
By Jane Zhao, Hui Ma
Issue Date:September 2004
pp. 224-231
On-line analytical processing (OLAP) systems deal with analytical tasks in businesses. As these tasks do not depend on the latest updates by transactions, it is assumed that the data used in OLAP systems are kept in a data warehouse, which separates the in...
Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Dongfeng Wang, Hui Ma, Farokh B. Bastani, I-Ling Yen
Issue Date:March 2004
pp. 3-11
There are many applications that can be modeled as evolutions of continuous state spaces, such as real-time embedded systems, etc. For such applications, the divide-and-conquer method is usually used to achieve high quality software development. Instead of...
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components
Found in: Software Reliability Engineering, International Symposium on
By Hui Ma, I-Ling Yen, Farokh Bastani, Kendra Cooper
Issue Date:November 2003
pp. 383
Component-based development (CBD) techniques have been widely used to enhance the productivity and reduce the cost for software systems development. However, applying CBD techniques to embedded software development faces additional challenges. For embedded...
Application of AI Planning Techniques to Automated Code Synthesis and Testing
Found in: Tools with Artificial Intelligence, IEEE International Conference on
By I-Ling Yen, Farokh B. Bastani, Fiaz Mohamed, Hui Ma, John Linn
Issue Date:November 2002
pp. 131
<p>The rapid growth in the demand of embedded systems and the increased complexity of embedded software pose an urgent need for advanced embedded software development techniques. One attractive approach is to enable semi-automated code generation and...
Space Walking
Found in: Visualization Conference, IEEE
By Andrew J. Hanson, Hui Ma
Issue Date:November 1995
pp. 126
We propose an interactive method for exploring topological spaces based on the natural local geometry of the space. Examples of spaces appropriate for this visualization approach occur in abundance in mathematical visualization, surface and volume visualiz...
Quaternion Frame Approach to Streamline Visualization
Found in: IEEE Transactions on Visualization and Computer Graphics
By Andrew J. Hanson, Hanson Hui Ma
Issue Date:June 1995
pp. 164-174
<p><it>Abstract</it>—Curves in space are difficult to perceive and analyze, especially when they form dense sets as in typical 3D flow and volume deformation applications. We propose a technique that exposes essential properties of space ...
Realization of the Data Warehouse Design and the Anti-normalization Design by Using PowerDesigner
Found in: Business Intelligence and Financial Engineering, International Conference on
By Hui Ma, Fan Zhang, Yina Wu
Issue Date:August 2010
pp. 72-75
Normalization is a basic principle when designing the relational database, which guarantees the revision of data structure and the quality of reorganization, but when referring to data mining system, anti-normalization is needed for data warehouse design. ...
ROI-oriented image query and indexing for content-based retrieval
Found in: Image Processing, International Conference on
By Chen Tao, Chen Li-Hui, Ma Kai-Kuang
Issue Date:October 1998
pp. 799
A new scheme for image query and indexing based on the concepts of region-of-interest (ROI) is proposed for content-based retrieval. Users are allowed to impose an ROI directly over the sample image, and the subsequent query is then focused on the content ...
Research on Characteristic of Rockburst and Rules of Microseismic Monitoring at Headrace Tunnels in Jinping II Hydropower Station
Found in: 2013 Fourth International Conference on Digital Manufacturing & Automation (ICDMA)
By Wen-dong Zhang,Tian-hui Ma
Issue Date:June 2013
pp. 1039-1042
In this paper, the characteristics and laws of rockburst at headrace tunnels in Jinping II hydropower station are summarized basing on a mass of rockburst incidents recorded during tunneling, including the law of rockburst distribution with mileage, the wa...
Research on Eco-environmental Data Visualization for Three Gorges Project
Found in: Information Engineering and Electronic Commerce, International Symposium on
By Liang Zhu, Bing-fang Wu, Yue-min Zhou, Xin-hui Ma, Lei-dong Yang
Issue Date:May 2009
pp. 590-593
Data visualization can represent clearly the data difference and data change trend. It can help scientific researchers find the rules and trends behind the data quickly. In the process of monitoring eco-environment in Three Gorges reservoir area, a large d...