메뉴 건너뛰기




Volumn 6723 LNCS, Issue , 2011, Pages 92-105

Architecturing conflict handling of pervasive computing resources

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION LOGIC; BUILDING AUTOMATION; CONFLICT DETECTION; CRITICAL EFFECTS; DEPLOYED SERVICES; DIFFERENT DOMAINS; DOMAIN SPECIFIC; FIRE EVACUATION; HOME AUTOMATION; HUMAN ACTIVITIES; PERVASIVE COMPUTING ENVIRONMENT; PERVASIVE COMPUTING SYSTEMS; PHYSICAL WORLD; RESOURCE ACCESS; RESOURCE CONFLICT; RESOURCE HANDLING; RUNTIMES; SHARED RESOURCES; SOFTWARE DEVELOPMENT LIFE CYCLE;

EID: 79959987005     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21387-8_8     Document Type: Conference Paper
Times cited : (9)

References (16)
  • 2
    • 33745460373 scopus 로고    scopus 로고
    • Feature interaction detection by pairwise analysis of LTL properties - A case study
    • Calder, M., Miller, A.: Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods in System Design 28(3), 213-261 (2006)
    • (2006) Formal Methods in System Design , vol.28 , Issue.3 , pp. 213-261
    • Calder, M.1    Miller, A.2
  • 6
    • 0035568918 scopus 로고    scopus 로고
    • A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications
    • Dey, A.K., Abowd, G.D., Salber, D.: A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. H.-C. I. 16(2), 97-166 (2001)
    • (2001) H.-C. I. , vol.16 , Issue.2 , pp. 97-166
    • Dey, A.K.1    Abowd, G.D.2    Salber, D.3
  • 7
    • 79953181317 scopus 로고    scopus 로고
    • A step-wise approach for integrating qoS throughout software development
    • Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. Springer, Heidelberg
    • Gatti, S., Balland, E., Consel, C.: A step-wise approach for integrating qoS throughout software development. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 217-231. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6603 , pp. 217-231
    • Gatti, S.1    Balland, E.2    Consel, C.3
  • 9
    • 33645977529 scopus 로고    scopus 로고
    • A mechanism for solving conflicts in ambient intelligent environments
    • Haya, P.A., Montoro, G., Esquivel, A., Garíca-Herranz, M., Alamán, X.: A mechanism for solving conflicts in ambient intelligent environments. J. UCS 12(3), 284-296 (2006)
    • (2006) J. UCS , vol.12 , Issue.3 , pp. 284-296
    • Haya, P.A.1    Montoro, G.2    Esquivel, A.3    Garíca-Herranz, M.4    Alamán, X.5
  • 10
    • 0032181540 scopus 로고    scopus 로고
    • The feature and service interaction problem in telecommunications systems: A survey
    • Keck, D.O., Kuehn, P.J.: The feature and service interaction problem in telecommunications systems: A survey. IEEE Transactions on Software Engineering 24, 779-796 (1998)
    • (1998) IEEE Transactions on Software Engineering , vol.24 , pp. 779-796
    • Keck, D.O.1    Kuehn, P.J.2
  • 11
    • 68749108526 scopus 로고    scopus 로고
    • Dependency management in smart homes
    • Senivongse, T., Oliveira, R. (eds.) DAIS 2009. Springer, Heidelberg
    • Retkowitz, D., Kulle, S.: Dependency management in smart homes. In: Senivongse, T., Oliveira, R. (eds.) DAIS 2009. LNCS, vol. 5523, pp. 143-156. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5523 , pp. 143-156
    • Retkowitz, D.1    Kulle, S.2
  • 16
    • 0001853125 scopus 로고
    • The computer for the twenty-first century
    • Weiser, M.: The computer for the twenty-first century. Scientific American 265, 94-104 (1991)
    • (1991) Scientific American , vol.265 , pp. 94-104
    • Weiser, M.1


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