• Login
    Browsing School of Computer Science and Informatics by Publication Date 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • Browsing School of Computer Science and Informatics by Publication Date
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • Browsing School of Computer Science and Informatics by Publication Date
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browsing School of Computer Science and Informatics by Publication Date

    Sort by:

    Order:

    Results:

    Now showing items 21-40 of 2989

    • title
    • publication date
    • submission date
    • ascending
    • descending
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • Preference relations as the information representation base in multi-person decision making. 

        Chiclana, Francisco; Herrera-Viedma, Enrique; Herrera, F. (Conference)
      • A classification method of alternatives for multiple preference ordering criteria based on fuzzy majority. 

        Chiclana, Francisco; Herrera, F.; Herrera-Viedma, Enrique; Poyatos, M. C. (Article)
      • Proving the correctness of the interlock mechanism in processor design. 

        Li, Xiaoshan; Cau, A. (Antonio); Moszkowski, B. C.; Coleman, Nick; Zedan, Hussein (Book chapter)
        In this paper, Interval Temporal Logic (ITL) us used to specify and verify the event processor EP/3, which is a multi-threaded pipeline processor capable of executing parallel programs. We first give the high level ...
      • Refining interval temporal logic specifications 

        Cau, A. (Antonio); Zedan, Hussein (Book chapter)
        Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as ...
      • Sémantique Dénotationnelle d'un langage parallèle pour modèle PRAM 

        Siewe, Francois; Tchuente, M.; Roch, J. L. (Conference)
      • A dense-time temporal logic with nice compositionality properties 

        Cau, A. (Antonio); de Roever, W. P. (Article)
        A dense temporal logic specification method for the development of reactive systems is introduced. The two development constructs of this method are refinement and composition. A reactive system is specified by a pair ...
      • The Enhancement of the Goodyer Skin Rheometer by means of a Microcontroller Based PCB. 

        Goodyer, E. N. (Conference)
        GSI Ltd designs and manufactures low volume high cost specialist Test and Measurement Equipment, mainly concentrating on systems for use by the cosmetics industry, and for use in prototype vehicles. The FUSE project involved ...
      • Solving optimization and scheduling problems with neural network methods 

        Yang, Shengxiang; Wang, Dingwei (Article)
        This paper briefly reviewed the applications of neural networks in optimization and scheduling problems. The background of combining neural networks with optimization and scheduling problems is first introduced, and ...
      • The design and implement of computer network for Changchun Telecommunications Bureau. 

        Wang, Yuying; Zhao, Chunquan (Article)
      • Designing a provably correct robot control system using a "lean" formal method 

        Cau, A. (Antonio); Czarnecki, Christopher Antoni; Zedan, Hussein (Book chapter)
        A development method for the construction of provably correct robot control systems together with its supporting tool environment are described. The method consists of four stages: 1. specification, 2. refinement, 3. ...
      • Genetic algorithm and neural network hybrid approach for job-shop scheduling 

        Zhao, Kai; Yang, Shengxiang; Wang, Dingwei (Conference)
        This paper proposes a genetic algorithm (GA) and constraint satisfaction adaptive neural network (CSANN) hybrid approach for job-shop scheduling problems. In the hybrid approach, GA is used to iterate for searching optimal ...
      • Integrating three representation models in fuzzy multipurpose decision making based on fuzzy preference relations. 

        Chiclana, Francisco; Herrera, F.; Herrera-Viedma, Enrique (Article)
      • Genetic algorithm and adaptive neural network hybrid method for job-shop scheduling problems 

        Yang, Shengxiang; Wang, Dingwei (Article)
        This paper proposes a hybrid method of genetic algorithm (GA) and constraint satisfaction adaptive neural network (CSANN) for solving job-shop scheduling problems. In the hybrid method GA is used to iterate for searching ...
      • Integrating structured OO approaches with formal techniques for the development of real-time systems 

        Chen, Zhiqiang; Cau, A. (Antonio); Zedan, Hussein; Yang, Hongji (Article)
        The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ...
      • Recursion removal/introduction by formal transformation: an aid to program development and program comprehension 

        Ward, Martin; Bennett, Keith H. (Article)
        The transformation of a recursive program to an iterative equivalent is a fundamental operation in Computer Science. In the reverse direction, the task of reverse engineering (analysing a given program in order to determine ...
      • Constraint satisfaction adaptive neural network and efficient heuristics for job-shop scheduling 

        Yang, Shengxiang; Wang, Dingwei (Conference)
        An efficient constraint satisfaction based adaptive neural network and heuristics hybrid approach for job-shop scheduling is presented. The adaptive neural network has the property of adaptively adjusting its connection ...
      • A Conceptual Framework for Modelling and Simulation of Variable Structure Hybrid Systems 

        Chen, Liming; Xia, K.; Luker, P. (Conference)
        This paper introduces a conceptual framework for modeling and simulation of variable structure hybrid systems. The framework proposed is based on and further extends the DEVS-formalism, providing a novel definition for ...
      • A wide-spectrum language for object-based development of real-time systems. 

        Chen, Zhiqiang; Zedan, Hussein; Cau, A. (Antonio); Yang, Hongji (Article)
        A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ...
      • Using constraint satisfaction adaptive neural network and efficient heuristics for job-shop scheduling 

        Yang, Shengxiang; Wang, Dingwei (Article)
        This paper proposes a new adaptive neural network , based on constraint satisfaction, and efficient heuristics hybrid algorithm for job-shop scheduling. The neural network has the property of adapting its connection weights ...
      • A neural network and heuristics hybrid strategy for job-shop scheduling problem 

        Yang, Shengxiang; Wang, Dingwei (Article)
        A new efficient neural network and heuristics hybrid strategy for job-shop scheduling is presented. The neural network has the property of adapting its connection weights and biases of neural units while solving feasible ...

        Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
        DMU LIbrary
         

         

        Browse

        All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

        My Account

        Login

        Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
        DMU LIbrary