1912 search results - page 295 / 383 » On the evaluation of argumentation formalisms |
173
click to vote
SSDBM
2007
IEEE
16 years 17 days ago
2007
IEEE
There is a significant need for data integration capabilities in the scientific domain, which has manifested itself as products in the commercial world as well as academia. Howeve...
190
click to vote
ATVA
2007
Springer
16 years 15 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
144
click to vote
CAV
2007
Springer
16 years 15 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
184
click to vote
CCS
2007
ACM
16 years 15 days ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
170
click to vote
HPCC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...