Offline Synthesis Engine in Practice: Usage Instructions
|
|
- Jane Clark
- 8 years ago
- Views:
Transcription
1 Offline Synthesis Engine in Practice: Usage Instructions DIPARTIMENTO INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE Ing. Mario Caruso Ing. Claudio Di Ciccio Prof. Massimo Mecella - (ettore.iacomussi@uniroma1.it) 29th May 2012
2 Installation of VMware Instructions for Linux Ubuntu 9.04 or later version 1. Install required packages build-essential and linux-headers sudo apt-get install build-essential linux-headers-$(uname -r) 2. Download the latest VMware player (e.g. VMware-Player x86_64.txt) from p=player 3. Change the file extension from.txt to.bundle e.g. VMware-Player x86_64.bundle 4. Run the installer gksudo bash./downloads/vmware-player x86_64.bundle 5. Start VMware Player and add the provided Virtual Machine P. 2 / 21
3 Installation of VMware Instructions for Microsoft Windows 1. Download the latest VMware player (e.g. VMware Player for Windows) from 2. Run the installer 3. Start VMware Player and add the provided Virtual Machine P. 3 / 21
4 Startup of the Virtual Machine Startup instructions 1. Start the the Virtual Machine with OffSEn 2. The machine is installed with a Linux Ubuntu LTS 32bit OS 3. Use romance as password for the login of the RomanCE user and for the root user P. 4 / 21
5 OffSEn Server Startup Instructions 1. Open a terminal from Application->Accessories->Terminal 2. Startup Apache Tomcat: sudo /opt/apache-tomcat /bin/startup.sh use 'romance' as password for the 'root' user 3. Startup the OffSEn server: cd $SM4ALL_HOME./scripts/offsensvr 4. Open the browser Application->Internet->Firefox and browse the page P. 5 / 21
6 Web Interface Home Page P. 6 / 21
7 Web Interface Services P. 7 / 21
8 Web Interface Variables P. 8 / 21
9 Web Interface Targets P. 9 / 21
10 Web Interface Compositions P. 10 / 21
11 WakeUp Lite Example 1. Definition of the Community of Available Services; 2. Definition of the Databox; 3. Definition of the Target; 4. Synthesis. P. 11 / 21
12 WakeUp Lite Example Community of Available Services BedRoomAlarm BedRoomLight BedRoomBed P. 12 / 21
13 WakeUp Lite Example SAR and VAR files Service Instances are defined by SAR files; Service Archives are ZIP compressed packages that contain: services.sdd.xml with the definitions of the instances; SBL files with the definitions of Service models behaviour; Variable Instances are defined by VAR files; Variable Archives are ZIP compressed packages that contain: variables.vdd.xml with the definitions of the instances; VML files with the definitions of Variable models; P. 13 / 21
14 WakeUp Lite Example Target Service WakeUpLite P. 14 / 21
15 WakeUp Lite Example Target Service WakeUpLite definition <?xml version="1.0" encoding="utf 8"?> <service xmlns=" project.eu/composition/sbl" class="target"> <ts> <state name="start" type="initial"> <transition action="doringalarm"> <target state="alarmrung" /> </transition> </state> <state name="alarmrung" type="transient"> <transition action="doswitchonlight"> <target state="lightswitchedon" /> </transition> </state> <state name="lightswitchedon" type="transient"> <transition action="dobedup"> <target state="bedraisedup" /> </transition> </state> <state name="bedraisedup" type="final" /> </ts> </service> P. 15 / 21
16 WakeUp Lite Example Synthesis Start the Synthesis from the Target panel; Notes: the first composition of the system is charged by parser class loading time; The TLV input (SMV language) is stored in $SM4ALL_HOME/tmp/temporary.smv In each SMV file it appears a dummy service named no_op, used to fix automatically the problem of states without outgoing transitions. The TLV output is stored in $SM4ALL_HOME/tmp/temporary.out P. 16 / 21 OffSEn performs the composition in 782ms; TLV produces: 41 states 101 transitions
17 WakeUp Lite 2 Example Target Service WakeUpLite2 definition <?xml version="1.0" encoding="utf 8"?> <service xmlns=" project.eu/composition/sbl" class="target"> <ts> <state name="start" type="initial"> <transition action="doswitchonlight"> <target state="lightswitchedon" /> </transition> </state> <state name="lightswitchedon" type="transient"> <transition action="dobedup"> <target state="bedraisedup" /> </transition> </state> <state name="bedraisedup" type="final" /> </ts> </service> P. 17 / 21
18 WakeUp Lite 2 Example Synthesis Start the Synthesis from the Target panel; OffSEn performs the composition in 541ms; TLV produces: 25 states 85 transitions Notes: We removed one transition (doringalarm); OffSEn filters Available Services and does not take the BedRoomAlarm service for this run; TLV produced less states and transitions. P. 18 / 21
19 WakeUp Lite 3 Example Target Service WakeUpLite3 definition <?xml version="1.0" encoding="utf 8"?> <service xmlns=" project.eu/composition/sbl" class="target"> <ts> <state name="start" type="initial"> <transition action="doswitchonlight"> <target state="lightswitchedon" /> </transition> </state> <state name="lightswitchedon" type="transient"> <transition action="dobedup"> <target state="bedraisedup" /> </transition> </state> <state name="bedraisedup" type="transient"> <transition action="docallnurse"> <target state="nurse" /> </transition> </state> <state name="nurse" type="final" /> </ts> </service> P. 19 / 21
20 WakeUp Lite 3 Example Synthesis Start the Synthesis from the Target panel; OffSEn does not perform the composition; The desired Target is UNREALIZABLE; Notes: We added the transition docallnurse; It does not exist a Service of the Community that performs this action; P. 20 / 21
21 OffSEn Server Shutdown Instructions 1. Press Ctrl+C in the terminal window where the OffSEn server is running; 2. Shutdown Apache Tomcat sudo /opt/apache-tomcat /bin/shutdown.sh use 'romance' as password for the 'root' user if requested P. 21 / 21
The Roman Model for Automated Synthesis in Practice: the SM4All Experience
The Roman Model for Automated Synthesis in Practice: the SM4All Experience An implementation of the game structure based automated syntesis of services applied to a real scenario Mario Caruso 1 Claudio
More information1. Install a Virtual Machine... 2. 2. Download Ubuntu Ubuntu 14.04.1 LTS... 2. 3. Create a New Virtual Machine... 2
Introduction APPLICATION NOTE The purpose of this document is to explain how to create a Virtual Machine on a Windows PC such that a Linux environment can be created in order to build a Linux kernel and
More informationIntro to Virtualization
Intro to Virtualization Preprepared by Phil Grimes Coach / Mentor - Security Consultant Small changes & Additions by Dr. Enis Karaarslan, 2014 What is a Virtual Machine? Computer within a computer It's
More information1. Install a Virtual Machine... 2. 2. Download Ubuntu Ubuntu 14.04.1 LTS... 2. 3. Create a New Virtual Machine... 2
Introduction APPLICATION NOTE The purpose of this document is to explain how to create a Virtual Machine on a Windows PC such that a Linux environment can be created in order to build a Linux kernel and
More informationInstallation & Upgrade Guide
Installation & Upgrade Guide Document Release: September 2012 SnapLogic, Inc. 71 East Third Avenue San Mateo, California 94401 U.S.A. www.snaplogic.com Copyright Information 2011-2012 SnapLogic, Inc. All
More informationOnline Backup Client User Manual
Online Backup Client User Manual Software version 3.21 For Linux distributions January 2011 Version 2.0 Disclaimer This document is compiled with the greatest possible care. However, errors might have
More information1. Product Information
ORIXCLOUD BACKUP CLIENT USER MANUAL LINUX 1. Product Information Product: Orixcloud Backup Client for Linux Version: 4.1.7 1.1 System Requirements Linux (RedHat, SuSE, Debian and Debian based systems such
More informationOnline Backup Client User Manual Linux
Online Backup Client User Manual Linux 1. Product Information Product: Online Backup Client for Linux Version: 4.1.7 1.1 System Requirements Operating System Linux (RedHat, SuSE, Debian and Debian based
More informationRecoveryVault Express Client User Manual
For Linux distributions Software version 4.1.7 Version 2.0 Disclaimer This document is compiled with the greatest possible care. However, errors might have been introduced caused by human mistakes or by
More informationUsing VirtualBox ACHOTL1 Virtual Machines
Using VirtualBox ACHOTL1 Virtual Machines The steps in the Apache Cassandra Hands-On Training Level One courseware book were written using VMware as the virtualization technology. Therefore, it is recommended
More informationECT362 Installing Linux Virtual Machine in KL322
ECT362 Installing Linux Virtual Machine in KL322 The steps below outline how to install Linux under Windows as a virtual machine. This install uses the Ubuntu 10.04 distribution of Linux along with the
More informationPersonal Virtual Server (PVS) Quick Start Guide
Personal Virtual Server (PVS) Quick Start Guide Copyright 2015 Pegasystems Inc., Cambridge, MA All rights reserved. This document describes products and services of Pegasystems Inc. It may contain trade
More informationOnline Backup Linux Client User Manual
Online Backup Linux Client User Manual Software version 4.0.x For Linux distributions August 2011 Version 1.0 Disclaimer This document is compiled with the greatest possible care. However, errors might
More informationOnline Backup Client User Manual
For Linux distributions Software version 4.1.7 Version 2.0 Disclaimer This document is compiled with the greatest possible care. However, errors might have been introduced caused by human mistakes or by
More informationOnline Backup Client User Manual Mac OS
Online Backup Client User Manual Mac OS 1. Product Information Product: Online Backup Client for Mac OS X Version: 4.1.7 1.1 System Requirements Operating System Mac OS X Leopard (10.5.0 and higher) (PPC
More informationOnline Backup Client User Manual Mac OS
Online Backup Client User Manual Mac OS 1. Product Information Product: Online Backup Client for Mac OS X Version: 4.1.7 1.1 System Requirements Operating System Mac OS X Leopard (10.5.0 and higher) (PPC
More informationARIS Education Package Process Design & Analysis Installation Guide. Version 7.2. Installation Guide
ARIS Education Package Process Design & Analysis Installation Guide Version 7.2 Installation Guide March 2012 This publication is protected by international copyright law. All rights reserved. No part
More informationOnline Backup Client User Manual
For Mac OS X Software version 4.1.7 Version 2.2 Disclaimer This document is compiled with the greatest possible care. However, errors might have been introduced caused by human mistakes or by other means.
More informationINUVIKA OVD INSTALLING INUVIKA OVD ON UBUNTU 14.04 (TRUSTY TAHR)
INUVIKA OVD INSTALLING INUVIKA OVD ON UBUNTU 14.04 (TRUSTY TAHR) Mathieu SCHIRES Version: 0.9.1 Published December 24, 2014 http://www.inuvika.com Contents 1 Prerequisites: Ubuntu 14.04 (Trusty Tahr) 3
More informationULTEO OPEN VIRTUAL DESKTOP UBUNTU 12.04 (PRECISE PANGOLIN) SUPPORT
ULTEO OPEN VIRTUAL DESKTOP V4.0.2 UBUNTU 12.04 (PRECISE PANGOLIN) SUPPORT Contents 1 Prerequisites: Ubuntu 12.04 (Precise Pangolin) 3 1.1 System Requirements.............................. 3 1.2 sudo.........................................
More informationVERSION 9.02 INSTALLATION GUIDE. www.pacifictimesheet.com
VERSION 9.02 INSTALLATION GUIDE www.pacifictimesheet.com PACIFIC TIMESHEET INSTALLATION GUIDE INTRODUCTION... 4 BUNDLED SOFTWARE... 4 LICENSE KEY... 4 SYSTEM REQUIREMENTS... 5 INSTALLING PACIFIC TIMESHEET
More informationSolr Bridge Search Installation Guide
Solr Bridge Search Installation Guide Table of contents 1. Solr Installation 1.1 Tomcat6 (Web server) installation. 1.2 Apache Solr 3.3.0 installation. 1.3 Install SolrBirge package (preconfigured solr
More informationUlteo Open Virtual Desktop Installation
Ulteo Open Virtual Desktop Installation Copyright 2008 Ulteo SAS - CONTENTS CONTENTS Contents 1 Prerequisites 2 1.1 Installation of MySQL....................................... 2 2 Session Manager (sm.ulteo.com)
More informationInstallation documentation for Ulteo Open Virtual Desktop
Installation documentation for Ulteo Open Virtual Desktop Copyright 2008 Ulteo SAS - 1 PREREQUISITES CONTENTS Contents 1 Prerequisites 1 1.1 Installation of MySQL.......................................
More informationINASP: Effective Network Management Workshops
INASP: Effective Network Management Workshops Linux Familiarization and Commands (Exercises) Based on the materials developed by NSRC for AfNOG 2013, and reused with thanks. Adapted for the INASP Network
More informationHow to Install Multicraft on a VPS or Dedicated Server (Ubuntu 13.04 64 bit)
How to Install Multicraft on a VPS or Dedicated Server (Ubuntu 13.04 64 bit) Introduction Prerequisites This tutorial will show you step-by-step on how to install Multicraft 1.8.2 on a new VPS or dedicated
More informationINSTALLATION GUIDE El Jefe 2.1 Document version: June 2014
INSTALLATION GUIDE El Jefe 2.1 Document version: June 2014 Contents 1 Goal of this Document...3 2 Introduction...3 3 Installation...4 3.1 El Jefe 2.1 Installation on Ubuntu 13.04 LTS...4 3.2 El Jefe 2.1
More informationSecure Agent Quick Start for Windows
Secure Agent Quick Start for Windows 1993-2015 Informatica Corporation. No part of this document may be reproduced or transmitted in any form, by any means (electronic, photocopying, recording or otherwise)
More informationHow To Install Acronis Backup & Recovery 11.5 On A Linux Computer
Acronis Backup & Recovery 11.5 Server for Linux Update 2 Installation Guide Copyright Statement Copyright Acronis International GmbH, 2002-2013. All rights reserved. Acronis and Acronis Secure Zone are
More informationDownload Virtualization Software Download a Linux-based OS Creating a Virtual Machine using VirtualBox: VM name
Download Virtualization Software You will first need to download and install a virtualization product. This will allow you to create a virtual machine which you can install a Linux distribution on. I recommend
More informationComodo MyDLP Software Version 2.0. Installation Guide Guide Version 2.0.010215. Comodo Security Solutions 1255 Broad Street Clifton, NJ 07013
Comodo MyDLP Software Version 2.0 Installation Guide Guide Version 2.0.010215 Comodo Security Solutions 1255 Broad Street Clifton, NJ 07013 Table of Contents 1.About MyDLP... 3 1.1.MyDLP Features... 3
More informationDraganFly Guardian: API Instillation Instructions
Setting Up Ubuntu to Run Draganflyer Guardian API Page 1 of 16 \ DraganFly Guardian: API Instillation Instructions Spring 2015 Casey Corrado Setting Up Ubuntu to Run Draganflyer Guardian API Page 2 of
More informationInstallation, Configuration and Administration Guide
Installation, Configuration and Administration Guide ehd10.0.1 everything HelpDesk Installation, Configuration and Administration Guide GroupLink Corporation 2013 GroupLink Corporation. All rights reserved
More informationBitrix Site Manager. VMBitrix Virtual Machine. Quick Start And Usage Guide
Bitrix Site Manager VMBitrix Virtual Machine. Quick Start And Usage Guide Contents Introduction... 3 Chapter 1. Starting The VMBitrix Virtual Machine... 4 Minimum Requirements For VMWare Player / VMBitrix...
More informationInstalling and Configuring Microsoft Dynamics Outlook Plugin to Use with ipipeline MS CRM
Installing and Configuring Microsoft Dynamics Outlook Plugin to Use with ipipeline MS CRM Downloading 1. Download zip file for your version of Outlook (32-bit or 64-bit) and save to computer. (This is
More informationVerax Service Desk Installation Guide for UNIX and Windows
Verax Service Desk Installation Guide for UNIX and Windows March 2015 Version 1.8.7 and higher Verax Service Desk Installation Guide 2 Contact Information: E-mail: sales@veraxsystems.com Internet: http://www.veraxsystems.com/
More informationCORISECIO. Quick Installation Guide Open XML Gateway
Quick Installation Guide Open XML Gateway Content 1 FIRST STEPS... 3 2 INSTALLATION... 3 3 ADMINCONSOLE... 4 3.1 Initial Login... 4 3.1.1 Derby Configuration... 5 3.1.2 Password Change... 6 3.2 Logout...
More informationQuick Setup Guide. 2 System requirements and licensing. 2011 Kerio Technologies s.r.o. All rights reserved.
Kerio Control VMware Virtual Appliance Quick Setup Guide 2011 Kerio Technologies s.r.o. All rights reserved. This document provides detailed description on installation and basic configuration of the Kerio
More informationTRUD Service Download Guide
TRUD Service Download Guide TRUD Service Download Guide Contents 1 Overview... 2 2 FTP Directory Structure Overview... 3 2.1 Release Files... 5 3 Download Methods... 6 3.1 A Dedicated FTP Client (Recommended
More informationCDH installation & Application Test Report
CDH installation & Application Test Report He Shouchun (SCUID: 00001008350, Email: she@scu.edu) Chapter 1. Prepare the virtual machine... 2 1.1 Download virtual machine software... 2 1.2 Plan the guest
More informationPowerPanel Business Edition Installation Guide
PowerPanel Business Edition Installation Guide For Automatic Transfer Switch Rev. 5 2015/12/2 Table of Contents Introduction... 3 Hardware Installation... 3 Install PowerPanel Business Edition Software...
More informationThe 2013 Experimental Warning Program (EWP) Virtual Weather Event Simulator (WES) Windows & Linux Installation Documentation
The 2013 Experimental Warning Program (EWP) Virtual Weather Event Simulator (WES) Windows & Linux Installation Documentation National Severe Storms Laboratory (NSSL) Norman, OK Contents I WINDOWS CONFIGURATION
More informationVirtual Appliance for VMware Server. Getting Started Guide. Revision 2.0.2. Warning and Disclaimer
Virtual Appliance for VMware Server Getting Started Guide Revision 2.0.2 Warning and Disclaimer This document is designed to provide information about the configuration and installation of the CensorNet
More informationJAMF Software Server Installation Guide for Linux. Version 8.6
JAMF Software Server Installation Guide for Linux Version 8.6 JAMF Software, LLC 2012 JAMF Software, LLC. All rights reserved. JAMF Software has made all efforts to ensure that this guide is accurate.
More informationLinux Boot Camp. Our Lady of the Lake University Computer Information Systems & Security Department Kevin Barton Artair Burnett
Linux Boot Camp Our Lady of the Lake University Computer Information Systems & Security Department Kevin Barton Artair Burnett Schedule for the Week Schedule for the Week Mon Welcome from Enrollment Management
More informationUser Manual - Help Utility Download MMPCT. (Mission Mode Project Commercial Taxes) User Manual Help-Utility
Excise and Taxation, Haryana Plot I-3, Sector 5, Panchkula, Haryana MMPCT (Mission Mode Project Commercial Taxes) User Manual Help-Utility Wipro Limited HETD For any queries call at the helpdesk numbers:
More informationComputer Science and Engineering Linux Cisco VPN Client Installation and Setup Guide
Computer Science and Engineering Linux Cisco VPN Client Installation and Setup Guide Contents Installation: Ubuntu Linux 7.10 Gusty Gibbon:... 2 Installation: Redhat Enterprise 5 and Fedora 8 Linux:...
More information13.1 Backup virtual machines running on VMware ESXi / ESX Server
13 Backup / Restore VMware Virtual Machines Tomahawk Pro This chapter describes how to backup and restore virtual machines running on VMware ESX, ESXi Server or VMware Server 2.0. 13.1 Backup virtual machines
More informationQuickStart Guide for Managing Computers. Version 9.2
QuickStart Guide for Managing Computers Version 9.2 JAMF Software, LLC 2013 JAMF Software, LLC. All rights reserved. JAMF Software has made all efforts to ensure that this guide is accurate. JAMF Software
More informationIn order to upload a VM you need to have a VM image in one of the following formats:
What is VM Upload? 1. VM Upload allows you to import your own VM and add it to your environment running on CloudShare. This provides a convenient way to upload VMs and appliances which were already built.
More informationSSO Plugin. J System Solutions. Upgrading SSO Plugin 3x to 4x - BMC AR System & Mid Tier. http://www.javasystemsolutions.com
SSO Plugin Upgrading SSO Plugin 3x to 4x - BMC AR System & Mid Tier J System Solutions JSS SSO Plugin Upgrading 3x to 4x Introduction... 3 [Prerequisite] Generate a new license... 4 [Prerequisite] Download
More informationTo configure a Virtual SIP Server
Configuring a virtual SIP Serveм v. 1.1.2 1 To configure a Virtual SIP Server To configure a Virtual SIP Server in your local network do the following: Install VMware Player 1. Download the VMware Player
More informationEnter Here --->> New Instant Directory Profits Software - ebook
Enter Here --->> New Instant Directory Profits Software - ebook Windows active directory change password policy best way to get cheapest directory submitter software for one getting free web interface
More informationSigniant Agent installation
Signiant Agent installation Release 11.3.0 March 2015 ABSTRACT Guidelines to install the Signiant Agent software for the WCPApp. The following instructions are adapted from the Signiant original documentation
More informationThe Tor VM Project. Installing the Build Environment & Building Tor VM. Copyright 2008 - The Tor Project, Inc. Authors: Martin Peck and Kyle Williams
The Tor VM Project Installing the Build Environment & Building Tor VM Authors: Martin Peck and Kyle Williams Table of Contents 1. Introduction and disclaimer 2. Creating the virtualization build environment
More informationQuickStart Guide for Managing Mobile Devices. Version 9.2
QuickStart Guide for Managing Mobile Devices Version 9.2 JAMF Software, LLC 2013 JAMF Software, LLC. All rights reserved. JAMF Software has made all efforts to ensure that this guide is accurate. JAMF
More informationKollaborate Server Installation Guide!! 1. Kollaborate Server! Installation Guide!
Kollaborate Server Installation Guide 1 Kollaborate Server Installation Guide Kollaborate Server is a local implementation of the Kollaborate cloud workflow system that allows you to run the service in-house
More informationZend Server 4.0 Beta 2 Release Announcement What s new in Zend Server 4.0 Beta 2 Updates and Improvements Resolved Issues Installation Issues
Zend Server 4.0 Beta 2 Release Announcement Thank you for your participation in the Zend Server 4.0 beta program. Your involvement will help us ensure we best address your needs and deliver even higher
More information1 Download & Installation... 4. 1 Usernames and... Passwords
Contents I Table of Contents Part I Document Overview 2 Part II Document Details 3 Part III EventSentry Setup 4 1 Download & Installation... 4 Part IV Configuration 4 1 Usernames and... Passwords 5 2 Network...
More informationDriver Upgrade Instructions
Driver Upgrade Instructions Table of Content Installing updated drivers in Microsoft Windows 2 Uninstall Procedure 2 Uninstall Procedure for Windows 7 3 Install Procedure 4 Installing updated drivers in
More informationSecure File Transfer Protocol Updated Procedures. June 20, 2011
Secure File Transfer Protocol Updated Procedures June 20, 2011 Table Of Contents Section Subject 1 Overview 2 Installation and Environment Considerations 3 Preparing the Files for Transfer 4 Connecting
More informationVCL Access. VCL provides access to Linux and Windows 7 Virtual Machines. Users will only see those images that they are authorized to access.
What is VCL? VCL (Virtual Computer Lab) is a service running on servers in IIT s datacenter that enables users to schedule and connect to virtual desktops running specific academic software applications
More informationTesting your Linux Virtual Box
Testing your Linux Virtual Box This document will guide you through downloading and installing the software you need for this offering. Make sure you get a fully working system early in the week so you
More informationInstall Guide Linux Ubuntu 10.04 LTS (Lucid Lynx) Desktop
Global Open Versity IT System Integration Hands-on Labs Training Manual Install Guide Linux Ubuntu 10.04 LTS (Lucid Lynx) Desktop Kefa Rabah Global Open Versity, Vancouver Canada krabah@globalopenversity.org
More informationUniversity of Amsterdam VPN Linux User Guide (Version 1.2)
Informatiseringscentrum ICTS University of Amsterdam VPN Linux User Guide (Version 1.2) Date 8 December 2014 Contents Introduction... 3 Installation steps... 3 Page 2 University of Amsterdam TS Datel VPN
More informationMassey University Follow Me Printer Setup for Linux systems
Massey University Follow Me Printer Setup for Linux systems RedHat and Debian based systems Requirements You must have an active Massey network account, i.e. you should already be able to log onto the
More informationDocuShare Installation Guide
DocuShare Installation Guide Publication date: February 2011 This document supports DocuShare Release 6.6.1 Prepared by: Xerox Corporation DocuShare Business Unit 3400 Hillview Avenue Palo Alto, California
More informationUser Manual. User Manual Version 4.0.0.0
User Manual User Manual Version 4.0.0.0 I Endpoint Protector Virtual Appliance User Manual Table of Contents 1. Endpoint Protector Virtual Appliance Formats1 1.1. Available Formats of the Virtual Appliance...
More informationApache Hadoop 2.0 Installation and Single Node Cluster Configuration on Ubuntu A guide to install and setup Single-Node Apache Hadoop 2.
EDUREKA Apache Hadoop 2.0 Installation and Single Node Cluster Configuration on Ubuntu A guide to install and setup Single-Node Apache Hadoop 2.0 Cluster edureka! 11/12/2013 A guide to Install and Configure
More informationWolfr am Lightweight Grid M TM anager USER GUIDE
Wolfram Lightweight Grid TM Manager USER GUIDE For use with Wolfram Mathematica 7.0 and later. For the latest updates and corrections to this manual: visit reference.wolfram.com For information on additional
More informationQuick Start Guide for Parallels Virtuozzo
PROPALMS VDI Version 2.1 Quick Start Guide for Parallels Virtuozzo Rev. 1.1 Published: JULY-2011 1999-2011 Propalms Ltd. All rights reserved. The information contained in this document represents the current
More informationGetting Started Guide
Browser Appliance Getting Started Guide The Browser Appliance is a free virtual machine (available from the VMware Technology Network at www.vmware.com/vmtn/vm) that allows you to browse the Internet securely
More informationBuilding a Penetration Testing Virtual Computer Laboratory
Building a Penetration Testing Virtual Computer Laboratory User Guide 1 A. Table of Contents Collaborative Virtual Computer Laboratory A. Table of Contents... 2 B. Introduction... 3 C. Configure Host Network
More informationLaboration 3 - Administration
Laboration 3 - Administration During this laboration we will learn how to install, configure and test servers that will allow you to have access remote machines, copy files between computers and file sharing.
More informationHOW TO BUILD A VMWARE APPLIANCE: A CASE STUDY
HOW TO BUILD A VMWARE APPLIANCE: A CASE STUDY INTRODUCTION Virtual machines are becoming more prevalent. A virtual machine is just a container that describes various resources such as memory, disk space,
More informationProduct Overview. Initial Seeding
Product Overview Initial Seeding After installing POPI Online Backup software on your servers, you can start backing up data to our secure cloud service over the Internet. Copying large amounts of data
More informationLand Information New Zealand (LINZ) SALT Database. Migration from original hardware to virtualised hardware: Process Documentation
Land Information New Zealand (LINZ) SALT Database Migration from original hardware to virtualised hardware: Process Documentation Contents Migration from original hardware to virtualised hardware: Process
More informationTable of Contents Introduction and System Requirements 9 Installing VMware Server 35
Table of Contents Introduction and System Requirements 9 VMware Server: Product Overview 10 Features in VMware Server 11 Support for 64-bit Guest Operating Systems 11 Two-Way Virtual SMP (Experimental
More informationAcronis Backup & Recovery 11.5 Quick Start Guide
Acronis Backup & Recovery 11.5 Quick Start Guide Applies to the following editions: Advanced Server for Windows Virtual Edition Advanced Server SBS Edition Advanced Workstation Server for Linux Server
More informationApache and Virtual Hosts Exercises
Apache and Virtual Hosts Exercises Install Apache version 2 Apache is already installed on your machines, but if it was not you would simply do: # apt-get install apache2 As the root user. Once Apache
More informationPlexxi Control Installation Guide Release 2.1.0
Plexxi Control Installation Guide Release 2.1.0 702-20002-10 Rev 1.2 February 19, 2015 100 Innovative Way - Suite 3322 Nashua, NH 03062 Tel. +1.888.630.PLEX (7539) www.plexxi.com Notices The information
More informationSETTING UP A LAMP SERVER REMOTELY
SETTING UP A LAMP SERVER REMOTELY It s been said a million times over Linux is awesome on servers! With over 60 per cent of the Web s servers gunning away on the mighty penguin, the robust, resilient,
More informationSSL Intercept Mode. Certificate Installation Guide. Revision 1.0.0. Warning and Disclaimer
SSL Intercept Mode Certificate Installation Guide Revision 1.0.0 Warning and Disclaimer This document is designed to provide information about the configuration of CensorNet Professional. Every effort
More informationCode Estimation Tools Directions for a Services Engagement
Code Estimation Tools Directions for a Services Engagement Summary Black Duck software provides two tools to calculate size, number, and category of files in a code base. This information is necessary
More informationHow To Run Anolicense Server On A Windows 7.5 (For Free) Or 8 (For Ubuntu) Or 9.5.5 For Free (For Microsoft) (For Linux) (Or For Free) ( For
Quick Start Guide for Installing OLicense-Server for use with SimDiff/SimMerge Contents Installing OLicense-Server... 1 Configuring OLicense-Server... 2 Setting the Port Number... 2 Running OLicense-Server
More informationInstruction Guide Practice Round 2 High School August 2015
Instruction Guide Practice Round 2 High School August 2015 1 Maryland Cyber Challenge Practice Round Instruction Guide Table of Contents Introduction 3 Tips for Success 3 Round Times 3 Linux Virtual Machine
More informationThe Rockefeller University I NFORMATION T ECHNOLOGY E DUCATION & T RAINING. VPN Configuration Guide for PC/Mac/Linux
The Rockefeller University I NFORMATION T ECHNOLOGY E DUCATION & T RAINING VPN Configuration Guide for PC/Mac/Linux Table of Contents VPN Configuration Guide for PC/Mac/Linux... 1 Pulse Secure Client for
More informationSmoothWall Virtual Appliance
SmoothWall Virtual Appliance Quick Start Guide Quick Deployment Guide Quick Start Guide Winfrasoft SmoothWall Appliance Quick Start Guide Published: May 2013 Applies to: Winfrasoft Gateway Appliance Web
More informationVMTurbo Operations Manager 4.5 Installing and Updating Operations Manager
VMTurbo Operations Manager 4.5 Installing and Updating Operations Manager VMTurbo, Inc. One Burlington Woods Drive Burlington, MA 01803 USA Phone: (781) 373---3540 www.vmturbo.com Table of Contents Introduction
More informationPartek Flow Installation Guide
Partek Flow Installation Guide Partek Flow is a web based application for genomic data analysis and visualization, which can be installed on a desktop computer, compute cluster or cloud. Users can access
More informationAccessing Staff and Student VMs Using VMware View
Accessing Staff and Student VMs Introduction VMware View is a program that you use to connect to a virtual University computer desktop at the University or from home. Note that the most recent is VMware
More informationZeroTurnaround License Server User Manual 1.4.0
ZeroTurnaround License Server User Manual 1.4.0 Overview The ZeroTurnaround License Server is a solution for the clients to host their JRebel licenses. Once the user has received the license he purchased,
More informationHadoop Data Warehouse Manual
Ruben Vervaeke & Jonas Lesy 1 Hadoop Data Warehouse Manual To start off, we d like to advise you to read the thesis written about this project before applying any changes to the setup! The thesis can be
More informationQuick Start Guide for VMware and Windows 7
PROPALMS VDI Version 2.1 Quick Start Guide for VMware and Windows 7 Rev. 1.1 Published: JULY-2011 1999-2011 Propalms Ltd. All rights reserved. The information contained in this document represents the
More informationCreating a DUO MFA Service in AWS
Amazon AWS is a cloud based development environment with a goal to provide many options to companies wishing to leverage the power and convenience of cloud computing within their organisation. In 2013
More informationCloud n Service Presentation. NTT Communications Corporation Cloud Services
Cloud n Service Presentation NTT Communications Corporation Cloud Services 1 Overview of Global Public Cloud Services Cloud n offeres datacenters in U.S. and Japan Global standard service architecture
More informationAcronis Backup Service Version 4
Acronis Backup Service Version 4 ADMINISTRATOR'S GUIDE Revision: 6/25/2015 Table of contents 1 Administrator's Guide...3 1.1 About this document... 3 1.2 About the backup service... 3 1.2.1 Accounts and
More informationSIMIAN systems. Setting up a Sitellite development environment on Mac OS X. Sitellite Content Management System
Setting up a Sitellite development environment on Mac OS X Sitellite Content Management System Introduction Mac OS X is a great platform for web application development, and now with tools like VMWare
More information