Results 1 to 10 of about 1,268,500 (362)
Tarski's influence on computer science [PDF]
Logical Methods in Computer Science, 2006 The influence of Alfred Tarski on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is the work of Tarski on the decision procedure for algebra and geometry, the method of ...
Prakash Panangaden, Solomon Feferman
core +3 more sources
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
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 +3 more sources
Immersive learning research [PDF]
, 2018 Editorial. Material for the special issue "Immersive Learning Research" of the Journal of Universal Computer Science.Welcome to the Journal of Universal Computer Science (J.UCS) special issue organized by the Immersive Learning Research Network (iLRN ...
Allison, Colin +3 more
core +2 more sources
Encapsulation of semantic description with syntactic components for the Arabic language [PDF]
, 2021 The work presents new theoretical equipment for the representation of natural languages (NL) in computers. Linguistics: morphology, semantics, and syntax are also presented as components of subtle computer science that form. A structure and an integrated
Al Sagheer, Radhwan Hussein Abdulzhraa +2 more
core +2 more sources
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings [PDF]
, 2020 authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis ...
core +1 more source
Compositional Modelling of Network Games [PDF]
, 2021 The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life.
Di Lavore, Elena +2 more
core +3 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
CS 499/699: Logic for Computer Scientists [PDF]
, 2010 Logic is often called the Calculus of Computer Science. Indeed, logic permeates most areas of Computer Science in one way or the other, sometimes more prominently, and sometimes as motivational or formal underpinning.
Hitzler, Pascal
core +3 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