The laptops are probably IWIN, a system operated by the state that purchases connectivity from cell carriers (Verizon up here) and uses that to allow laptops to communicate. Currently supported modes are CDMA and EVDO. This is the same service that civilians can buy using "AirCards" for Internet access.