Showing results 1 to 3 of 3
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
센서 네트워크 위치 측정을 위한 하이브리드 접근 방법 Kim, Daeyoung; Bach, B. D.; Yang, J.; Doh, Y., JCCI, JCCI, 2005-04 |
센서 네트워크에서의 효율적 데이터 수집을 위한 위치정보 독립적 체인 기반 라우팅 Pham, M.; Kim, Daeyoung; Ahn, S.; Doh, Y.; Yoo, S., JCCI, pp.0 - 0, JCCI, 2005-04 |
Discover