메뉴 건너뛰기




Volumn , Issue , 2007, Pages 199-208

On accurate automatic verification of publish-subscribe architectures

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; MODEL CHECKING; PROBLEM SOLVING;

EID: 34548744017     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.57     Document Type: Conference Paper
Times cited : (53)

References (24)
  • 5
    • 34548727004 scopus 로고    scopus 로고
    • Bogor Extensions for LTL Checking. projects.cis.ksu.edu/projects/ gudangbogor
    • Bogor Extensions for LTL Checking. projects.cis.ksu.edu/projects/ gudangbogor/.
  • 8
  • 15
    • 18944390941 scopus 로고    scopus 로고
    • The model checker spin
    • G. J. Holzmann. The model checker spin. IEEE Trans. Softw. Eng., 23(5):279-295, 1997.
    • (1997) IEEE Trans. Softw. Eng , vol.23 , Issue.5 , pp. 279-295
    • Holzmann, G.J.1
  • 16
    • 34548807231 scopus 로고    scopus 로고
    • IBM Research
    • IBM Research. The Gryphon Middleware, www.research.ibm.com/gryphon.
    • The Gryphon Middleware
  • 17
    • 3543083925 scopus 로고    scopus 로고
    • Event detection services using data service middleware in distributed sensor networks
    • June
    • S. Li, Y. Lin, S.H. Son, J.A. Stankovic, and Y. Wei. Event detection services using data service middleware in distributed sensor networks. Telecommunication Systems, 26(2):351-368, June 2004.
    • (2004) Telecommunication Systems , vol.26 , Issue.2 , pp. 351-368
    • Li, S.1    Lin, Y.2    Son, S.H.3    Stankovic, J.A.4    Wei, Y.5
  • 18
    • 23944487783 scopus 로고    scopus 로고
    • TinyDB: An acquisitional query processing system for sensor networks
    • S. Madden, M.J. Franklin, J.M. Hellerstein, and W. Hong. TinyDB: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst., 30(1): 122-173, 2005.
    • (2005) ACM Trans. Database Syst , vol.30 , Issue.1 , pp. 122-173
    • Madden, S.1    Franklin, M.J.2    Hellerstein, J.M.3    Hong, W.4
  • 19
    • 34548767337 scopus 로고    scopus 로고
    • L. Mottola. Accurate Verification of Publish-Subscribe Architectures. Technical report, Politecnico di Milano, Italy, 2006.
    • L. Mottola. Accurate Verification of Publish-Subscribe Architectures. Technical report, Politecnico di Milano, Italy, 2006.
  • 21
    • 34548765703 scopus 로고    scopus 로고
    • Sun Microsystems. JMS Specifications and Reference Implementation, java.sun.com/products/jms/docs.html
    • Sun Microsystems. JMS Specifications and Reference Implementation, java.sun.com/products/jms/docs.html.
  • 23
    • 33244488065 scopus 로고    scopus 로고
    • An approach to model and validate publish/subscribe architectures
    • L. Zanolin, C. Ghezzi, and L. Baresi. An approach to model and validate publish/subscribe architectures. In Proc. of the SAVCBS'03 Workshop, pages 35-41, 2003.
    • (2003) Proc. of the SAVCBS'03 Workshop , pp. 35-41
    • Zanolin, L.1    Ghezzi, C.2    Baresi, L.3


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