2638 search results - page 465 / 528 » Frameworks for Reasoning about Agent Based Systems |
159
click to vote
ECIS
2003
15 years 7 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...
288
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
145
click to vote
ICMAS
2000
15 years 7 months ago
2000
Safe exchange is a key issue in multiagent systems, especially in electronic transactions where nondelivery is a major problem. In this paper we present a unified framework for mo...
171
click to vote
DARS
2000
Springer
15 years 10 months ago
2000
Springer
Realistic applications of autonomous Robotics face a lot of difficulties in real environments. To navigate, self-localize and cooperate in such contexts, a multi-robot system has t...
172
click to vote
ISOOMS
1994
15 years 10 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...