9067 search results - page 819 / 1814 » Adaptive Model Checking |
196
click to vote
DSVIS
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. With the explosion of devices, computing platforms, contextual conditions, user interfaces become more confronted to a need to be adapted to multiple configurations of t...
238
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- In this paper a new method for training singlemodel and multi-model fuzzy classifiers incrementally and adaptively is proposed, which is called FLEXFIS-Class. The evolvi...
237
click to vote
IIWAS
2004
15 years 9 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
249
click to vote
PERCOM
2010
ACM
15 years 6 months ago
2010
ACM
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
197
click to vote
ISORC
2008
IEEE
16 years 2 months ago
2008
IEEE
Recent years have witnessed the emergence and rapid growth of distributed service infrastructures such as mobile ad hoc networks, P2P, PlanetLab and Grids. In such distributed inf...