Free dreams eternal software for linux

DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints.
The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems.
To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system. We plan to extend the genetic algorithms to solve a large number of problems.
DREAM is a simulation and verification framework which provides a formal model and analysis of your system in less than a day. Systems in DREAM are specified using XML in a straightforward way. I hope you find it useful.
Real-time middleware provides dependable and efficient platforms supporting key functional and quality of service (QoS) needs of distributed real-time embedded (DRE) systems.
Key challenges in DRE system developments include safe composition of system components and mapping the functional specifications onto the target platform. Model-based technologies help address these issues by enabling design-time analysis and providing the means for the rapid evaluation of design alternatives with respect to end-to-end QoS properties, predictability and performance measures before committing to a specific platform.
The Distributed Real-time Embedded Analysis Method DREAM is an open-source tool and method for optimizing multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems. The project focuses on the practical application of formal analysis methods to real-time middleware to automate the verification, development, configuration, and integration of middleware-based DRE systems.
Enhancements:
- This version implemented several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times.
- There are no known memory leaks present in the current release.
- Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method.
- XML Schema validation was implemented.
- Verification time reporting was upgraded to include data on the simulation speeds.
- Random simulation-based testing now provides an execution trace when a deadline is missed.

Dream Print Tracking System is a powerful and user-friendly system for tracking print distribution and circulation.
It uses many principles from customer relationship management (CRM) systems, but in a way specific to print publishers.
The Media Development Loan Fund commissioned Dream based on its experience in working with print publishers in more than 30 countries worldwide, where it provides support to independent media in the form of financing, training and technology.
In many of these countries, print distribution is one of the biggest difficulties independent publishers face because it is tightly controlled. Many countries have print distribution monopolies or cartels, which are either politically tied to the government, corrupt or incompetent.
Dream is a tool for tracking print circulation. In a similar way to customer relationship management (CRM) systems such as Campwares Cream software, Dream allows you to maintain a clear picture of your distribution business based on regularly entered contracts, orders, and shipment information. This is handled primarily through Dreams Report functions. Dream is designed to look and feel like an email application. Its inbox is used for tracking inbound communications such as new customer e-mails and customer phone calls.
Because Dream works with any standard SMTP mail server, it also manages outbound customer communications and keeps records of your responses.
Dream does two things: It is a database that stores all the relevant information you supply about the publications you produce, who distributes, who sells it, and how you connect with these people.
It is also a tool for retrieving and presenting this information in several different ways. It contains utilities for tracking products, promotions, and communications.
Dream handles four types of information:
1. Information about what you produce and the people to whom you provide it. This information is entered on the Options tab of the screen and appears primarily in the menus on the Main tabs screens. One example is a product category in which you describe a periodical you produce.
2. Information about specific products such as books or individual issues of what you produce, specific distributors and specific sellers, and tracking of these items from contract to order to shipment to return.
3. Communications, including records of incoming messages from various sources, outgoing emails to individuals, and newsletters.
4. User information including usernames, passwords, preferences and permissions.
Enhancements:
- Minor bugfixes were made.
- A Russian localization was added.

PETALS is an ObjectWeb Java Business Integration (JBI) platform. PETALS provides lightweight and packaged integration solutions, based on JSR-208 specifications, with a high focus on distribution and clustering.
PETALS is part of ObjectWeb ESB initiative, and was launched in June 2005 by EBM WebSourcing and Fossil E-Commerce.
The project leverages ObjectWeb architecture and projects like Fractal, JORAM, JOnAS to provide a JBI container with a focus on :
- JBI specification conformance
- Integrate JBI in JOnAS
- Multi JVM, distributed and clustered platform for JBI components with native transport based on existing ObjectWeb middleware : JORAM and Dream
- Propose packaged solutions for process orchestration (with focus on BPEL engine, Transformation engine, Web Services and JMS binding components) and B2B integration (with focus on Transformation and B2B bindng components like EDI, ...)
Enhancements:
- This release contains all the PETALS elements that are useful for integration solutions.
- New features include static definition of the distributed environment (avoiding multicast auto-discovering), an improvement to the Web Administrative console, IBM JVM compatibility, and more Binding components.

AFROS Live CD is a bootable CD with a small collection of GNU/Linux software, ARAnyM and the AFROS. AFROS Live CD boots and runs completely from CD, does not write anything to the harddrive and so is safe to try out. It is meant as a demo version of ARAnyM/AFROS. It is not the dreamed Installation CD of ARAnyM yet (although it could be modified to work so).

The underlying Linux kernel and related software provide the CD autoboot, automatic hardware detection, and support for many graphics cards, sound cards, SCSI and USB devices and other peripherals. ARAnyM plus AFROS provide our familiar and favourite TOS/FreeMiNT/GEM operating environment. Its all integrated seamlessly and after PowerOn boots straight to the Teradesk (GEM desktop).

AFROS Live CD is distributed in the form of a CD ISO image which is the usual way of distributing CDs electronically. The ISO image file can be burnt on a CD-R/RW and so youll get an exact copy of the AFROS Live CD I created on my machine.

AFROS Live CD configuration:

fVDI resolution and/or color depth change: open up the C:FVDI.SYS (double click it and select Edit), locate the "01r aranym.sys mode 800x600x16@72" line, comment it out and uncomment one of the other prepared lines (or just make up your own). Then reboot the AFROS.

The ARAnyM Config GUI is unfinished yet so changes to ARAnyM config must be done outside of ARAnyM in the .aranym/config file. When you quit ARAnyM you should be able to edit the file with one of the supplied GNU/Linux editors (in the future this shouldnt be necessary as I am working on the Config GUI as you read this).

DSL site (AFROS Live CD is based on the DSL) might give you some hints about preserving the changes youve made to the AFROS disk image or ARAnyM configuration (you might also want to read File Restoration -> HowTo in the X11 desktop). Note that this is untested by me and might be dangerous. Try it on your own risk only.

FreeVikings game reimplements the DOS game Lost Vikings.

One evening I was playing with toys like Emacs (my favourite text editor) and Ruby (my favourite high-level programming language) and I dreamed about playing one very nice game, Lost Vikings, on Linux. Without DOS emulator.

If only I had the source code... I would change it to run on my favourite operating system. But its a commercial game and its manufacturers dont want to make it free, although its rather old (1993). "Let you make it from scratch." I said to myself and started writing my first game in Ruby.

We have always dreamed of DOOM sources being released! How much days have we been talking about the features wed put in it.

In the middle of 1997, we heard a rumour that the sources of DOOM would be released. Some months later the miracle happened: during December 1997, id Software made the full source code of DOOM public.

KEEP THE BEST OF DOOM: Simple and fast. We wont add a thousands options that complicate the game and make the deathmatch slow down.
NO CHANGE TO THE GAMEPLAY: At least there will be an original gameplay mode.
USER FRIENDLY AND AIMED AT THE PLAYERS: We do Legacy for the people who PLAY and enjoy DOOM today. We wont make an adventure game out of DOOM, damn!
NO CHEATS IN MULTIPLAYER.