Results 1 to 10 of about 24,887 (251)
Some of the next articles are maybe not open access.
1996
In this paper a generic framework inspired by [LX90] is presented for the validation of reactive systems embedded in a test environment, or isolated from their operational environment, thereby inducing a natural classification of validation strategies in different scenarios.
Heerink, L., Brinksma, E.
openaire +2 more sources
In this paper a generic framework inspired by [LX90] is presented for the validation of reactive systems embedded in a test environment, or isolated from their operational environment, thereby inducing a natural classification of validation strategies in different scenarios.
Heerink, L., Brinksma, E.
openaire +2 more sources
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedenberg, Amanda, Meier, Martin
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedenberg, Amanda, Meier, Martin
openaire +2 more sources
Fundamenta Informaticae, 1995
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,φ), is introduced.
Sasa Buvac, Vanja Buvac, Ian A. Mason
openaire +2 more sources
In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of context extends classical propositional logic in two ways. Firstly, a new modality, ist(κ,φ), is introduced.
Sasa Buvac, Vanja Buvac, Ian A. Mason
openaire +2 more sources
Context of Utterance and Intended Context
2001In this paper I expose and criticise the distinction between pure indexicals and demonstratives, held by David Kaplan and John Perry. I oppose the context of material production of the utterance to the "intended context" (the context of interpretation, i.e.
openaire +2 more sources
Higher-Order and Symbolic Computation, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2011
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t.
BOTTONI, Paolo Gaspare +4 more
openaire +2 more sources
In this paper we consider an operation of inserting contexts in a word controlled by a contextual scheme X which provides a selection criterion for contextual insertion. We say that a language L is k-stable w.r.t. a contextual scheme X if by making any k context insertions in a word of L we still obtain a word of L; L is k-anti-stable w.r.t.
BOTTONI, Paolo Gaspare +4 more
openaire +2 more sources
The Context of Context Effects
Applied Measurement in Education, 1992The principal purpose of this article is to provide a conceptual framework and heuristic model for considering the existence, magnitude, and consequences of context effects. This purpose is addressed through an extension of some concepts in generalizability theory.
openaire +1 more source
Context and Context Management
2019The user and user requirements are the main important concerns to design a pervasive computing system. The context of a user or device is another essential element in designing a context-aware pervasive computing system. This chapter is focused on what is the context, the variety of contexts, and the impact of that context information in developing a ...
Parikshit N. Mahalle, Prashant S. Dhotre
openaire +1 more source