메뉴 건너뛰기




Volumn , Issue , 2001, Pages 37-42

Protocol switching: Exploiting meta-properties

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE;

EID: 84960916737     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDCS.2001.918684     Document Type: Conference Paper
Times cited : (16)

References (13)
  • 1
    • 84937409452 scopus 로고    scopus 로고
    • The nuprl open logical environment
    • D. McAllester, editor, 17th Int. Conf. on Automated Deduction, Springer Verlag
    • S. Allen, R. Constable, R. Eaton, C. Kreitz, and L. Lorigo. The nuprl open logical environment. In D. McAllester, editor, 17th Int. Conf. on Automated Deduction, volume 1831 of Lecture Notes in Artificial Intelligence, pages 170-176. Springer Verlag, 2000.
    • (2000) Lecture Notes in Artificial Intelligence , vol.1831 , pp. 170-176
    • Allen, S.1    Constable, R.2    Eaton, R.3    Kreitz, C.4    Lorigo, L.5
  • 2
    • 0023558367 scopus 로고
    • Recognizing safety and liveness
    • B. Alpern and F. B. Schneider. Recognizing safety and liveness. Distributed Computing, 2(3):117-126, 1987.
    • (1987) Distributed Computing , vol.2 , Issue.3 , pp. 117-126
    • Alpern, B.1    Schneider, F.B.2
  • 9
    • 85035363269 scopus 로고    scopus 로고
    • Adaptive protocols for information dissemination in wireless sensor networks
    • Seattle, WA, August
    • J. Kulik, W. Rabiner, and H. Balakrishnan. Adaptive protocols for information dissemination in wireless sensor networks. In Proc. of the 5th ACM/IEEE Mobicom Conf., Seattle, WA, August 1999.
    • (1999) Proc. of the 5th ACM/IEEE Mobicom Conf.
    • Kulik, J.1    Rabiner, W.2    Balakrishnan, H.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.