This paper presents the similarity of a class of adaptive fuzzy controllers and a time dependent single rule controller of TakagiSugeno (TS) model. The class of adaptive fuzzy con...
It is becoming increasingly clear that we are entering a new era in systems software. As the age-old tension between structure and performance acquiesces, we can finally venture b...
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...