With detailed descriptions of how software is expected to behave, researchers believe they can verify its operations and eliminate bugs.
Seismic Concern collects data on the physical environment and integrates time- and location-sensitive population information to immediately deliver a report on earthquake hot spots to subscribing localities.
While it builds out its fiber network, Santa Cruz, Calif., is using a network of millimeter wave radios to deliver gigabit-speed Internet.
By adding a laser sensor to a smartphone, researchers at MIT created a low-cost device that can deliver the high-resolution distance sensing required for robotic navigation.
Rather than trying to screen apps for malware, researchers suggest it may be more effective to monitor the behavior of installed apps for signs of improper behavior.
GeoMesa distributes geospatial data processing over the scalable resources of Hadoop, virtually eliminating the limits to the amount of data that can be managed.
Researchers at the University of Washington have developed a way that passive, or reflected, signals can help IoT sensors transmit data while using far less power than existing Wi-Fi devices.
Crowdsourced image validation combined with machine learning shrinks the pool of imagery requiring human analysis.
The Robotarium would give researchers remote access to expensive equipment on which to test swarm robotics software.