Adaptation models; Computational modeling; Middleware; Monitoring; Real-time systems; Timing; Adaptive systems; MAPE-K; SOA; distributed systems; middleware; reconfiguration; reliable systems; verification;
机译:CAMeL:自适应框架,用于丰富具有机器学习功能的上下文感知中间件
机译:骆驼:一种自适应框架,用于丰富内容感知的中间摆片,带有机器学习能力
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:致力于构建可靠的发布/订阅系统的自适应中间件
机译:分布式系统中间件:用于异构系统上并行和分布式计算的框架。
机译:用于自适应IoT协作服务的基于云的中间件
机译:朝着建立可靠的发布/订阅系统的自适应中间件
机译:用于验证和验证情境感知中间件架构的扩展框架