75 search results - page 10 / 15 » Modular verification of dynamically adaptive systems |
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
IEEEIAS
2008
IEEE
14 years 1 months ago
2008
IEEE
: An intrusion detection system should support the operator of the system. Thus, in addition to producing alerts, it should allow for easy insertion of new detection algorithms. It...
GLDV
2001
13 years 8 months ago
2001
The advantages of a hypermedia learning system are the possibility to adapt the content to the learner and to maintain the content easily due to the modular structure. The disadva...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This article presents the design of Iromec, a modular robot companion tailored towards engaging in social exchanges with children with different disabilities with the aim to em...