2638 search results - page 295 / 528 » Frameworks for Reasoning about Agent Based Systems |
180
click to vote
RE
2007
Springer
16 years 21 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
165
click to vote
FTCS
1998
15 years 8 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
151
click to vote
TCS
2002
15 years 6 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
140
click to vote
SEKE
2007
Springer
16 years 21 days ago
2007
Springer
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
181
click to vote
CIMCA
2006
IEEE
16 years 20 days ago
2006
IEEE
The aim of this paper is to propose a service oriented decision support system based on an ontology-driven uncertainty model (OntoBayes). OntoBayes consists of knowledge and decis...