Search Results for "safety"

DavUtils is a collection of easy to use WebDAV client tools. The built-in client-side encryption allows you to encrypt and decrypt files on the fly with AES. Currently two command line tools are available: dav is a multipurpose WebDAV client that can be used like the standard unix tools ls, mkdir and rm. The other tool is dav-sync that can synchronize local files with a WebDAV server. It is very flexible and configurable and has advanced data safety features to prevent data loss...

With DropYet you can manage your personal files in the easiest way. And it's not that bad looking. :) Enjoy the security, simplicity and beauty of DropYet. Upload, rename and delete files. The simpliest manager of files and folders. Furthermore, there are more features like securely sharing files, password encryption and encrypted file detection. Setting it up is easier than ever before. Just try DropYet. Currently working on MORE features for you. Now with Dark...

This Linux Live CD provides a Quick Way to Save Files from the Hard Drives to an External Drive for Safety and Rescue Purposes. This GUI System gets started in less than 28 seconds and is able to auto mount all drives including external ones, but excluding encrypted drives, for user access. On Startup, this system provides a dual pane file manager for copying files and folders between the panels, by way of a simple drag and drop facility. Following are the limitations of this system...

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...

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 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

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