2685 search results - page 458 / 537 » A Formal Semantics for SPKI |
138
click to vote
EMSOFT
2009
Springer
16 years 22 days ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
137
click to vote
LPNMR
2009
Springer
16 years 22 days ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
140
click to vote
OOPSLA
2009
Springer
16 years 21 days ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
165
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
165
click to vote
RWEB
2009
Springer
16 years 21 days ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...