Transactions on Petri Nets and Other Models of Concurrency VIII
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research. ...
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research. ...
Transportation Management with SAP TM 9
Transportation Management with SAP TM 9 is a guide for CIO/CXOs evaluating options for various transportation management solutions available in the market and helps inappropriate decision making before committing investment. A proven evaluation framework and guidance provided in the book can help decision makers with product selection and help to create a business case for management approval and design a future roadmap for the organization. The book provides a comprehensive understanding of what SAP transportation management is and is useful for teams involved in TM Implementation and roll outs to ensure preparedness. The book explains end-to-end freight life cycle processes, functional system landscape, implementation challenges and post go-live precautions required to optimize investments in SAP TM. ...
Transportation Management with SAP TM 9 is a guide for CIO/CXOs evaluating options for various transportation management solutions available in the market and helps inappropriate decision making before committing investment. A proven evaluation framework and guidance provided in the book can help decision makers with product selection and help to create a business case for management approval and design a future roadmap for the organization. The book provides a comprehensive understanding of what SAP transportation management is and is useful for teams involved in TM Implementation and roll outs to ensure preparedness. The book explains end-to-end freight life cycle processes, functional system landscape, implementation challenges and post go-live precautions required to optimize investments in SAP TM. ...
Automation through Chef Opscode
Automation through Chef Opscode provides an in-depth understanding of Chef, which is written in Ruby and Erlang for configuration management, cloud infrastructure management, system administration, and network management. Targeted at administrators, consultants, and architect, the book guides them through the advanced features of the tool which are necessary for infrastructure automation, devops automation, and reporting. The book presumes knowledge of Ruby and Erlang which are used as reference languages for creating recipes and cookbooks and as a refresher on them to help the reader get on speed with the flow of book. The book provides step by step instructions on installation and configuration of Chef, usage scenarios of Chef, in infrastructure automation by providing common scenarios like virtual machine provisioning, OS configuration for Windows, Linux, and Unix, provisioning and configuration of web servers like Apache along with popular databases like MySQL. ...
Automation through Chef Opscode provides an in-depth understanding of Chef, which is written in Ruby and Erlang for configuration management, cloud infrastructure management, system administration, and network management. Targeted at administrators, consultants, and architect, the book guides them through the advanced features of the tool which are necessary for infrastructure automation, devops automation, and reporting. The book presumes knowledge of Ruby and Erlang which are used as reference languages for creating recipes and cookbooks and as a refresher on them to help the reader get on speed with the flow of book. The book provides step by step instructions on installation and configuration of Chef, usage scenarios of Chef, in infrastructure automation by providing common scenarios like virtual machine provisioning, OS configuration for Windows, Linux, and Unix, provisioning and configuration of web servers like Apache along with popular databases like MySQL. ...
Protecting Oracle Database 12c
Protecting Oracle Database 12c helps you solve the problem of maximizing the safety, resilience, and security of an Oracle database whilst preserving performance, availability, and integration despite ongoing and new security issues in the software. The book demonstrates, through coded examples, how you can enable the consolidation features of Oracle Database 12c without increasing risk of either internal corruption or external vulnerability. In addition, new protections not publicly available are included, so that you can see how demonstrable risk improvements can be achieved, measured, and reported through Enterprise Manager 12c. Most importantly, the challenge of privileged access control within a consolidation environment will be addressed, thus enabling a safe move to greater efficiency. ...
Protecting Oracle Database 12c helps you solve the problem of maximizing the safety, resilience, and security of an Oracle database whilst preserving performance, availability, and integration despite ongoing and new security issues in the software. The book demonstrates, through coded examples, how you can enable the consolidation features of Oracle Database 12c without increasing risk of either internal corruption or external vulnerability. In addition, new protections not publicly available are included, so that you can see how demonstrable risk improvements can be achieved, measured, and reported through Enterprise Manager 12c. Most importantly, the challenge of privileged access control within a consolidation environment will be addressed, thus enabling a safe move to greater efficiency. ...
Using R for Statistics
Using R for Statistics will get you the answers to most of the problems you are likely to encounter when using a variety of statistics. This book is a problem-solution primer for using R to set up your data, pose your problems and get answers using a wide array of statistical tests. The book walks you through R basics and how to use R to accomplish a wide variety statistical operations. You'll be able to navigate the R system, enter and import data, manipulate datasets, calculate summary statistics, create statistical plots and customize their appearance, perform hypothesis tests such as the t-tests and analyses of variance, and build regression models. Examples are built around actual datasets to simulate real-world solutions, and programming basics are explained to assist those who do not have a development background. ...
Using R for Statistics will get you the answers to most of the problems you are likely to encounter when using a variety of statistics. This book is a problem-solution primer for using R to set up your data, pose your problems and get answers using a wide array of statistical tests. The book walks you through R basics and how to use R to accomplish a wide variety statistical operations. You'll be able to navigate the R system, enter and import data, manipulate datasets, calculate summary statistics, create statistical plots and customize their appearance, perform hypothesis tests such as the t-tests and analyses of variance, and build regression models. Examples are built around actual datasets to simulate real-world solutions, and programming basics are explained to assist those who do not have a development background. ...
Learn Raspberry Pi Programming with Python
Learn Raspberry Pi Programming with Python will show you how to program your nifty new $35 computer to make a web spider, a weather station, a media server, and more. You'll learn how to program in Python on your Raspberry Pi with hands-on examples and fun projects. Even if you're completely new to programming in general, you'll figure out how to create a home security system, an underwater photography system, an RC plane with a camera, and even a near-space weather balloon with a camera. You'll learn how to make a variety of fun and even useful projects, from a web bot to search and download files to a toy to drive your pets insane. You'll even learn how to use Pi with Arduino as well as Pi with Gertboard, an expansion board with an onboard ATmega microcontroller. ...
Learn Raspberry Pi Programming with Python will show you how to program your nifty new $35 computer to make a web spider, a weather station, a media server, and more. You'll learn how to program in Python on your Raspberry Pi with hands-on examples and fun projects. Even if you're completely new to programming in general, you'll figure out how to create a home security system, an underwater photography system, an RC plane with a camera, and even a near-space weather balloon with a camera. You'll learn how to make a variety of fun and even useful projects, from a web bot to search and download files to a toy to drive your pets insane. You'll even learn how to use Pi with Arduino as well as Pi with Gertboard, an expansion board with an onboard ATmega microcontroller. ...
Mastering the Raspberry Pi
You probably already know that the Raspberry Pi is an excellent teaching tool. If you want to teach Linux basics or Python programming or basic electronics, it's a great place to start. But what if you are an electronics engineer or a Linux systems administrator or a very experienced maker? You want to know all of the details and inner working of the Raspberry Pi -- how to (figuratively or maybe even literally) make it get up and dance without wading through basics and introductory material. If you want to get right into the pro-level guts of the Raspberry Pi, complete with schematics, detailed hardware explanations, messing around with runlevels, reporting voltages and temperatures, and recompiling the kernel, then Mastering the Raspberry Pi is just the book you need. Along with all of the thorough explanations of hardware and operating system, you'll also get a variety of project examples and explanations that you can tune for your own project ideas. ...
You probably already know that the Raspberry Pi is an excellent teaching tool. If you want to teach Linux basics or Python programming or basic electronics, it's a great place to start. But what if you are an electronics engineer or a Linux systems administrator or a very experienced maker? You want to know all of the details and inner working of the Raspberry Pi -- how to (figuratively or maybe even literally) make it get up and dance without wading through basics and introductory material. If you want to get right into the pro-level guts of the Raspberry Pi, complete with schematics, detailed hardware explanations, messing around with runlevels, reporting voltages and temperatures, and recompiling the kernel, then Mastering the Raspberry Pi is just the book you need. Along with all of the thorough explanations of hardware and operating system, you'll also get a variety of project examples and explanations that you can tune for your own project ideas. ...
Visual Studio Condensed
Visual Studio 2013 is one of the most sophisticated integrated development environments in the world today. With hundreds of features and several different editions available, it can be hard to learn your way around, and hard to know whether you're using it to its full potential. Visual Studio Condensed gives you a quick and systematic guide to the features that matter most, tagged clearly according to their availability. The book starts by familiarizing you with the main features of Visual Studio and how to configure the user interface depending on your needs. You'll then dive into each key developer tool in turn, starting with the editor window and going through the navigation pane, documentation, and the NuGet package manager. Debugging is a difficult skill to master with a range of approaches and tools at your disposal, so you'll see how to make best use of breakpoints, the debugging windows, tracing and managed memory analysis, as well as tips and tricks on advanced debugging t ...
Visual Studio 2013 is one of the most sophisticated integrated development environments in the world today. With hundreds of features and several different editions available, it can be hard to learn your way around, and hard to know whether you're using it to its full potential. Visual Studio Condensed gives you a quick and systematic guide to the features that matter most, tagged clearly according to their availability. The book starts by familiarizing you with the main features of Visual Studio and how to configure the user interface depending on your needs. You'll then dive into each key developer tool in turn, starting with the editor window and going through the navigation pane, documentation, and the NuGet package manager. Debugging is a difficult skill to master with a range of approaches and tools at your disposal, so you'll see how to make best use of breakpoints, the debugging windows, tracing and managed memory analysis, as well as tips and tricks on advanced debugging t ...
Zabbix Network Monitoring Essentials
This book will help you to implement a powerful network monitoring solution based on Zabbix. Beginning with the installation of Zabbix, you will be guided through the complex task of designing, configuring, and deploying an enterprise class solution to efficiently monitor the networking infrastructures. Focusing on DNS and proxies, IT admins will learn how to effectively monitor a large network using Zabbix. Starting with a quick walk-through of the basics, this book will prove to be an invaluable tutorial if you intend to deploy a robust and secure monitoring system for your networking environment with 24/7 automated reporting and logging. With extensive coverage of network topology with maps and graphs, this book will enable you to set up an effective monitoring solution for your network infrastructure. The book's fast-paced, easy-to-follow approach ensures that you'll learn everything quickly and efficiently. ...
This book will help you to implement a powerful network monitoring solution based on Zabbix. Beginning with the installation of Zabbix, you will be guided through the complex task of designing, configuring, and deploying an enterprise class solution to efficiently monitor the networking infrastructures. Focusing on DNS and proxies, IT admins will learn how to effectively monitor a large network using Zabbix. Starting with a quick walk-through of the basics, this book will prove to be an invaluable tutorial if you intend to deploy a robust and secure monitoring system for your networking environment with 24/7 automated reporting and logging. With extensive coverage of network topology with maps and graphs, this book will enable you to set up an effective monitoring solution for your network infrastructure. The book's fast-paced, easy-to-follow approach ensures that you'll learn everything quickly and efficiently. ...
Handbook on Data Centers
This handbook offers a comprehensive review of the state-of-the-art research achievements in the field of data centers. Contributions from international, leading researchers and scholars offer topics in cloud computing, virtualization in data centers, energy efficient data centers, and next generation data center architecture. It also comprises current research trends in emerging areas, such as data security, data protection management, and network resource management in data centers. Specific attention is devoted to industry needs associated with the challenges faced by data centers, such as various power, cooling, floor space, and associated environmental health and safety issues, while still working to support growth without disrupting quality of service. The contributions cut across various IT data technology domains as a single source to discuss the interdependencies that need to be supported to enable a virtualized, next-generation, energy efficient, economical, and environme ...
This handbook offers a comprehensive review of the state-of-the-art research achievements in the field of data centers. Contributions from international, leading researchers and scholars offer topics in cloud computing, virtualization in data centers, energy efficient data centers, and next generation data center architecture. It also comprises current research trends in emerging areas, such as data security, data protection management, and network resource management in data centers. Specific attention is devoted to industry needs associated with the challenges faced by data centers, such as various power, cooling, floor space, and associated environmental health and safety issues, while still working to support growth without disrupting quality of service. The contributions cut across various IT data technology domains as a single source to discuss the interdependencies that need to be supported to enable a virtualized, next-generation, energy efficient, economical, and environme ...