We’ll write τabs for the type inside the existential. The function new takes a class name and instance data for that class and constructs an object, while the function send takes an object and a method name and produces an element of the method’s result type. Given a dispatch matrix edm : τdm, there are two natural ways of implementing ∃tobj.τabs. The first, which is analogous to the traditiona...

Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-oriented programming. Open multi-methods generalize multiple dispatch towards open-class extensions, which improve separation of concerns and provisions for retroactive design. We present the rationale, design, implementation, p...

C++ relies on object type information for dynamic dispatch and casting. The association of type information to an object is implemented via the virtual table pointer, which is stored in the object itself. C++ has neither memory nor type safety, adversaries may therefore overwrite an object’s type. If the corrupted type is used for dynamic dispatch, the attacker has hijacked the application’s co...

Dispatch date of the next issue The Wilkes Award We are mobile – find out more Reviewer Guidelines

We study the effect of stochastically delayed communication on common knowledge acquisition (common learning). If messages do not report dispatch times, communication prevents common learning under general conditions even if common knowledge is acquired without communication. If messages report dispatch times, communication can destroy common learning under more restrictive conditions. The fail...

In this paper we provide a summary of the poster presented at the 2005 Digital Government Conference. Our research is motivated by the twin goals of (1) developing a set of principles the support the design of inter-organizational information systems and (2) guidance to organizational leaders for how to adapt their organizations to leverage these systems. We focus on integrated criminal justice...

A panel of individuals with expertise in the railroad industry provides an overview of Simulation within the Railroad Environment. The panelists discuss their work and highlight the issues, challenges, and benefits associated with application of simulation models. Topics presented are; • Model Development, the issues and challenges. • Role of Dispatch Model in Mainline Capacity Studies. • Benef...

Source delay, the time a packet experiences in its source node, serves as a fundamental quantity for delay performance analysis in networks. However, the source delay performance in highly dynamic mobile ad hoc networks (MANETs) is still largely unknown by now. This paper studies the source delay in MANETs based on a general packet dispatching scheme with dispatch limit f (PD-f for short), wher...

Case-based reasoning (CBR) systems solve new problems by retrieving stored prior cases, and adapting their solutions to fit new circumstances. Traditionally, CBR systems draw their cases from a single local case-base tailored to their task. However, when a system’s own set of cases is limited, it may be beneficial to supplement the local case-base with cases drawn from external casebases for re...