|
|
ANNotated Ada
<language, specification> (Anna) A specification language
developed at Stanford University ca. 1980 for formally
specifying Ada programs. It has a Specification Analyzer
and a Consistency Checking System. It adds semantic
assertions in the form of Ada comments.
ftp://anna.stanford.edu/pub/anna/.
["ANNA - A Language for Annotating Ada Programs", David
Luckham et al, Springer 1987].
(1994-11-01)
Try this search on OneLook / Google
Nearby terms:
Anna « annealing « annotate « ANNotated Ada » annotation » annoybot » annoyware
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
DEFCON1 Cable &Motion Alarm For Notebooks &CasesDEFCON1 Cable &Motion Alarm For Notebooks &Cases ** DEFCON 1 Cable & Motion Alarm For Notebooks & Carry Cases **Sort (Targus) DEFCON™1 Notebook Computer Security SystemThe fastest growing fear among mobile professionals today is notebook theft - help protect your notebook with the Targus DEFCON 1 Ultra. You can now relax in airports, restaurants, and other public places with the DEFCON 1 on guard. This system combines a stainless steel cable, motion sensor technology, and a 110dB alarm to create a combination locking alarm system that easily attaches to your notebook or carrying case in any setting.The DEFCON 1 Ultra features a three-digit re-settable combination lock with up to 1,000 unique combinations. A second level of security is provided by the high decibel alarm that is triggered if the cable is severed or the motion sensor is activated. So now security can be simple!Technical Specs:- Battery Life: - Continuous use (lock connected, alarm off )- Alkaline battery = 90 days - Retractable Stainless Steel Cable: .07in (1.6 mm) diameter; 4.5 feet (1.3 meters) length- Motion Sensor: high and low sensitivity modes; triggered when deviceis moved; if motion continues for 4 seconds, alarm will sound for 40 seconds, device then resets to “armed”status- Combination Lock: re-settable to one of 1,000 unique combinations- Electronic Alarm: loud, 110db alarm siren activated when lock is engaged; alarm sounds when cable is severed and when motion sensor is armed and triggered; alarm is deactivated when combination lock is releasedFeatures:- Easily attaches to your carrying case, luggage, or any notebook with a security lock slot- Retractable steel cable retracts into plastic housing at the press of a button- Re-settable 3-digit combination lock- up to one of 1,000 unique combinations available- LED indicates alarm status- Alarm is activated when cable is severed or when motion sensor is armed and triggeredNotes:- Brand new retail packaged More ...
Barebone P4 System Samba (Modem/LAN/PS/FD/52X CD)Barebone P4 System Samba (Modem/LAN/PS/FD/52X CD) ** Includes a 52x CD ROM and 1.44 Floppy Drive. Just add CPU, HD and RAM **The Samba roars with Pentium 4 high performance in an optimized, proprietary form factor. Slim and ultra sleek, the Samba features all standard drive bays, advanced I/O ports for mainstream and multimedia peripherals like firewire, and SPDIF, all in the smallest footprint in the high end SFF market. Needs a CPU, memory, hard drive and operating system to operate.CPU: Supports Intel Pentium 4 478-pin up to 2.2GHz Chipset: Intel i845 + ICH2 Memory: 0 MB on-board, Supports up to 1GB via (2) 168-pin DIMM sockets.Video: 32MB AGP Video Card (Various Brands)Audio: AC'97 Codec + SPDIF out Ethernet: Intel 82562 10/100 Base T Fast Ethernet on board Expansion Slots: (2) 32-bit PCI slots Drive Bays: (1) Floppy bay - (2) bays for HDD/CD-ROM I/O:- Front: (2) USB 1.x ports, (2) IEEE-1394/FireWire ports, (2) PCMCIA Type-II port - Rear : (1) Serial ports support 16550, (1) Parallel port with ECP/EPP, (2) USB 1.x ports, (2) PS/2 connectors for Keyboard & Mouse, Audio (Line-in, Line-out, Mic-in jack), (1) RJ-45 LAN connetor, (1) VGA 15-pin D-sub connector, (1) AC power connector (AC-in)Management: - System: Voltage hardware monitoring, On board voltage monitoring, S.M.A.R.T, Wake on Lan/Wake on Ring - Keyboard and mouse wake up (Password require) - Remote on/off/suspend to HDD Power:- ACPI compliant O/S Support:- Microsoft Windows XP/2000/NT/95 & 98 Approvals:- FCC, CE, VCCI, UL, C-UL, TUV Power:- Delta 150W with PFC support Dimensions:- 3.72 w x 12.4 h x 14.4 dIncludes:- Samba P4 Barebones System ONLY More ...
Shadow Company - The Mercenaries of the ShadowShadow Company - The Mercenaries of the Shadow This real-time tactical action game lets you take over command of an elite force of mercenaries. You must save the stranded group and get your handful of survivors out of the country to start rebuilding the unit, find out what happened, and eventually take revenge on those that abandoned your men. Windows 95/98/ME/2000/XP More ...
USB 1.1 to IrDA Adapter for Windows PCsUSB 1.1 to IrDA Adapter for Windows PCs ** USB 1.1 to IrDA Adapter for Windows PCs **This little adapter will help your customers withoutIrDA ports on their computer connect their IrDAperipherals! It complies with the USB 1.1 standard (works in USB 2.0 Ports at USB 1.1 speeds), and supports IrDA transfer speeds up to 4Mbps! Stockup today!General Features:- USB 1.1 Compliant (will work in USB 2.0 ports at USB 1.1 speeds) - Provides standard IrDA interface for usewith IrDA-enabled printers, PDAs, etc. - Compatible with Windows 98/98SE/ME/2000/XP - USB powered--no external power source required - Support Hot Plug, Plug and PlaySupports the following IrDA modes: - SIR (2.4Kbps to 115.2Kbps) - MIR (576Kbps to 1152Kbps) - FIR (4Mbps) Regulatory Approvals:- FCC- CERetail Package Includes:- USB 1.1 to IrDA adapter - USB Male A to Female A extension cable (to allowpositioning of adapter) - Driver on 3-inch CD - Brief User Guide Compatibility/Requirements/Disclosures: ** Requirements *** PC with USB port * Windows 98/98SE/ME/2000/XP * Peripherals with IrDA ports, such as PDAs, Printers,Cameras, etc. * NOTE: Consult the user's manual, or the manufacturer,of your peripheral to confirm the presence of an IrDA port, if you are unsure. * CD-ROM drive to install drivers and utilities More ...
Izon USB 1.1 SD/MMC Flash Card MP3 Player (Purple)Izon USB 1.1 SD/MMC Flash Card MP3 Player (Purple) ** Izon USB SD/MMC Flash Card MP3 Player (Purple) **Take your music with you! This Izon MP3 playerhas an external flash card slot for MMC/SD flash cards making it possible to have up to 1 GB of memory! Its user interface LCD displayand and small, compact size makes it ideal formusic on the go! General Features:- Purple Housing- Supported Music Format: MP3- MMC/SD Card Support: 16 MB ~ 1 GB- Equalizer with Four presets- User Interface LCD Display- USB 1.1 cable included- SNR: >95db - Output frequency: 20 Hz-20 KHz - Bit rate: 32 Kbps-256 Kbps - Runs on One (1) AAA battery (included)Regulatory Approvals:- FCC- CERetail Box Includes:- Izon USB SD/MMC MP3 Player- Driver on 3-inch CD- User's Manual- USB 1.1 cable- One (1) AAA battery- Earbud headphonesNotes:- Part No.: SDMP305- Model: MP-210 Compatibility/Requirements/Disclosures:** Requirements *** Windows 98/ME/2000/XP* SD/MMC Flash Card* Available USB port* CD-ROM drive More ...
|
