Coevolution can be used to adaptively choose the tests used for evaluating candidate solutions. A long-standing question is how this dynamic setup may be organized to yield reliab...
The software industry is more than ever facing the challenge of delivering WYGIWYW software (What You Get Is What You Want). A well-structured document specifying adequate, comple...
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
Jie Meng, Raja Krithivasan, Stanley Y. W. Su, Abde...