Over the last years, technology evolution is leading the way towards autonomous, ubiquitous and widespread interactions among small computing devices. To this aim, communication technologies that support dynamicity and mobility and work on inexpensive small devices have attracted much attention. The Bluetooth specification particularly fits this idea, providing a free, versatile, and flexible w...

In this paper, we consider a two-period consumption model with many financial assets. In the spirit of Hart [5], consumers purchase financial assets in period 0 and consume in period 1. We differ from Hart by considering that each agent is a country. We provide conditions for the existence of an equilibrium in both international financial assets and goods markets. First, we introduce a weaker n...

Code certi cation is a promising technique that supports secure and e cient applications on the internet. Annotating code with index types allows strong program properties to be asserted and checked. In this paper, we report our experience of applying a restricted form of dependent types to JVMLi, a subset of Java Virtual Machine Language (JVML). The result is a type system for JVMLi that can g...

In this article, we describe our work on peer services and their description to allow an invocation of them in a distributed environment. The basic idea is that service publication and service invocation are made using descriptions of what is available and what is requested, respectively. There is no prior agreement between services, their descriptions are built independently. Service publicati...