The interface of a software component: describes the internal features of the component clearly separates the surface of the component from its internal implementation describes the functi...

In this chapter a compositional analysis method for agent systems is introduced and illustrated for an example agent system for co-operative information gathering. For this example agent system as a whole, a successfulness property is formulated. It is shown how this property can be logically related to properties of agents (in particular, pro-activeness and reactiveness properties), and how th...

Subtyping is undoubtedly useful for the support of incremental reenement and reuse of software components , a crucial feature of object-oriented languages. Types and subtyping for concurrent languages are not yet explored suuciently and tend to be less exible than desired. We propose a principle of dealing with very exible types in concurrent languages. The corresponding type model ensures that...

The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination problems. Different coordination styles exhibiting different properties may be more suitable for some problems than others. Like other architectural styles, coordination styles can be expressed in terms of components, connectors...

........................................................................................................................................................................ 1 TABLE OF CONTENTS ................................................................................................................................................... 1 TABLE OF FIGURES.............................................

This paper describes both hardware and software components to detect counterfeits of Euro banknotes. The system is also able to recognize the banknote values. The proposed method makes use of images acquired with near infrared camera and works without mechanical parts. This makes the overall system low-cost. The effectiveness of the proposed solution has been properly tested on a dataset compos...

This paper introduces a large collection of reusable software components that AT&T is making available in an OpenSource form. This software has been widely used around the world and includes

T transfer to low-cost locations offers global firms an opportunity to reduce their variable costs involved in serving emerging markets. However, such moves may also make imitation by local competitors easier. As a consequence, technology transfer may create competition in the local market. We introduce component-based technology transfer for the global firm as a means to deter or accommodate t...