Search Results for "safety" - Page 2

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

ASCOM driver for the LittleFoot Elegance Photo (LFEP) telescope controller. Firmware 6.x is fully supported - firmware 5.x is partially supported (all LFEP features are available but configuration is only possible by handbox). Contains drivers for telescope, focuser, camera, filter wheel, roof controller and dew heater which shares a single connection to the controller.

A complete (server and client, UDP and TCP transport), easy to use OSC (OpenSound-Control) library, featuring OO (C++) design, platform independence, type-safety, exception-handling and documentation (doxygen). Example clients and servers.

... the consumption of use ram for a normal PC usage around 512Mb of RAM, even with active visualizations. I chose this version and not that just left at the end of October, the 14:10; to have a long term support as regards security updates provided by Canonical. Support is now five years as we have become accustomed to the versions in Long Term Support. So until 2019 we will be updated packages to address the safety of the system. This explains the reason for this personal choice on what to use as the basis f

Polar Bear Safety Switch is an Open Source suite that has been designed for reliable, un-attended shutdown of Juniper devices (M, EX and SRX series), Checkpoint appliances as well as multiple UNIX based SSH enabled devices.

.... This is where HFV comes to help...Simply paste the location of your Infected directory on the box & click Delete virus to get rid of virus. As a safety precaution, keep this software backed up on system as well since the virus which hides all files and creates a shortcut can also hide this software as well. P.S.It can also be used to hide your private data from Neighbors and Roommates;)

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

The Logging Framework supports stream-like usability, extensibility, portability, type-safety, allows enabling/disabling certain parts or fully at compile time and dependent on the configuration also at runtime and avoids macro-related pitfalls.

JAM OS is a completely new desktop operating system designed to show the possibility of HTML5, CSS3 and JavaScript. System puts priority on the safety and convenience.

lysis is working on a features rich home automation system that ranges from CAN-bus, 1-wire and RF up to a HTPC; both hardware and software are addressed to make the really smart home; the domotics will provide energy saving, comfort, flexibility, safety

RunAsAdmin Explorer Shim is a tool that lets administrators to keep and easily use their administrative rights but still enjoy safety of using least privileged accounts.

English: PHP File Manager designed with a good safety. Español: Administrador de archivos en PHP diseñado con una buena seguridad.

Russian Technology Kit GNU/linux - the distribution kit for audit of safety in local networks of any class. Can be used for simplification of procedure of diagnostics and repair of hardware maintenance. Is truly free product.

Usbautostart is an utility performs autoplay for usb mass storage device. This programm launch automatically an application from a device when you connect its to pc, and close all application, running from device, when you try the "safety remove" on it

libnwrap - a library of network function wrappers that provides a simple and clear yet powerfull enough API for UNIX network programming. It targets ease of use, protocol independence, reentrancy, thread-safety, as well as built-in cryptograpy

The developed system is intended for unify monitoring and management the knots of local network, maintenance of integrity and safety of network. And also gives the set of services for remote administration of knots of network.

Welcome to Oshin OS Oshin OS is an Ezarch Linux-based free, safe, and open-source operating system for your kids and yourself that allows you to stay safe in the world of technology without compromising on your daily requirements. Oshin OS will ensure your safety, comfort, accessibility, and exploration opportunities. We offer a secure operating system for everyone in this digital world. Live boot Username: oshin Live boot Password: oshin The source code is hosted on Github: https...