Logic programming is a programming paradigm with potential to contribute to software engineering. This paper is concerned with one dimension of that potential, the impact that experience with developing logic programs can have on software design. We present a logic programming perspective on programming patterns, systematic program development, design for provability, and the paradigm of meta-p...

In Computer Science, conceptual modelling and formalization are the basis for developing automated systems, "intelligent" or not. It is often taken for granted that formalization is possible and desirable. In the Language/Action perspective, this assumption has been challenged. The Language/Action perspective promotes "communicative action", in the sense of Habermas, as the building block of in...

One of the problems of systems based on distributed architectures is the communication between applications running on different platforms on a network. The appearance of middleware reduces the complexity in transferring data between heterogeneous platforms of such systems. Up until now, various middleware have been proposed to facilitate the distributed system construction. In the context of c...

This article describes an integrated design of Computer Supported Learning Environments (CSLE) and Workflow Management Systems (WfMS). Fundamental approaches for the integration are pointed out by extending the traditional Build-time modeling perspectives of WfMS. The use of an integrated environment and its synergy effects result in a substantial improvement of the educational level, the day-t...

DIORAMA system which is using rapid information collection and accurate resource tracking can assist incident commanders in their attempt to bring order to the chaos as they direct rescue operations for Mass Casualty Incidents (MCI). This system makes use of active Radio Frequency Identification (RFID) tags to identify the location and status of the patients and responders involved in a MCI. Th...

The concept of “curved perspective” has been used by artists such as M.C. Escher in order effectively convey a sense of three dimensional space while being restricted to a two dimensional canvas. We present an interactive system to create and manipulate projections with a curvilinear perspective. Our system presents the user with a set of intuitive screen-space perspective primitives that contr...

The relationship between supply chain resilience and environmental sustainability (greening) has been a topic of peripheral discussion in the research literature. The aim in this paper is to investigate, from a supply chain modeling perspective, the extent to which supply chain greening and resilience strategies are supportive of each other. A strategic supply chain design model is introduced t...

Studies have shown that random order crossover helps reduces the risk of an out-of-stock event when an order that was issued later arrives earlier to offset the late arrival of an order issued earlier. The current school of thought is that, although such crossovers create complexities from a modeling perspective, they are surprisingly beneficial in practice since they decrease the realized lead...

Enthusiast’s perspective: We analyze the effectiveness of AQC for a small rank problem Hamiltonian HF with the arbitrary initial Hamiltonian HI . We prove that for the generic HI the running time cannot be smaller than O( √ N), where N is a dimension of the Hilbert space. We also construct an explicit HI for which the running time is indeed O( √ N). Our algorithm can be used to solve the unstru...

This paper aims to illustrate how the combination of Network Analysis and Futures Studies becomes a powerful instrument for envisioning and analyzing futures and social change. The study of three cases shows network analysis becoming an analytical tool in futures studies while, at the same time, acquiring the dimension of change and dynamics steaming from the futurist perspective.