메뉴 건너뛰기




Volumn SS-06-06, Issue , 2006, Pages 117-128

The role of semantics in e-government service model verification and evolution

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; INFORMATION MANAGEMENT; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; PROBLEM SOLVING; WORLD WIDE WEB;

EID: 33747198788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (4)

References (13)
  • 1
    • 33646397011 scopus 로고    scopus 로고
    • Towards a formal verification of OWL-S process models
    • Proc. of the ISWC 2005, Galway, Ireland
    • Ankolekar, A., et al., 2005, Towards a Formal Verification of OWL-S Process Models, in Proc. of the ISWC 2005, Galway, Ireland, LNCS 3729, pp. 37-51
    • (2005) LNCS , vol.3729 , pp. 37-51
    • Ankolekar, A.1
  • 2
    • 33747190942 scopus 로고    scopus 로고
    • The evolution of knowledge management system need to be managed
    • Hardless, C., et al., 2000, The evolution of knowledge management system need to be managed, Journal of Knowledge Management Practice, Volume 3
    • (2000) Journal of Knowledge Management Practice , vol.3
    • Hardless, C.1
  • 3
    • 26444478633 scopus 로고    scopus 로고
    • Consistent evolution of OWL ontologies
    • Proc. of ESWC 2005, Greece
    • Haase, P., Stojanovic, L., 2005, Consistent Evolution of OWL Ontologies, in Proc. of ESWC 2005, LNCS 3532, Greece, pp. 182-197
    • (2005) LNCS , vol.3532 , pp. 182-197
    • Haase, P.1    Stojanovic, L.2
  • 4
    • 84880908066 scopus 로고    scopus 로고
    • Knowledge analysis on process models
    • USA
    • Kim, J., Gil, Y., 2001, Knowledge Analysis on Process Models, in Proc. of the IJCAI 2001, USA, pp. 935-942
    • (2001) Proc. of the IJCAI 2001 , pp. 935-942
    • Kim, J.1    Gil, Y.2
  • 6
    • 70349896736 scopus 로고    scopus 로고
    • Simulation, verification and automated composition of web services
    • USA
    • Narayanan, S., McIlraith, S., 2002, Simulation, Verification and automated composition of web services, In Proc. of the 11th WWW Conference, USA, pp. 77-88
    • (2002) Proc. of the 11th WWW Conference , pp. 77-88
    • Narayanan, S.1    McIlraith, S.2
  • 7
    • 0034450139 scopus 로고    scopus 로고
    • Classifying properties, an alternative to the safety-liveness classification
    • Naumovich, G., Clarke, L., 2000, Classifying properties, an alternative to the safety-liveness classification, ACM SIGSOFT Software Engineering Notes, Vol. 25, Num. 6, pp. 159-168
    • (2000) ACM SIGSOFT Software Engineering Notes , vol.25 , Issue.6 , pp. 159-168
    • Naumovich, G.1    Clarke, L.2
  • 9
    • 31944443985 scopus 로고    scopus 로고
    • Change management in e-government: OntoGov case study
    • Special Issue on Exploiting Knowledge Management for Ubiquitous E-Government in the Semantic Web Era
    • Stojanovic, L., et al., 2006, Change Management in e-government: OntoGov Case Study, in Electronic Government: International Journal, Special Issue on Exploiting Knowledge Management for Ubiquitous E-Government in the Semantic Web Era, Vol.3, No 1
    • (2006) Electronic Government: International Journal , vol.3 , Issue.1
    • Stojanovic, L.1
  • 10
    • 33747161951 scopus 로고    scopus 로고
    • Ontology-based change management: e-government case study
    • to appear
    • Stojanovic, L., 2006, Ontology-based Change Management: e-government case study, to appear in a book about Semantic Web Services
    • (2006) A Book about Semantic Web Services
    • Stojanovic, L.1


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