We present a technique for deriving predictions for the run times of parallel applications from the run times of "similar" applications that have executed in the past. T...
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
User-created media content is being increasingly shared with the communities people belong to. The content has a role of a motivator in social interaction within the communities. ...