Abstract
This paper describes the design of a processor specific for testing cores embedded in system-on-chip. This processor which can be implemented within a system's reconfigurable area, shall be responsible for scheduling and control test operations and perform preliminary data processing, as well as to provide the interface with an external tester Building these test operations on-chip allows for simplifying external tester interface and to reduce testing time. The testing procedure and the infrastructure required to test an AID converter is described as an example.

Abstract
Although increasingly popular, software component techniques still lack suitable formal foundations on top of which rigorous methodologies for the description and analysis of software architectures could be built. This paper aims to contribute in this direction: building on previous work by the authors on coalgebraic semantics, it discusses component refinement at three different but interrelated levels: behavioural, syntactic, i.e., relative to component interfaces, and architectural. Software architectures are defined through component aggregation. On the other hand, such aggregations, no matter how large and complex they are, can also be dealt with as components themselves, which paves the way to a discipline of hierarchical design. In this context, a major contribution of this paper is the introduction of a set of rules for architectural refinement.

Abstract
This document introduces ECOLANG, a communication language used for simulations of complex ecological systems. The language was developed with the main purpose of interchanging information between a simulation application of aquatic ecosystems (EcoDynamo) and several external agents. These agents have some goals about the simulation results or the simulated system. Examples of the former may be a calibration agent, with the goal of optimising the fit between observed and simulated results, whereas an example of the latter may be an aquaculture/farming agent, looking for production optimisation. This document focus on messages exchanged between EcoDynamo and the two mentioned agents providing examples of the communication protocol. This work is part of a larger project, where ECOLANG will be used as a tool for "goal-oriented intelligent simulations", towards sustainable management of coastal ecosystems.

Abstract

Abstract
The rapid evolution of the markets and the changing client's demands determined enterprises to adapt their business from traditional business practices to e-business, and new forms of collaboration (such as supply chain enterprises, extended enterprises or virtual enterprises) were created. Technologies such as Peer-to-Peer, Web services, intelligent agents, Workflow become core technologies supporting enterprise integration, streamlining transactions while supporting process coordination and consistency. The aim of this paper is to concisely present some relevant business integration reference models, frameworks, standards and technologies, and to propose an approach towards the development of a conceptual framework for a self-forming business networking environment based on Plug-and-Do Business paradigm.

Abstract