메뉴 건너뛰기




Volumn , Issue , 2008, Pages 100-107

Evaluating the correctness and effectiveness of a middleware QoS configuration process in distributed real-time and embedded systems

Author keywords

[No Author keywords available]

Indexed keywords

CONFIGURABILITY; DISTRIBUTED COMPUTING; DISTRIBUTED REAL-TIME AND EMBEDDED SYSTEMS; DRE SYSTEMS; END-TO-END QOS; END-TO-END QUALITY OF SERVICE; GRAPH TRANSFORMATIONS; MIDDLEWARE CONFIGURATIONS; MODEL-BASED; NEW PROCESSES; PAPER ADDRESSES; REAL TIME; SOFTWARE PROCESSING; SYSTEM DEVELOPERS;

EID: 49649115272     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2008.24     Document Type: Conference Paper
Times cited : (2)

References (19)
  • 3
    • 23844447942 scopus 로고    scopus 로고
    • On the Use of Graph Transformation in the Formal Specification of Model Interpreters
    • G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle. On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science, 9(11):1296-1321, 2003. www.jucs.org/jucs_9_11/ on_the_use_of.
    • (2003) Journal of Universal Computer Science , vol.9 , Issue.11 , pp. 1296-1321
    • Karsai, G.1    Agrawal, A.2    Shi, F.3    Sprinkle, J.4
  • 10
    • 33644910910 scopus 로고    scopus 로고
    • T. Mens, P. V. Gorp, D. Varro, and G. Karsai. Applying a Model Transformation Taxonomy to Graph Transformation Technology. In Lecture Notes in Computer Science: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT'05), 152, pages 143-159, Tallinn, Estonia, Sept. 2006. Springer-Verlag.
    • T. Mens, P. V. Gorp, D. Varro, and G. Karsai. Applying a Model Transformation Taxonomy to Graph Transformation Technology. In Lecture Notes in Computer Science: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT'05), volume 152, pages 143-159, Tallinn, Estonia, Sept. 2006. Springer-Verlag.
  • 11
    • 49649113018 scopus 로고    scopus 로고
    • Verifying Model Transformations by Structural Correspondence
    • Technical Report ISIS07-809, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, Dec
    • A. Narayanan and G. Karsai. Verifying Model Transformations by Structural Correspondence. Technical Report ISIS07-809, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, Dec 2007.
    • (2007)
    • Narayanan, A.1    Karsai, G.2
  • 17
    • 34248566909 scopus 로고    scopus 로고
    • FC-ORB: A robust distributed real-time embedded middleware with endto-end utilization controlstar, open
    • X. Wang, Y. Chen, C. Lu, and X. Koutsoukos. FC-ORB: A robust distributed real-time embedded middleware with endto-end utilization controlstar, open. Journal of Systems and Software, 80(7):938-950, 2007.
    • (2007) Journal of Systems and Software , vol.80 , Issue.7 , pp. 938-950
    • Wang, X.1    Chen, Y.2    Lu, C.3    Koutsoukos, X.4
  • 19
    • 33846238538 scopus 로고    scopus 로고
    • MDABench: Customized benchmark generation using MDA
    • Feb
    • L. Zhu, N. B. Bui, Y. Liu, and I. Gorton. MDABench: Customized benchmark generation using MDA. Journal of Systems and Software, 80(2):265-282, Feb. 2007.
    • (2007) Journal of Systems and Software , vol.80 , Issue.2 , pp. 265-282
    • Zhu, L.1    Bui, N.B.2    Liu, Y.3    Gorton, I.4


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