메뉴 건너뛰기




Volumn 5804 LNCS, Issue , 2009, Pages 3-14

Sensor field: A computational model

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION GRAPHS; COMPUTATIONAL MODEL; D-SPACE; FORMAL MODEL; INPUT/OUTPUT DATUM; MEMORY DEVICE; SENSING PROBLEMS; SENSOR FIELDS;

EID: 77049096771     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05434-1_3     Document Type: Conference Paper
Times cited : (7)

References (14)
  • 3
    • 77049098258 scopus 로고
    • Quelques applications des reseaux
    • d'automates. Thèse de 3ème Cycle
    • Berstel, J.: Quelques applications des reseaux d'automates. Thèse de 3ème Cycle (1967)
    • (1967)
    • Berstel, J.1
  • 4
    • 70449131082 scopus 로고    scopus 로고
    • Mediated Population Protocols
    • Albers, et al, eds, ICALP 2009, Part II, Springer, Heidelberg
    • Chatzigiannakis, I., Michail, O., Spirakis, P.G.: Mediated Population Protocols. In: Albers, et al. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 363-374. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5556 , pp. 363-374
    • Chatzigiannakis, I.1    Michail, O.2    Spirakis, P.G.3
  • 5
    • 0002058575 scopus 로고    scopus 로고
    • Connecting the Physical World with Pervasive Networks
    • Estrin, D., Culler, D., Pister, K., Sukatme, G.: Connecting the Physical World with Pervasive Networks. Pervasive Computing 6(2), 59-69 (2002)
    • (2002) Pervasive Computing , vol.6 , Issue.2 , pp. 59-69
    • Estrin, D.1    Culler, D.2    Pister, K.3    Sukatme, G.4
  • 6
    • 0034832662 scopus 로고    scopus 로고
    • Gibbons, P.B., Tirthapura, S.: Estimating simple functions on the union of data streams. In: SPAA 2001, pp. 281-291 (2001)
    • Gibbons, P.B., Tirthapura, S.: Estimating simple functions on the union of data streams. In: SPAA 2001, pp. 281-291 (2001)
  • 7
    • 0029701554 scopus 로고    scopus 로고
    • Henzinger, T.A.: The Theory of Hybrid Automata. In: LICS 1996, pp. 278-292 (1996)
    • Henzinger, T.A.: The Theory of Hybrid Automata. In: LICS 1996, pp. 278-292 (1996)
  • 8
    • 0002239509 scopus 로고
    • A calculus of total correctness for communicating processes
    • Hoare, C.A.R.: A calculus of total correctness for communicating processes. Sci. Comput. Program. 1(1-2), 49-72 (1981)
    • (1981) Sci. Comput. Program , vol.1 , Issue.1-2 , pp. 49-72
    • Hoare, C.A.R.1
  • 10
    • 84944257713 scopus 로고    scopus 로고
    • Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O Automata Revisited. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, 2034, pp. 403-417. Springer, Heidelberg (2001)
    • Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O Automata Revisited. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 403-417. Springer, Heidelberg (2001)
  • 11
    • 0003952581 scopus 로고    scopus 로고
    • Distributed Computing
    • ch. 2. SIAM Monographs on Discrete Mathematics and Applications
    • Peleg, D.: Distributed Computing. A Locality-Sensitive Approach, ch. 2. SIAM Monographs on Discrete Mathematics and Applications (2003)
    • (2003) A Locality-Sensitive Approach
    • Peleg, D.1
  • 13
    • 0025467711 scopus 로고
    • A bridging model for parallel computation
    • Valiant, L.G.: A bridging model for parallel computation. Communications of the ACM 33(8), 103-111 (1990)
    • (1990) Communications of the ACM , vol.33 , Issue.8 , pp. 103-111
    • Valiant, L.G.1
  • 14
    • 77049125426 scopus 로고    scopus 로고
    • Vinyals, M., Rodriguez-Aguilar, J.A., Cerquides, J.: A Survey on Sensor Networks from a Multi-Agent Perspective. In: AAMAS 2008, pp. 1071-1078 (2008)
    • Vinyals, M., Rodriguez-Aguilar, J.A., Cerquides, J.: A Survey on Sensor Networks from a Multi-Agent Perspective. In: AAMAS 2008, pp. 1071-1078 (2008)


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