Zobrazeno 1 - 10
of 90
pro vyhledávání: '"Zuck, Lenore D."'
Autor:
Prasad, Sanjiva, Zuck, Lenore D.
Publikováno v:
EPTCS 222, 2016, pp. 30-44
Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience to adversarial behaviour. We formalise the notions of system, adversary
Externí odkaz:
http://arxiv.org/abs/1608.03127
Publikováno v:
In Journal of Computer and System Sciences May 2012 78(3):853-876
Autor:
Fang, Yi, Zuck, Lenore D.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 July 2007 176(3):21-35
Autor:
Halpern, Joseph Y., Zuck, Lenore D.
Publikováno v:
Journal of the ACM; Jul1992, Vol. 39 Issue 3, p449-478, 30p
This report documents the program and the outcomes of Dagstuhl Seminar 14052 "Ethics in Data Sharing". The seminar brought together computer scientists, an ethicist and legal scholars to discuss the topic of "ethics in data sharing."
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5664e2450a2bffe3f42b2b39b52502b6
Autor:
Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Junttila, Tommi, Rossum, P.J.B. van, Schulz, Stephan, Sebastiani, Roberto, Halbwachs, Nicolas, Zuck, Lenore D.
Publikováno v:
Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005), pp. 317-333
Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005), 317-333. Berlin ; New York : Springer Verlag
STARTPAGE=317;ENDPAGE=333;TITLE=Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005)
Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005), 317-333. Berlin ; New York : Springer Verlag
STARTPAGE=317;ENDPAGE=333;TITLE=Halbwachs, Nicolas; Zuck, Lenore D. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference (TACAS 2005)
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5750ead55d9d7b8bb0fecff2588a82c8
https://hdl.handle.net/2066/33280
https://hdl.handle.net/2066/33280
Autor:
Zuck, Lenore D., Prasad, Sanjiva
Publikováno v:
Trustworthy Global Computing: 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers; 2016, p131-146, 16p
Autor:
Remke, Anne K.I., Haverkort, Boudewijn R.H.M., Cloth, Lucia, Halbwachs, Nicolas, Zuck, Lenore D.
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005), 237-252
STARTPAGE=237;ENDPAGE=252;TITLE=Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005)
Scopus-Elsevier
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540253334
TACAS
STARTPAGE=237;ENDPAGE=252;TITLE=Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005)
Scopus-Elsevier
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540253334
TACAS
In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::283d7a8df1da07f6f355f4187a76bd5f
https://research.utwente.nl/en/publications/99048290-a816-4fc3-b26a-086b9a137abe
https://research.utwente.nl/en/publications/99048290-a816-4fc3-b26a-086b9a137abe
Publikováno v:
Verification, Model Checking & Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings; 2015, p300-317, 18p
Autor:
Zuck, Lenore D., Prasad, Sanjiva
Publikováno v:
Hardware & Software: Verification & Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings; 2015, p139-154, 16p