Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...
In order for robotic systems to be successful in domains with other agents possibly interfering with the accomplishing of goals, the agents must be able to adapt to the opponents...
In this paper, we motivate the need for and challenges involved in supporting imprecise queries over Web databases. Then we briefly explain our solution, AIMQ - a domain independe...
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
This paper presents an innovative approach that deals with two specific problems encountered in the E-Government domain. The first problem is the cultural gap between laws and reg...
Davide Brugali, Giuseppe Psaila, Franco Guidi-Pola...