Towards formal specification and generation of autonomic policies

Towards formal specification and generation of autonomic policies

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: STERRITT, Roy, HINCHEY, Michael G, RASH, James L, TRUSZKOWSKI, Walt, ROUFF, Christopher A, GRACANIN, Denis
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Software
Speech and sound recognition and synthesis. Linguistics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 1254
container_issue
container_start_page 1245
container_title
container_volume
creator STERRITT, Roy
HINCHEY, Michael G
RASH, James L
TRUSZKOWSKI, Walt
ROUFF, Christopher A
GRACANIN, Denis
description
doi_str_mv 10.1007/11596042_126
format Conference Proceeding
fullrecord <record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_17345002</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>17345002</sourcerecordid><originalsourceid>FETCH-LOGICAL-p223t-59564b8ac1e1ed8d2efcf7faac0eaee21e6afebb056e6fc6d31a88f83f5699a53</originalsourceid><addsrcrecordid>eNotj01LxDAURYMfYB1n5w_oxmU1L69Jm-Uw6CgMuBnX5TV9kUjblKYi_nsL493cczcHrhD3IB9ByuoJQFsjS9WAMhciAwNQIJb2UtyiLiXKWqK6EtlKqrBViTdim9KXXINQoVWZ2J3iD81dyn2cB-rzNLELPjhaQhxzGrv8k0eezzP6nL6XOMYhuHyKfXCB05249tQn3v73Rny8PJ_2r8Xx_fC23x2LSSlcCm21KduaHDBwV3eKvfOVJ3KSiVkBG_LctlIbNt6ZDoHq2tfotbGWNG7Ew9k7UXLU-5lGF1IzzWGg-bdZ_5RaSoV_2kxQrw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Towards formal specification and generation of autonomic policies</title><source>Springer Books</source><creator>STERRITT, Roy ; HINCHEY, Michael G ; RASH, James L ; TRUSZKOWSKI, Walt ; ROUFF, Christopher A ; GRACANIN, Denis</creator><creatorcontrib>STERRITT, Roy ; HINCHEY, Michael G ; RASH, James L ; TRUSZKOWSKI, Walt ; ROUFF, Christopher A ; GRACANIN, Denis</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540308032</identifier><identifier>ISBN: 9783540308034</identifier><identifier>EISSN: 1611-3349</identifier><identifier>DOI: 10.1007/11596042_126</identifier><language>eng</language><publisher>Berlin: Springer</publisher><subject>Applied sciences ; Artificial intelligence ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Software ; Speech and sound recognition and synthesis. Linguistics</subject><ispartof>Lecture notes in computer science, 2005, p.1245-1254</ispartof><rights>2006 INIST-CNRS</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,776,780,785,786,4036,4037,27902</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=17345002$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>STERRITT, Roy</creatorcontrib><creatorcontrib>HINCHEY, Michael G</creatorcontrib><creatorcontrib>RASH, James L</creatorcontrib><creatorcontrib>TRUSZKOWSKI, Walt</creatorcontrib><creatorcontrib>ROUFF, Christopher A</creatorcontrib><creatorcontrib>GRACANIN, Denis</creatorcontrib><title>Towards formal specification and generation of autonomic policies</title><title>Lecture notes in computer science</title><subject>Applied sciences</subject><subject>Artificial intelligence</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Software</subject><subject>Speech and sound recognition and synthesis. Linguistics</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540308032</isbn><isbn>9783540308034</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNotj01LxDAURYMfYB1n5w_oxmU1L69Jm-Uw6CgMuBnX5TV9kUjblKYi_nsL493cczcHrhD3IB9ByuoJQFsjS9WAMhciAwNQIJb2UtyiLiXKWqK6EtlKqrBViTdim9KXXINQoVWZ2J3iD81dyn2cB-rzNLELPjhaQhxzGrv8k0eezzP6nL6XOMYhuHyKfXCB05249tQn3v73Rny8PJ_2r8Xx_fC23x2LSSlcCm21KduaHDBwV3eKvfOVJ3KSiVkBG_LctlIbNt6ZDoHq2tfotbGWNG7Ew9k7UXLU-5lGF1IzzWGg-bdZ_5RaSoV_2kxQrw</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>STERRITT, Roy</creator><creator>HINCHEY, Michael G</creator><creator>RASH, James L</creator><creator>TRUSZKOWSKI, Walt</creator><creator>ROUFF, Christopher A</creator><creator>GRACANIN, Denis</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2005</creationdate><title>Towards formal specification and generation of autonomic policies</title><author>STERRITT, Roy ; HINCHEY, Michael G ; RASH, James L ; TRUSZKOWSKI, Walt ; ROUFF, Christopher A ; GRACANIN, Denis</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p223t-59564b8ac1e1ed8d2efcf7faac0eaee21e6afebb056e6fc6d31a88f83f5699a53</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Applied sciences</topic><topic>Artificial intelligence</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Software</topic><topic>Speech and sound recognition and synthesis. Linguistics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>STERRITT, Roy</creatorcontrib><creatorcontrib>HINCHEY, Michael G</creatorcontrib><creatorcontrib>RASH, James L</creatorcontrib><creatorcontrib>TRUSZKOWSKI, Walt</creatorcontrib><creatorcontrib>ROUFF, Christopher A</creatorcontrib><creatorcontrib>GRACANIN, Denis</creatorcontrib><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>STERRITT, Roy</au><au>HINCHEY, Michael G</au><au>RASH, James L</au><au>TRUSZKOWSKI, Walt</au><au>ROUFF, Christopher A</au><au>GRACANIN, Denis</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Towards formal specification and generation of autonomic policies</atitle><btitle>Lecture notes in computer science</btitle><date>2005</date><risdate>2005</risdate><spage>1245</spage><epage>1254</epage><pages>1245-1254</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540308032</isbn><isbn>9783540308034</isbn><cop>Berlin</cop><pub>Springer</pub><doi>10.1007/11596042_126</doi><tpages>10</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Lecture notes in computer science, 2005, p.1245-1254
issn 0302-9743
1611-3349
language eng
recordid cdi_pascalfrancis_primary_17345002
source Springer Books
subjects Applied sciences
Artificial intelligence
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Software
Speech and sound recognition and synthesis. Linguistics
title Towards formal specification and generation of autonomic policies
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-01T22%3A17%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Towards%20formal%20specification%20and%20generation%20of%20autonomic%20policies&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=STERRITT,%20Roy&rft.date=2005&rft.spage=1245&rft.epage=1254&rft.pages=1245-1254&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540308032&rft.isbn_list=9783540308034&rft_id=info:doi/10.1007/11596042_126&rft_dat=%3Cpascalfrancis%3E17345002%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true