Anupama Namburu,Prabha Selvaraj,M Varsha
Anupama Namburu
E-commerce platforms have been around for over two decades now, and their popularity among buyers and sellers alike has been increasing. With the COVID-19 pandemic, there has been a boom in online shopping, with many sellers moving their bu...
STROVE: spatial data infrastructure enabled cloud-fog-edge computing framework for combating COVID-19 pandemic [0.03%]
一种基于空间数据基础设施的云计算框架打击新冠疫情
Shreya Ghosh,Anwesha Mukherjee
Shreya Ghosh
The outbreak of 2019 novel coronavirus (COVID-19) has triggered unprecedented challenges and put the whole world in a parlous condition. The impacts of COVID-19 is a matter of grave concern in terms of fatality rate, socio-economical condit...
A Black Swan event-based hybrid model for Indian stock markets' trends prediction [0.03%]
基于黑天鹅事件的印度股市趋势预测混合模型
Samit Bhanja,Abhishek Das
Samit Bhanja
Among all the application areas of the time-series prediction, stock market prediction is the most challenging task due to its dynamic nature, and dependency on many volatile factors. The unpredictable fatal events called Black Swan events ...
Seth Ahrenbach,Alwyn Goodloe
Seth Ahrenbach
In this paper, we show that modal logic is a valuable tool for the formal analysis of human errors in aviation safety. We develop a modal logic called Agent Safety Logic (ASL), based on epistemic logic, doxastic logic, and a safety logic gr...
Measuring and Specifying Combinatorial Coverage of Test Input Configurations [0.03%]
测试输入配置的组合覆盖的度量与规定
D Richard Kuhn,Raghu N Kacker,Yu Lei
D Richard Kuhn
A key issue in testing is how many tests are needed for a required level of coverage or fault detection. Estimates are often based on error rates in initial testing, or on code coverage. For example, tests may be run until a desired level o...
Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs [0.03%]
形式验证人机交互作为系统模型的一部分：局限性和权衡取舍
Matthew L Bolton,Ellen J Bass
Matthew L Bolton
Both the human factors engineering (HFE) and formal methods communities are concerned with improving the design of safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to perform formal veri...