Web services are becoming important in applications from electronic commerce to application interoperation. While numerous efforts have focused on service composition, service sel...
William Kwok-Wai Cheung, Jiming Liu, Kevin H. Tsan...
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
When composing mashups, the selection of suitable services is mainly based on functional requirements and does not consider the quality of the single services. In this paper, we sh...
Matteo Picozzi, Marta Rodolfi, Cinzia Cappiello, M...
Nominee selection plays a key role in nominee-based congestion control, which is essential for multicast services to ensure fairness and congestion avoidance. Without valid design...
In Hierarchical Mobile IPv6 (HMIPv6) networks, the mobility anchor point (MAP) is introduced to localize binding update messages destined to the home agent. In a large-scale wirel...