Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Formal sciences / Cybernetics / Formal verification / Theoretical computer science / Model checking / Modal logic / Deontic logic / Logic / Mathematical logic / Applied mathematics


Dynamic Reconfiguration of GCM components A.Basso, A. Bolotov, V. Getov {A.Basso,A.Bolotov,A.Getov}@wmin.ac.uk University of Westminster, UK L. Henrio
Add to Reading List

Document Date: 2008-09-24 04:08:10

Open Document

File Size: 328,12 KB

Share Result on Facebook

/

Facility

A.Getov}@wmin.ac.uk University of Westminster / In building / /

IndustryTerm

behaviour protocol / search strategies / resolution tool / possible solutions / specification protocol / arbitrary systems / possible solution / software component / deductive reasoning tool / verification tool / /

MusicGroup

The Grid / /

Organization

University of Westminster / Institute on Programming Model CoreGRID / US Federal Reserve / European Commission / /

Person

Sophia Antipolis / A. Bolotov / V / /

Position

life-cycle controller / attribute controller / binding controller / The life cycle controller / The attribute controller / The content controller / model / and its verification / controller / programmer / /

ProgrammingLanguage

XML / /

ProvinceOrState

Vermont / /

Technology

behaviour protocol / specification protocol / XML / API / /

URL

http /

SocialTag