524 search results - page 77 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
152
click to vote
AAAI
1997
15 years 7 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...
179
click to vote
WWW
2002
ACM
16 years 6 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...
158
click to vote
ESWS
2007
Springer
16 years 8 days 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...
204
click to vote
WLP
2007
Springer
16 years 6 days 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,...
180
click to vote
FLOPS
2008
Springer
15 years 7 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...