792 search results - page 132 / 159 » Value Based Argumentation Frameworks |
ILP
2007
Springer
14 years 4 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
— Wireless local area networks offer a range of transmitted data rates that are to be selected according to estimated channel conditions. However, due to packet overheads and con...
WETICE
2006
IEEE
14 years 4 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
NSPW
2006
ACM
14 years 4 months ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
SIGGRAPH
2003
ACM
14 years 3 months ago
2003
ACM
This paper introduces a tensor framework for image-based rendering. In particular, we develop an algorithm called TensorTextures that learns a parsimonious model of the bidirectio...