1126 search results - page 17 / 226 » Modularity and the Rule of Adaptation |
107
Voted
EUSFLAT
2001
15 years 5 months ago
2001
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...
120
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
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...
144
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
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...
145
click to vote
ISPEC
2005
Springer
15 years 9 months ago
2005
Springer
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...
163
click to vote
IUI
2009
ACM
16 years 18 days ago
2009
ACM
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...