Alloy Analyzer

In computer science and software engineering, the Alloy Analyzer is a software tool which can be used to analyze specifications written in the Alloy specification language.[1] The Analyzer can generate instances of model invariants, simulate the execution of operations defined as part of the model, and check user-specified properties of a model. The Alloy Analyzer supports the analysis of partial models. As a result, it can perform incremental analysis of models as they are constructed, and provide immediate feedback to users.

The Alloy Analyzer, and the associated Alloy language, were developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States.

Taksi (software)

Taksi is a screencasting program that can take screenshots and record video clips of game sessions and other similar 3D-graphics applications. Originally inspired by Fraps, Taksi aims to provide an open source alternative for video capture (screencasting).

As of the version 0.7.6, DirectX versions 8 and 9, OpenGL and GDI-based applications are supported by Taksi. Fullsize or half-size video recording is also possible.

Features:
Live video compression possible with any VFW video codec installed and usable on a Windows system (including but not limited to Xvid, DivX, etc), which can reduce the usually heavy load (associated with video capture) on hard disks.
Supports user-specified key binding.
Custom video settings supported and available on a per-game basis.
Video capture
Real-time computing
Screencasting
Screen capturing, formats available are PNG or 24-bit BMP

Tag Editor

A tag editor (or tagger) is a piece of software that supports editing metadata of multimedia file formats, rather than the actual file content. These are mainly taggers for common audio tagging formats like ID3, APE, and Vorbis comments (for example Windows Media Player and iTunes), but can also be taggers for JPEG and TIFF metadata, for example (iPhoto).

A common purpose of tag editors is to correct and sort multimedia files, for example music collections. This often happens in a batch processing mode so that one doesn't have to manually edit every file on its own.

Adobe Director

Adobe Director (formerly Macromedia Director) is a media application created by Macromedia—now part of Adobe Systems. It allows users to build applications built on a movie metaphor, with the user as the "director" of the movie. Originally designed for creating animation sequences, the addition of a powerful scripting language called Lingo made it a popular choice for creating CD-ROMs and standalone kiosks. Adobe Director supports both 2D and 3D multimedia projects.

Features
Its scripting language motivated some to use this application. Many companies deliver demonstrations or use it as a user interface (UI) for content on CDs and DVDs. It can incorporate many different bitmap, audio and video file formats making it possible to integrate media. It also supports vector graphics and 3D interactivity (via Shockwave 3D). Since Version 8, Director also natively incorporates Flash animation files.

Director's functionality can be extended through plug-in applications named Xtras. These can be created by users or purchased from third party vendors. They are created using Macromedia's XDK (Xtra Development Kit), a C++ SDK.

One type of file created by Director can be viewed in a web browser using the Shockwave plugin. These files have a .DCR extension.

Director can also create stand-alone executable applications from a project, called projectors, which can be compiled for Macintosh or Windows operating systems.

CamCutter

CamCutter is a digital video camera made by Avid Technology for recording broadcast quality video to hard disk, dubbed a Digital Disk Recorder. First revealed in 1995 at the National Association of Broadcasters convention in Las Vegas, it used a camera mechanism by Ikegami and a special FieldPack unit instead of a tape transport unit.

Features
Some of the features of being hard disk based was in-camera editing, faster than real time transfer of footage and the RetroLoop, which used a circular buffer to constantly record footage, and allowed saving a "take" after the action happened.

Cost
The price of the unit was between US $40,000 to $600,000.

jetAudio

jetAudio is a multimedia player software offers advanced playback option and multimedia file editor even burning capabilities. It sold as 2 version: Basic and Plus. The Plus version has additional bonus packs and unlocked video/audio conversion. It comes bundled with every player produced by Cowon.

New features
1. New album manager, bookmarking a current position in the song and a Repeat Playlist feature
2. New balloon tooltip
3. Support new file formats

Main features
1. Supports all major file formats (playing/converting)
2. Burning/Ripping
3. Recording/Tag Editing
4. Download information from Internet
5. Advancing sound effects

Device from Radio in Internet

Internet radio devices can be divided into several product categories:
1. Products which are mainly targeted at listening to music stored on a local network. These devices are usually called network music players. These devices are usually sold with server software in order to play the music from the network. Examples of such devices are the Slim Devices Squeezebox, Roku SoundBridge and the Philips Streamium WACS700 and SLA5520. Some of these devices also have the ability to listen to Internet radio stations. As these devices may not have an integrated loudspeaker, they need to be connected to an audio system in order to listen to the music.
2. Standalone products like the Squeezebox, Terratec Noxon iRadio[1], Grace Digital Audio Radio[2],SoundBridge Radio[3], Streamit, Freecom MusicPal[[1]] or the Phoenix WiFi IP Radio [4] devices which are targeted at users who do not want to be dependent on a computer (or computer knowledge) for their Internet radio listening. Most products include a dynamically updated stations list. There are variants of these devices with and without integrated speaker(s). The Streamit device offers dial-up capability.
3. Wireless Internet Radio and Media Players like Sonowave Internet Radio Player [5]. Sonowave is a device made specifically for those who enjoy listening Internet Radio from their personal computer. SonoWave is a small portable radio that connects to a computer wirelessly, providing access to any music on the PC or to thousands of internet radio stations.