The increasing number of competitors and the growing traffic demand are the main factors pushing for a more dynamic and flexible service demand allocation mechanism. Human interac...
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
Abstract. In the DESIRE project an autonomous robot capable of performing service tasks in a typical kitchen environment has been developed. The overall system consists of various ...