Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Stefaneas, Petros S"'
Publikováno v:
EPTCS 410, 2024, pp. 53-68
The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-calculus, (b) a privacy policy language, and (c) a type checker that c
Externí odkaz:
http://arxiv.org/abs/2410.23759
In this paper, we address program development by multiple different programmers (or programming teams), each working in different settings (programming languages or reasoning frameworks), but following a common specification; in particular, we examin
Externí odkaz:
http://arxiv.org/abs/2211.01341
Publikováno v:
Journal of Logic & Computation; Jul2024, Vol. 34 Issue 5, p977-1000, 24p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
GEORGIOU, CHRISTOS J.1 (AUTHOR) georgiou@us.ibm.com, STEFANEAS, PETROS S.2 (AUTHOR) petros@mail.ntua.gr
Publikováno v:
Communications of the ACM. Apr2002, Vol. 45 Issue 4, p145-151. 7p. 2 Diagrams.
Publikováno v:
COMMONSENSE
This paper reports on a program for the development of cognitive systems based on user specifications expressed in Natural Language in the form of high-level guidelines for the desired behaviour of those systems. Language analysis from existing NLP t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4485::908a4826a5090901e1191d97dc506de0
http://gnosis.library.ucy.ac.cy/handle/7/62361
http://gnosis.library.ucy.ac.cy/handle/7/62361
Publikováno v:
Computational Creativity Research: Towards Creative Machines; 2015, p371-389, 19p