Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Yaron Wolfsthal"'
Publikováno v:
IUI Companion
With the ever-growing volume of cyber-attacks on organizations, security analysts require effective visual interfaces and interaction techniques to detect security breaches and, equally importantly, to efficiently share threat information. To support
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d53cc5e0d4547e97dff226f2b2443f6
https://doi.org/10.1145/3030024.3038264
https://doi.org/10.1145/3030024.3038264
Publikováno v:
Formal Methods in System Design. 22:101-108
Over the past nine years, the Formal Methods Group at the IBM Haifa Research Laboratory has made steady progress in developing tools and techniques that make the power of model checking accessible to the community of hardware designers and verificati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ceadb4e1c0a99df15e5b419170cb2284
https://doi.org/10.1023/a:1022905120346
https://doi.org/10.1023/a:1022905120346
Autor:
Yaron Wolfsthal, Dario Bruneo, Massimo Villari, Clarissa Cassales Marquezan, Antonio Puliafito, Chris Woods, Andreas Metzger, Philipp Leitner, Andreas Roth, Itai Segall, Danny Raz, Eliot Salant, Sharon Keidar-Barner, Thomas Fritz, Klaus Pohl, Francesco Longo
Publikováno v:
ISCC
The transition to cloud computing offers a large number of benefits, such as lower capital costs and a highly agile environment. Yet, the development of software engineering practices has not kept pace with this change. Moreover, the design and runti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0095816bf762ad22eaba63dff56dea3e
http://hdl.handle.net/11570/2858968
http://hdl.handle.net/11570/2858968
Autor:
Massimo Villari, Francesco Longo, Eliot Salant, Dario Bruneo, Yaron Wolfsthal, Antonio Puliafito
Publikováno v:
INCoS
The Future Internet is required to be fast, flexible and ever-responsive to demands from both humans and machines. It is evolving as an Internet of services, things, and infrastructure and the European Commission is supporting research projects that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::16501c4fa9e814b98975b8a82ae2aa06
http://hdl.handle.net/11570/2857968
http://hdl.handle.net/11570/2857968
Autor:
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Irit Shitsevalov, Cindy Eisner, Iris Reuveni, Tali Yatzkar-Haham, Yaron Wolfsthal, Ilan Beer, Daniel Geist, Tamir Heyman, Eran Rippel
Publikováno v:
Formal Methods in System Design. 19:35-44
We examine IBM's exploitation of formal verification using RuleBase—a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22163b2a577ba0e8eb2e52412bf3819e
https://doi.org/10.1023/a:1011219209077
https://doi.org/10.1023/a:1011219209077
Autor:
Michel Cezon, Yaron Wolfsthal
This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The book includes 23 reviewed papers from four workshops that were se
Autor:
A.K. Chandra, Barry K. Rosen, M. Mullen, Daniel Geist, J. Yoon, I. Nair, Vijay S. Iyengar, R. Armoni, Yaron Wolfsthal, D. Jameson, R. Jawalekar
Publikováno v:
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 3:188-200
This paper describes a system (AVPGEN) for generating tests (called architecture verification programs or AVP's) to check the conformance of processor designs to the specified architecture. To generate effective tests, AVPGEN uses novel concepts like
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6af2daaa4cc478a4b413c31dd8d1591b
https://doi.org/10.1109/92.386220
https://doi.org/10.1109/92.386220
Autor:
Dimosthenis Kyriazis, Miriam Allalouf, Francisco Guevara Hernández, Elliot K. Kolodner, Athanasios Voulodimos, Lucia Bonelli, Mirko Lorenz, Alexandra Shulman-Peleg, Erik Elmroth, Per Brand, Albert Eckert, José Manuel López López, Danny Harnik, Dalit Naor, Sivan Tal, Michael C. Jaeger, Spyridon V. Gogouvitis, Yaron Wolfsthal, Alberto Messina, Roman Talyansky, Ewnetu Bayuh Lakew
Publikováno v:
CloudCom
The emergence of cloud environments has made feasible the delivery of Internet-scale services by addressing a number of challenges such as live migration, fault tolerance and quality of service. However, current approaches do not tackle key issues re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf4c4fc3ac1f4b134b372273a021d5d3
https://doi.org/10.1109/cloudcom.2011.55
https://doi.org/10.1109/cloudcom.2011.55
Autor:
Benny, Rochwerger, Constantino, Vázquez, David, Breitgand, David, Hadas, Villari, Massimo, Philippe, Massonet, Eliezer, Levy, Alex, Galis, Llorente, Ignacio M., Montero, Rubén S., Yaron, Wolfsthal, Kenneth, Nagin, Lars, Larsson, Fermín, Galán
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3978::f05ce8bde5b11efa7a4f6179cd8a8c88
http://hdl.handle.net/11570/2610968
http://hdl.handle.net/11570/2610968
Autor:
Benny Rochwerger, Philippe Massonet, Massimo Villari, Constantino Vázquez, Alex Galis, Yaron Wolfsthal, Lars Larsson, Kenneth Nagin, David Breitgand, Fermín Galán, Rubén S. Montero, Eliezer Levy, Ignacio M. Llorente, David Hadas
Publikováno v:
Cloud Computing: Principles and Paradigms
The primary purpose of this book is to capture the state-of-the-art in Cloud Computing technologies and applications.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86784d429c7ac1eff9cd37f444a95c8b