Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving software required by systems such as information integration application...
Abstract: The recent success of various Apple products affirms that usability engineering can be a beneficial asset in software product development. But considerable problems exi...
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...