The Experts below are selected from a list of 25623 Experts worldwide ranked by ideXlab platform
Victor Lo - One of the best experts on this subject based on the ideXlab platform.
-
an enterprise collaborative management system a case study of supplier relationship management
Journal of Enterprise Information Management, 2004Co-Authors: Kwang-leong Choy, W. B. Lee, Victor LoAbstract:In this paper, a server‐based enterprise collaborative management system using enterprise application integration technology is developed for trial implementation at Honeywell Consumer Products (Hong Kong) Limited, in the area of supplier relationship management. The system facilitates supplier selection using an integrative case‐based supplier selection and help desk approach to select the most appropriate suppliers, based on their past performance records from a case‐based warehouse. Discusses a case study to integrate Honeywell's supplier rating system and product coding system by case‐based Reasoning Technique to select preferred suppliers during the new product development process. Finds that the outsource cycle time from the searching of potential suppliers to the allocation of orders is greatly reduced while performance of suppliers can be monitored simultaneously.
-
design of a case based intelligent supplier relationship management system the integration of supplier rating system and product coding system
Expert Systems With Applications, 2003Co-Authors: Kwang-leong Choy, Victor LoAbstract:Abstract The design of supplier relationship management to facilitate supplier selection using an integrative case based supplier selection and help desk approach to select the most appropriate suppliers together with their past performance records from a case base warehouse has become a promising solution for manufacturers to identify preferred suppliers and trading partners to form a supply network on which they depend for products, services and distribution. In this paper, an intelligent supplier relationship management system (ISRMS) integrating a company's customer relationship management system, supplier rating system and product coding system by the case based Reasoning Technique to select preferred suppliers during new product development process is discussed. By using ISRMS in Honeywell Consumer Product (Hong Kong) Limited, it is found that the outsource cycle time from the searching of potential suppliers to the allocation of order, as well as the delay in delivery of goods of suppliers after order allocation, are greatly reduced. In addition, performance of suppliers can be monitored effectively.
Kwang-leong Choy - One of the best experts on this subject based on the ideXlab platform.
-
an enterprise collaborative management system a case study of supplier relationship management
Journal of Enterprise Information Management, 2004Co-Authors: Kwang-leong Choy, W. B. Lee, Victor LoAbstract:In this paper, a server‐based enterprise collaborative management system using enterprise application integration technology is developed for trial implementation at Honeywell Consumer Products (Hong Kong) Limited, in the area of supplier relationship management. The system facilitates supplier selection using an integrative case‐based supplier selection and help desk approach to select the most appropriate suppliers, based on their past performance records from a case‐based warehouse. Discusses a case study to integrate Honeywell's supplier rating system and product coding system by case‐based Reasoning Technique to select preferred suppliers during the new product development process. Finds that the outsource cycle time from the searching of potential suppliers to the allocation of orders is greatly reduced while performance of suppliers can be monitored simultaneously.
-
design of a case based intelligent supplier relationship management system the integration of supplier rating system and product coding system
Expert Systems With Applications, 2003Co-Authors: Kwang-leong Choy, Victor LoAbstract:Abstract The design of supplier relationship management to facilitate supplier selection using an integrative case based supplier selection and help desk approach to select the most appropriate suppliers together with their past performance records from a case base warehouse has become a promising solution for manufacturers to identify preferred suppliers and trading partners to form a supply network on which they depend for products, services and distribution. In this paper, an intelligent supplier relationship management system (ISRMS) integrating a company's customer relationship management system, supplier rating system and product coding system by the case based Reasoning Technique to select preferred suppliers during new product development process is discussed. By using ISRMS in Honeywell Consumer Product (Hong Kong) Limited, it is found that the outsource cycle time from the searching of potential suppliers to the allocation of order, as well as the delay in delivery of goods of suppliers after order allocation, are greatly reduced. In addition, performance of suppliers can be monitored effectively.
Zhiqiang Shi - One of the best experts on this subject based on the ideXlab platform.
-
the physical topology discovery for switched ethernet based on connections Reasoning Technique
International Symposium on Communications and Information Technologies, 2005Co-Authors: Yantao Sun, Zhiqiang ShiAbstract:Accurate and up-to-date knowledge of topology serves as the base of a number of network management functions, such as performance monitoring and evaluation, fault detection and location, resource allocation and etc. Firstly the main achievements in topology discovery for LAN are introduced and the defects of those methods are pointed out in this paper. Then the basic theories for connections Reasoning Technique (CRT) based on the predication logic are proposed. This Technique translates the topology discovery into a math problem of logic Reasoning, so that topology of LAN can be studied by mathematic tools. A new algorithm for topology discovery based on this mechanism is proposed in this paper. Compared with current discovery algorithms, this method excels in: 1) making use of AFT more effectively in topology discovery, so the whole topology can be build up by just a part of AFTs; and 2) naturally resolving the problem of topology discovery for multiple subnet switched domain.
Gary T Leavens - One of the best experts on this subject based on the ideXlab platform.
-
modular subclass verification safely creating correct subclasses without superclass code
Modular subclass verification: safely creating correct subclasses without superclass code, 2006Co-Authors: Gary T Leavens, Clyde RubyAbstract:The documentation of object-oriented frameworks and class libraries needs to provide enough information so programmers can reason about the correctness of subclass methods without superclass code. Even though a superclass method satisfies its specification and behaves properly in the context of the superclass itself, a new subclass may cause that method to have unexpected or unverifiable behavior. For example, inherited superclass code can call down to subclass methods which may cause a superclass method to no longer satisfy its specification. Furthermore, without superclass code, downcalls can result in unverifiable side-effects. Aliasing can also result in unexpected or unverifiable side-effects. In this dissertation, we present a Reasoning Technique that allows programmers, who have no access to superclass code, to avoid the problems caused by downcalls and aliasing. The rules use the specification of the abstract data representation of a class and the frame axiom of each method to determine when a method override is necessary and when verifiers can safely reason about the behavior of super-calls. We describe a type system and propose a tool that would warn when a super-call is unsafe or when a superclass method needs to be overridden. A verification logic is also presented and proved sound. The verification logic is based on specifications given in the Java Modeling Language (JML) and uses superclass and subclass specifications to modularly verify the correctness of subclass code. A set of guidelines is proposed for class library implementers that, if followed, guarantees that superclass methods will always be safe to call and that our verification logic can safely be used. These guidelines make our Technique easy to use in practice.
-
safely creating correct subclasses without seeing superclass code
Conference on Object-Oriented Programming Systems Languages and Applications, 2000Co-Authors: Clyde Ruby, Gary T LeavensAbstract:A major problem for object-oriented frameworks and class libraries is how to provide enough information about a superclass, so programmers can safely create new subclasses without giving away the superclass's code. Code inherited from the superclass can call down to methods of the subclass, which may cause nontermination or unexpected behavior. We describe a Reasoning Technique that allows programmers, who have no access to the code of the superclass, to determine both how to safely override the superclass's methods and when it is safe to call them. The Technique consists of a set of rules and some new forms of specification. Part of the specification would be generated automatically by a tool, a prototype of which is planned for the formal specification language JML. We give an example to show the kinds of problems caused by method overrides and how our Technique can be used to avoid them. We also argue why the Technique is sound and give guidelines for library providers and programmers that greatly simplify Reasoning about how to avoid problems caused by method overrides.
Yantao Sun - One of the best experts on this subject based on the ideXlab platform.
-
the physical topology discovery for switched ethernet based on connections Reasoning Technique
International Symposium on Communications and Information Technologies, 2005Co-Authors: Yantao Sun, Zhiqiang ShiAbstract:Accurate and up-to-date knowledge of topology serves as the base of a number of network management functions, such as performance monitoring and evaluation, fault detection and location, resource allocation and etc. Firstly the main achievements in topology discovery for LAN are introduced and the defects of those methods are pointed out in this paper. Then the basic theories for connections Reasoning Technique (CRT) based on the predication logic are proposed. This Technique translates the topology discovery into a math problem of logic Reasoning, so that topology of LAN can be studied by mathematic tools. A new algorithm for topology discovery based on this mechanism is proposed in this paper. Compared with current discovery algorithms, this method excels in: 1) making use of AFT more effectively in topology discovery, so the whole topology can be build up by just a part of AFTs; and 2) naturally resolving the problem of topology discovery for multiple subnet switched domain.
