37 search results - page 8 / 8 » A Tractability Result for Reasoning with Incomplete First-Or... |
IFIPTM
2010
13 years 3 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...