9067 search results - page 299 / 1814 » Adaptive Model Checking |
145
click to vote
WSC
2001
15 years 8 months ago
2001
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
160
click to vote
ENGL
2007
15 years 6 months ago
2007
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
184
click to vote
MC
2003
15 years 8 months ago
2003
Web systems suffer from an inability to satisfy heterogeneous needs of many users. A remedy for the negative effects of the traditional "one-size-fits-all'' approac...
193
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
186
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...