8874 search results - page 1771 / 1775 » A New Implementation of Automath |
VL
2010
IEEE
13 years 8 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
ACSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
- The advanced metering infrastructure (AMI) is revolutionizing electrical grids. Intelligent AMI "smart meters" report real time usage data that enables efficient energy...
ICICS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Jamming is a kind of Denial-of-Service (DoS) attack in which an adversary purposefully emits radio frequency signals to corrupt wireless transmissions. Thus, the communic...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
Recent research has exploited the multi-homing property (one terminal with multiple network interfaces) of modern devices to improve communication performance in wireless networks...
IGARSS
2010
13 years 7 months ago
2010
The Level 1 Processing of SMOS transforms the data acquired by MIRAS (Microwave Imaging Radiometer with Aperture Synthesis) into geolocated TOA Brightness Temperatures, providing ...