51 search results - page 8 / 11 » A Semantic Foundation for Role-Related Concepts in Enterpris... |
MMMACNS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
ER
2007
Springer
15 years 3 months ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
JAIR
2008
14 years 9 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
109
Voted
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
84
Voted
AAAI
1990
14 years 10 months ago
1990
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...