5451 search results - page 409 / 1091 » Typed Operational Semantics |
184
click to vote
TPLP
2010
15 years 5 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
210
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
184
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
165
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
182
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...