The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
The complexity and dynamic nature of travelling offers many opportunities for technological support. But printed guidebooks remain the typical companion, despite many weaknesses. ...
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
Effective communication is critical to the success of a software development project. It factors into the productivity of individuals and organizations, and has particular impact ...
Michael E. Atwood, Bart Burns, Dieter Gairing, And...
CST’s Baby CareLink provides a ‘collaborative healthware’ environment for parents of premature infants that incorporates just-in-time learning as one means of knowledge explo...
Howard Goldberg, Alfredo Morales, David MacMillan,...