This report describes a synthesis of two well-known agent paradigms: Agent-Oriented Programming, Shoham (1990), and the Knowledge Query & Manipulation Language, Finin (1993). The initial implementation of AOP, Agent-0, is a simple language for specifying agent behaviour. KQML provides a standard language for inter-agent communication. Our integration (which we have called Agent-K) demonstrates ...

In this paper, we address the problem of defining a source-to-source translation system for reusable software components. We design an interoperable language for writing software components, and present a system to translate components written in the interoperable language to a set of compatible target languages. We analyze the common features in a set of popular programming languages to inform...

While increasing progressively its expressive power, UML has become more and more difficult to read and understand, especially for beginners. To teach the whole UML is not possible, therefore teachers only deal with a subset of UML. We present a framework for defining precisely a consistent subset of a language, allowing everybody to define his/her own subset. An extended example shows a way to...

Generic editing of visual languages can become easier with a common exchange format for graph transformation based on XML. In this sense, many XML languages (such as GXL, XGMML and GraphML) were developed to represent visual languages as a graph. These languages are compatible with XML technology and are interoperable with a great number of state of the art documentation and graphic technologie...

The article describes essential parts of a prototype system for machine aided translation from Norwegian-Bokmal to Norwegian-Nynorsk. The central parts of the system are a bilingual word list, inflection paradigms, phrases, and routines to deal with compound words. There are also synt2ictic and semantic rules, but they can be considered as preliminary. The article also includes a simple compari...

Language CoLLAGE is a collection of grammatical descriptions developed in the context of a grammar engineering graduate course with the LinGO Grammar Matrix. These grammatical descriptions include testsuites in well-formed interlinear glossed text (IGT) format, high-level grammatical characterizations called ‘choices files’, HPSG grammar fragments (capable of parsing and generation), and docume...

A cross-modal naming paradigm was used to assess within- and between-language sentential priming in Spanish-English bilinguals. The paradigm used single-language auditory texts with visual target words under normal, visually degraded, speeded, and delayed naming conditions. Cross-language priming was always observed when the target language was predictable (in the blocked condition), even under...

Many publish/subscribe (pub/sub) middleware platforms provide flexibility in configuring policies that affect end-to-end quality of service (QoS). While the functionality and tunability of pub/sub middleware has increased, so has the complexity of creating semantically compatible QoS policy configurations. This paper makes two contributions to addressing these challenges. First, it describes ho...

This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time. The system, called Loci, is minimal, modular and compatible with legacy code. The only change to the language is the addition of two new metadata annotations. We implemented Loci as an Eclipse plug-in and used it to...