Vis enkel innførsel

dc.contributor.authorHanssen, Øyvind
dc.date.accessioned2006-11-29T08:38:42Z
dc.date.available2006-11-29T08:38:42Z
dc.date.issued2005-12
dc.description.abstractIn this report we define the semantics of a language for dynamic QoS expressions which can be evaluated at run-time for conformance. We define how expressions can be constructed from atomic expressions termed ’basic profiles’ using composition operators. Two such operators are defined: The sum ( ’+’ ) which corresponds to simple conjunction and component-sum (’Å’) which assume that the operands denote properties of separate environments and therefore must be satisfied separately. Based on those, algorithms for conformance checking any pair of expressions can be developed. Concrete models are typically defined for specific application domains, they define the basic profile space and explicitly establishes conformance relationships between basic profiles. These are essentially sets of axioms from which we can infer conformance.en
dc.descriptionPublisert desember 2005, oppdatert februar 2006 / Published December 2005, updated February 2006en
dc.format.extent265922 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/10037/383
dc.identifier.urnURN:NBN:no-uit_munin_223
dc.language.isoengen
dc.publisherUniversitetet i Tromsøen
dc.publisherUniversity of Tromsøen
dc.relation.ispartofseriesTekniske rapporter / Institutt for informatikk 54(2005)en
dc.rights.accessRightsopenAccess
dc.subjectVDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420en
dc.subjectVDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550en
dc.titleA Declarative Profile Model for Qos negotiationen
dc.typeResearch reporten
dc.typeForskningsrapporten


Tilhørende fil(er)

Thumbnail
Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel