524 search results - page 77 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
AAAI
1997
13 years 10 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
WWW
2002
ACM
14 years 9 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
WLP
2007
Springer
14 years 2 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
FLOPS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...