Towards a Type Discipline for Answer Set Programming Camillo Fiorentini, Alberto Momigliano, and Mario Ornaghi Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy {fiorenti,momiglia,orna

Source URL: homepages.inf.ed.ac.uk

Rational Synthesis Dana Fisman1 , Orna Kupferman1, and Yoad Lustig2 1 School of Computer Science and Engineering,Hebrew University, Jerusalem 91904, Israel. 2

Source URL: www.cis.upenn.edu

  “WB Yeats Was An Indie Author” says Orna Ross, Irish Director of the Alliance of Independent Authors, launching her new book which combines Yeats’ short story collection with her novel in a special tribute edit

Source URL: allianceindependentauthors.org

FOR IMMEDIATE RELEASE: ALLi Director Orna Ross Recognised As A Top Publishing Industry Influencer Orna Ross, Founder and Director of non-profit professional association The Alliance of Independent Authors (ALLi)

Source URL: allianceindependentauthors.org

Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly

Source URL: www.cs.tau.ac.il

A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how

Source URL: www.openu.ac.il

• Mathematics
• Mathematical logic
• Science and technology
• Theoretical computer science
• Algorithm
• Computational complexity theory
• Mathematical optimization
• Word problem
• Algorithm characterizations

Technion - Computer Science Department - Tehnical Report CSDeconstructing Amazon EC2 Spot Instance Pricing Orna Agmon Ben-Yehuda Muli Ben-Yehuda

Source URL: www.mulix.org

• Computing
• Economy
• Cloud computing
• Cloud infrastructure
• Pricing
• Financial markets
• Web services
• Amazon Elastic Compute Cloud
• Auction
• Amazon Web Services
• Spot contract
• Futures contract

The Resource-as-a-Service (RaaS) Cloud Orna Agmon Ben-Yehuda Muli Ben-Yehuda Assaf Schuster Technion—Israel Institute of Technology {ladypine,muli,assaf,dan}@cs.technion.ac.il Abstract

Source URL: www.mulix.org

• Cloud infrastructure
• Web hosting
• Cloud computing
• Elasticity
• Web hosting service
• CloudSigma
• VCloud Air
• Virtualization
• Service-level agreement
• Grid computing
• Distributed file system for cloud
• IBM cloud computing

Ginseng: Market-Driven Memory Allocation Orna Agmon Ben-Yehuda1 Eyal Posener 1 Muli Ben-Yehuda1,2 Assaf Schuster1 Ahuva Mu’alem1,3 1 Technion – Israel Institute of Technology

Source URL: www.mulix.org

• Software
• Computing
• Memory management
• Hardware virtualization
• Computer architecture
• Memory overcommitment
• Conventional memory
• Memcached
• Auction
• C dynamic memory allocation
• Hyper-V
• Out of memory

A Deconstructing Amazon EC2 Spot Instance Pricing ORNA AGMON BEN-YEHUDA, MULI BEN-YEHUDA, ASSAF SCHUSTER and DAN TSAFRIR, Technion – Israel Institute of Technology Cloud providers possessing large quantities of spare

Source URL: www.mulix.org

• Computing
• Economy
• Cloud computing
• Cloud infrastructure
• Web services
• Amazon Elastic Compute Cloud
• Pricing
• Financial markets
• Auction
• Spot contract
• Amazon.com
• Price