Clippership  Multi-Carrier Shipping System Enables users to achieve new levels of shipping automation,

Source URL: www.ibsnorthwest.com

• Less than truckload shipping
• Trucking industry in the United States
• Express mail
• Cargo
• Supply chain management
• United States Postal Service
• FedEx
• Packaging and labeling
• Third-party logistics
• Technology
• Business
• Transport

Correctness Proofs for Device Drivers in Embedded Systems Jianjun Duan, John Regehr School of Computing University of Utah

Source URL: www.cs.utah.edu

• Device driver
• Embedded system
• Multi-core processor
• Electronics
• Computing
• Data transmission
• Universal asynchronous receiver/transmitter

Sept. 18 Going Beyond 10% Legislators reviewing the University of Texas system’s admission policies are considering a multi-year moratorium on a current law that guarantees entrance for in-state students who finish in

Source URL: www.texastop10.princeton.edu

The Service Configurator Framework An Extensible Architecture for Dynamically Configuring Concurrent, Multi-Service Network Daemons Douglas C. Schmidt and Tatsuya Suda and Department

Source URL: www.cs.wustl.edu

• Daemon
• Inetd
• Super-server
• Daytime Protocol
• Server
• Mac OS X
• Inter-process communication
• System software
• Computing
• Software

Fairness with Penalties Delegated Computation Multiparty Fair Exchange

Source URL: www.cs.technion.ac.il

• Bitcoin
• Peer-to-peer computing
• Secure multi-party computation
• Two-phase commit protocol
• Proof-of-work system
• IP
• SHA-2
• Cryptography
• Software
• Computing

Multi-threading QEMU or Ingo might be right.. sort of Anthony Liguori – IBM Linux Technology Center

Source URL: www.linux-kvm.org

• Concurrency control
• Q
• Thread
• Lock
• Kernel-based Virtual Machine
• Embedded operating systems
• System software
• Software
• QEMU

SPECIAL FEATURE: ITEA ARTEMIS CO-SUMMITProfessor Dr Heinrich Daembkes, president of the ARTEMIS Industry Association, answered PEN’s questions on developments around cyberphysical and embedded systems Cyber-phy

Source URL: www.paneuropeannetworks.com

• Project management software
• Greek mythology
• Multi-core processor
• Ambient intelligence
• Framework Programmes for Research and Technological Development
• Embedded system
• Cyber-physical system
• Computing
• DC Comics
• Artemis

CALL FOR PAPERS Third German Conference on Multi-Agent System Technologies (MATES 05) September, 2005 Koblenz, Germany

Source URL: ki.informatik.uni-wuerzburg.de

• Science
• Computing
• German Research Centre for Artificial Intelligence
• Intelligent agent
• Agent-based model
• Rosaria Conte
• Software agent
• Central Intelligence Agency
• Siemens
• Artificial intelligence
• Technology
• Multi-agent systems

A Multi-Cultural Study of Paper Use in the Flight Deck Saeko Nomura Edwin Hutchins Cognitive Science Department University of California San Diego 9500 Gilman Drive

Source URL: hci.ucsd.edu

• Aircraft instruments
• Technology
• Flight bag
• Luggage
• Electronic flight bag
• Jeppesen
• Air safety
• Flight management system
• Approach plate
• Avionics
• Aviation
• Transport

Nuclear Power Assessment Study–Final TSSDJHU/APL Work Performed Under Task: NNN13AA17T NASA Contract NNN06AA01C Agency: National Aeronautics and Space Administration

Source URL: fas.org

• Electrical generators
• Nuclear power stations
• Spaceflight
• Stirling engines
• Titan Saturn System Mission
• Stirling radioisotope generator
• Multi-Mission Radioisotope Thermoelectric Generator
• Radioisotope thermoelectric generator
• General Purpose Heat Source
• Energy
• Nuclear technology
• Technology