There are two important points of view on inclusion or subtype polymorphism in object-oriented programs, namely polymorphic access and dynamic dispatch. These features are essenti...
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
There is an establishing trend towards the socialization of the web. Virtual communities are becoming very popular web spaces for collaboration and knowledge sharing. However, stu...
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...