524 search results - page 77 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
AAAI
1997
15 years 12 days 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...
98
Voted
WWW
2002
ACM
15 years 11 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
15 years 5 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...
122
Voted
WLP
2007
Springer
15 years 5 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,...
104
click to vote
FLOPS
2008
Springer
15 years 18 days 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...