Zobrazeno 1 - 10
of 1 216
pro vyhledávání: '"Martin Abadi"'
Autor:
Martin Abadi, Gordon Plotkin
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)
Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimi
Externí odkaz:
https://doaj.org/article/c7a0c3dce37949f5b5683494ac4e6a89
Autor:
Corvol, Pierre
Cher Collègue, Cher Martin Abadi, La sécurité informatique fait régulièrement la une de l’actualité, avec aujourd’hui l’attaque par des hackers du site du ministère de l’Économie et des Finances à Bercy, et demain, qui sait, celle de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=openedition_::4bea236d6301c7f5384c1b2353419c2a
http://books.openedition.org/cdf/453
http://books.openedition.org/cdf/453
Autor:
Pierre Corvol
Publikováno v:
Les Leçons inaugurales du Collège de France.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e069ef2f7843d5cc07dc3442132121ad
https://doi.org/10.4000/lecons-cdf.453
https://doi.org/10.4000/lecons-cdf.453
Autor:
Brian Postow
Publikováno v:
ACM SIGACT News. 30:9-11
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef59c6a6c0b518979ae3715214b06b99
https://doi.org/10.1145/309739.1041990
https://doi.org/10.1145/309739.1041990
Autor:
Altschuler, Jason M.1 (AUTHOR) alts@upenn.edu, Chewi, Sinho2 (AUTHOR) schewi@ias.edu
Publikováno v:
Journal of the ACM. Jun2024, Vol. 71 Issue 3, p1-55. 55p.
Autor:
Martín Abadi, Steve Kremer
This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in A
Autor:
Martín Abadi, Alberto Lluch Lafuente
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together wit
Autor:
Maas, Martin1 (AUTHOR) mmaas@google.com, Andersen, David G.2 (AUTHOR) dga@cs.cmu.edu, Isard, Michael3 (AUTHOR) misard@google.com, Javanmard, Mohammad Mahdi4 (AUTHOR) mjavanmard@meta.com, McKinley, Kathryn S.5 (AUTHOR) ksmckinley@google.com, Raffel, Colin6 (AUTHOR) craffel@cs.unc.edu
Publikováno v:
Communications of the ACM. Apr2024, Vol. 67 Issue 4, p87-96. 10p.
Autor:
John Lamping, Martin Abadi
Publikováno v:
Theory and Practice of Object Systems. 1:5-18
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5b719d1de71a9603397686db36eac84
https://doi.org/10.1002/j.1096-9942.1995.tb00003.x
https://doi.org/10.1002/j.1096-9942.1995.tb00003.x