Search
Now showing items 21-30 of 31
Democratization of runtime verification for internet of things
(Elsevier, 2018-05)
Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime ...
Stream analytics and adaptive windows for operational mode identification of time-varying industrial systems
(IEEE, 2018-09-07)
It is necessary to develop accurate, yet simple and efficient models that can be used with high-speed industrial data streams. In this paper, we develop a mode identification technique using stream analytics and show that ...
Foreword
(2012)
Kombi̇natoryal test tekni̇kleri̇ni̇n karmaşık olay i̇şleme motorlarında uygulanması
(IEEE, 2012)
Testing practice has a critical place during the design, implementation and integration of software, hardware and complex systems composed of these. Cost of failures caused by bugs that could not be detected and fixed early ...
Runtime verification of Iot systems using complex event processing
(IEEE, 2017)
Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ...
High-performance complex event processing using continuous sliding views
(ACM, 2013)
Complex Event Processing (CEP) has become increasingly important for tracking and monitoring anomalies and trends in event streams emitted from business processes such as supply chain management to online stores in e-commerce. ...
Testing performance of application containers in the cloud with hpc loads
(Civil-Comp, 2017)
In this paper, we evaluate HPC application deployment using container technology and examine performance metrics on a public cloud. The research focuses on the ease of deployment, performance and isolation issues related ...
NEEL: The nested complex event language for real-time event analytics
(Springer International Publishing, 2011)
Complex event processing (CEP) over event streams has become increasingly important for real-time applications ranging from health care, supply chain management to business intelligence. These monitoring applications submit ...
Observing interoperability of IoT systems through model-based testing
(Springer Nature, 2018)
Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a ...
Büyük veri problemlerine çözüm olarak veri akış madenciliği
(IEEE, 2013)
Günümüzde bilişim dünyası faydalı bilgiye ulaşma yolunda “büyük veri” problemleri (verinin kütlesi, hızı, çeşitliliği, tutarsızlığı) ile baş etmeye çalışmaktadır. Bu makalede, büyük veri akışları üzerinde İlişkisel Kural ...
Share this page