Results 121 to 130 of about 18,885 (168)
Some of the next articles are maybe not open access.
Proceedings of the 2004 workshop on Secure web service - SWS '04, 2004
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their data-collection and data-use practices in a machine-readable form. To fully deploy P3P in enterprise information systems and over the Web, a well-defined semantics for P3P policies is a must, which is lacking in the current P3P ...
Ting Yu 0001 +2 more
openaire +2 more sources
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their data-collection and data-use practices in a machine-readable form. To fully deploy P3P in enterprise information systems and over the Web, a well-defined semantics for P3P policies is a must, which is lacking in the current P3P ...
Ting Yu 0001 +2 more
openaire +2 more sources
Formalizing the semantics of ASCEND
Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94, 1994ASCEND is a declarative and strongly-typed executable equational modeling language. Originally developed to support engineering design, it has since been applied in various other domains. ASCEND is distinctive in its use of strong typing for integrating data and algebraic modeling, and in providing model structuring operators which facilitate model ...
Hemant K. Bhargava +2 more
openaire +1 more source
2011
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem.
Richard Stocker 0001 +4 more
openaire +3 more sources
The formal analysis of computational processes is by now a well-established field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem.
Richard Stocker 0001 +4 more
openaire +3 more sources
Synthese, 1963
My purpose in this paper is to present an account of certain of the principal results that have been obtained in the field of formal semantics. These results will be stated in what from the logician’s point of view is an informal way; that is, in stating them there will be little or no use of a precisely formalized language (though we shall of course ...
openaire +2 more sources
My purpose in this paper is to present an account of certain of the principal results that have been obtained in the field of formal semantics. These results will be stated in what from the logician’s point of view is an informal way; that is, in stating them there will be little or no use of a precisely formalized language (though we shall of course ...
openaire +2 more sources
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonathan Ford, Ian A. Mason
openaire +2 more sources
Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence, 2002
A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics.
openaire +1 more source
A formal declarative semantics of the rule-based language mOPS5 is defined. As the name of the language implies, it is a simplified version of OPS5. First we describe this language informally, the semantics of mOPS5 is then defined in terms of Datalog, a logic programming language, which has a well-defined minimal model semantics and fixpoint semantics.
openaire +1 more source
2000
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions.
Jon Howell, David Kotz
openaire +1 more source
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions.
Jon Howell, David Kotz
openaire +1 more source
A descriptive semantic formalism for medicine
Proceedings of IEEE 9th International Conference on Data Engineering, 2002It is argued that current clinical information systems incorporate oversimplistic, prescriptive data models that are not faithful to clinicians' observations. A non-prescriptive descriptive semantic formalism, Structured Meta Knowledge (SMK), which unifies a terminological knowledge base with controlled assertional capabilities with the medical record ...
Goble, Carole A +3 more
openaire +2 more sources
On the formalization of semantic conventions
Journal of Symbolic Logic, 1990AbstractThis paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them.
openaire +3 more sources
Formal Semantics and Ontologies
2008Formal ontology relies on representation languages for expressing ontologies. This involves the formal semantics of these languages which is typically based on a limited set of abstract mathematical notions. In this paper, we discuss the interplay between formal semantics and the intended role of ontologies as semantic foundation.
Frank Loebe, Heinrich Herre
openaire +1 more source