Serverless computing; Formal semantics; Call graph;
机译:设计,形式化和评估用于集成服务交付的灵活体系结构:结合事件驱动和面向服务的体系结构
机译:正式化选择IMS子系统中加载服务器平衡的最佳参数的任务
机译:一种行为学方法,用于估计和无人值守的观测器设计及其在状态空间模型中的应用
机译:用于事件驱动的数据处理应用程序的本地无服务器计算
机译:评估服务器性能的框架:应用于SIP代理服务器。
机译:基于事件驱动的基于观测器的智能传感器用于线性系统的输出反馈控制
机译:评估Java事件驱动的Web服务器的可伸缩性
机译:事件驱动的流程链的形式化和验证。