Results 1 to 10 of about 231,992 (188)
Truth, deduction and computation: Logic and semantics for computer science
Science of Computer Programming, 1990 Ralf Kneuper
exaly +2 more sources
A Survey of Trust in Computer Science and the Semantic Web [PDF]
SSRN Electronic Journal, 2007 Trust is an integral component in many kinds of human interaction, allowing people to act under uncertainty and with the risk of negative consequences. For example, exchanging money for a service, giving access to your property, and choosing between conflicting sources of information all may utilize some form of trust.
Donovan Artz, Yolanda Gil
openaire +1 more source
Generic Trace Semantics via Coinduction [PDF]
, 2007 Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability.
Ana Sokolova +3 more
core +11 more sources
The use of Semantic Technologies in Computer Science Curriculum: A Systematic Review
CoRR, 2022 Semantic technologies are evolving and being applied in several research areas, including the education domain. This paper presents the outcomes of a systematic review carried out to provide an overview of the application of semantic technologies in the context of the Computer Science curriculum and discuss the limitations in this field whilst offering
Yixin Cheng, Bernardo Pereira Nunes
openaire +2 more sources
The semantic view of computation and the argument from the cognitive science practice [PDF]
Synthese, 2022 According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations ...
Calzavarini, Fabrizio +1 more
openaire +2 more sources
Full abstraction for fair testing in CCS [PDF]
, 2013 In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully
B. Ahrens +10 more
core +5 more sources
Interpolation in computing science: the semantics of modularization [PDF]
Synthese, 2008 Inspired by ``Module algebra'' [\textit{J. A. Bergstra}, \textit{J. Heering} and \textit{P. Klint}, J. Assoc. Comput. Mach. 37, No.~2, 335--372 (1990; Zbl 0696.68040)], the author introduces Theory Algebra (TA), an algebraic theory of logical theories with three operations: union, hiding and application of interpretations, where a \textit{theory} is a ...
openaire +3 more sources
Reproducibility of execution environments in computational science using Semantics and Clouds [PDF]
Future Generation Computer Systems, 2017 Q1
Idafen Santana-Pérez +5 more
openaire +2 more sources
Modal logics are coalgebraic [PDF]
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Cirstea, Corina +4 more
core +5 more sources
Metadata Augmentation for Semantic- and Context- Based Retrieval of Digital Cultural Objects [PDF]
, 2007 Cultural objects are increasingly stored and generated in digital form, yet effective methods for their indexing and retrieval still remain an open area of research.
Pham, Binh, Smith, Robert
core +2 more sources