In order to define a conceptual frame and a suitable vocabulary for this working area, we present the architecture description language MoDeL (Modular Design Language). By selecting and combining modelling concepts which proved to be helpful for the design of software systems, this approach is integrative and pragmatic: It unites different realization paradigms (structured, object-oriented), di...

The processes γγ → π0π0π0 and γγ → π+π−π0 are considered in Generalized Chiral Perturbation theory, in view of their potential sensitivity to the mechanism of spontaneous breaking of chiral symmetry and to various counterterms. The amplitudes are computed up to order O(p6). The event production rates are estimated for the Daphne φ–Factory and for a future τ–Charm Factory. ∗Work supported in par...

This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.

In this paper, we present a study on modular end effector systems. As the available services of robots grow, robots need to carry out different tasks for various purposes. To carry out these tasks in different environments, flexibility and reusability of the robot system are the most important factors. Therefore, in this study we consider the three following conditions. First, the size of the e...

We present a format for the specification of probabilistic transition systems that guarantees that bisimulation equivalence is a congruence for any operator defined in this format. In this sense, the format is somehow comparable to the ntyft/ntyxt format in a non-probabilistic setting. We also study the modular construction of probabilistic transition systems specifications and prove that some ...

We discuss the design of the Intermediary Agent’s brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experiences regarding the dynamics of collaboration at the inter-personal (IP) level. We derive the overall aims of the game from theoretical foundations in collaboration theory and pedagogical theory and related requirements for...

DIMI-6000 is an early microcomputer-based synthesizer designed in the mid-1970s by the Finnish inventor Erkki Kurenniemi. Designed as a hub for electronic music studios, DIMI-6000 featured a computer-controlled analog sound synthesis circuitry and a modular design. Despite its innovative design, only two units were built, one for Finland's national broadcasting company Yle and the other for Swe...

Transcriber is a tool for manual annotation of large speech files. It was originally designed for the broadcast news transcription task. The annotation file format was derived from previous formats used for this task, and many related features were hard-coded. In this paper we present a generalization of the tool based on the annotation graph formalism, and on a more modular design. This will a...

This paper presents a general C platform for the implementation of a trade network game TNG that combines evolutionary game play with preferential partner selec tion In the TNG successive generations of resource constrained traders choose and refuse trade partners on the basis of continually updated expected payo s engage in risky trades modelled as two person games and evolve their trade strat...