1664 search results - page 72 / 333 » Making a Case for Multi-Agent Systems |
148
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
126
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
108
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
111
click to vote
IEEESP
2006
15 years 4 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
122
click to vote
AAAI
1997
15 years 5 months ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...