Sciweavers

307 search results - page 36 / 62
» Causality and the Semantics of Provenance
Sort
View
67
Voted
IEEEARES
2006
IEEE
15 years 4 months ago
Supporting Attribute-based Access Control with Ontologies
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
Torsten Priebe, Wolfgang Dobmeier, Nora Kamprath
91
Voted
ASP
2005
Springer
15 years 3 months ago
Modeling Hybrid Domains Using Process Description Language
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
Sandeep Chintabathina, Michael Gelfond, Richard Wa...
KES
2004
Springer
15 years 3 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
74
Voted
SYNTHESE
2008
80views more  SYNTHESE 2008»
14 years 10 months ago
Majority merging by adaptive counting
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
Giuseppe Primiero, Joke Meheus
GI
2009
Springer
14 years 8 months ago
Towards a Reference Model for the LifeWatch ICT Infrastructure
: The LifeWatch Reference Model provides the basis for an interoperable ICT infrastructure for European biodiversity research building on standards whenever feasible. Distinguishin...
Vera Hernández Ernst, Axel Poigné, J...