Someone asked 'What time is it?'when her watch reads 3: 08 is likely to answer 'It is 3:
10.'We argue that a fundamental factor that explains such rounding is a psychological …

This paper deals with the design and applications of digital differentiators. For real time
applications it is mandatory that a differentiator should have as small an order as possible …

This paper proposes the use of session types to extend with behavioural information the
simple descriptions usually provided by software component interfaces. We show how …

Traditional IDLs were defined for describing the services that objects offer, but not those
services they require from other objects, nor the relative order in which they expect their …

This paper describes a proposal for ty** the behavior of objects in component models.
Most component models, CORBA in particular, do not offer any support for expressing …

We use the formal method B for specifying interfaces of software components. Each
component interface is equipped with a suitable data model defining all types occurring in …

Interoperability is a multifaceted problem caused by issues surpassing those of
technological incompatibilities. The real interoperability challenges are stemming from …

In a component-based software development, components are considered as black boxes.
They are only described by their interfaces expressing their visible behaviors. They must be …

In component-based software development, it is important to ensure interoperability
between components based on their unambiguous semantic descriptions, in order to obtain …

Available component-oriented platforms address software interoperability only at the
signature level, while they do not provide suitable mechanisms for adapting components …