2414 search results - page 140 / 483 » Reasoning Support for OWL-E |
180
click to vote
LICS
2008
IEEE
16 years 11 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
147
click to vote
ICNS
2007
IEEE
16 years 8 days ago
2007
IEEE
This paper deals with the problem of assuring strict QoS guarantees for the end to end connections that originate from Ethernet access network. It shows that despite high link cap...
162
Voted
ICWE
2007
Springer
16 years 3 days ago
2007
Springer
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
172
click to vote
LPAR
2007
Springer
16 years 3 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
146
click to vote
SGAI
2007
Springer
16 years 2 days ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...