Sciweavers

36 search results - page 8 / 8
» ASSAT: computing answer sets of a logic program by SAT solve...
Sort
View
COMPSAC
2010
IEEE
13 years 2 months ago
Representing and Reasoning about Web Access Control Policies
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong M...