In this chapter we propose a scripting language, called STEP, for embodied agents, in
particular for their communicative acts like gestures and postures. Based on the formal …

For an abstract programming language both a linear and a branching denotational
semantics are developed. The main instrument for the construction of the two models and for …

Embodied agents or humanoid avatars may effectively be used to communicate with human
users. Currently there is a wide range of specification formalisms and scripting languages for …

This paper describes a tool-EUTERPE-that offers support for analyzing cooperative
environments. The support is based on a formal analysis of the task model and can be done …

An extension of process algebra for modelling processes with backtracking is introduced.
This extension is semantically based on processes that transform data because, in our view …

Coordination languages for ad hoc networks with a fluid topology do not offer adequate
support to detect and deal with device disconnection. Such a disconnection is particularly …

As of 1 August 2007, SourceForge. net hosted more than 150,000 registered open source
software projects, and many more projects are available on other sites. With so many OSS …

In this paper we propose an approach to 3D agent-based virtual communities in which
autonomous agents are participants in VRML-based virtual worlds to enhance the …

I came across the terms “hypertext” and “hypermedia” relatively late. It was in 1991, during
the discussion of an example for the Object-Oriented Programming course at the Vrije …

This paper presents a multiparadigm language I+ which is an integration of the three major
programming paradigms: object-oriented, logic and functional. I+ has an object-oriented …