283 search results - page 57 / 57 » Tools for Developing and Monitoring Agents in Distributed Mu... |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
KI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
JETAI
2007
13 years 4 months ago
2007
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...