Many data sources on the Web evolve in the sense that they change their content over time, typically as a reaction to some event. Such changes often need to be mirrored in data on...
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
: Classic IR (information retrieval) is inherently predicated on users searching for information, the socalled "information need". But the need behind a web search is oft...
In this paper we describe the issues that need to be addressed when setting up an aware environment occupied simultaneously by several users. Combining the delivery of services for...