1746 search results - page 168 / 350 » A Constructive Semantics for ALC |
157
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
178
click to vote
WAIM
2009
Springer
16 years 25 days ago
2009
Springer
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
188
click to vote
LFCS
2009
Springer
16 years 24 days ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
159
click to vote
IEEEIAS
2008
IEEE
16 years 20 days ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
145
click to vote
AIED
2007
Springer
16 years 13 days ago
2007
Springer
The authors of topic map-based learning resources face major difficulties in constructing the underlying ontologies. In this paper we propose two approaches to address this problem...