English
Related papers

Related papers: Runtime Model Based Approach to Smart Home System …

200 papers

The proliferation of sensors over the last years has generated large amounts of raw data, forming data streams that need to be processed. In many cases, cloud resources are used for such processing, exploiting their flexibility, but these…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-01 Rafael Tolosana-Calasanz , José Ángel Bañares , José-Manuel Colom

IoT applications are promising for future daily activities; therefore, the number of IoT connected devices is expected to reach billions in the coming few years. However, IoT has different application frameworks. Furthermore, IoT…

Networking and Internet Architecture · Computer Science 2020-05-15 Khalid S. Aloufi , Omar H. Alhazmi

Spatiotemporal data play a key role for mobility-based applications and are their produced volume is growing continuously, among others, due to the increased availability of IoT devices. When working with spatiotemporal data, developers…

Databases · Computer Science 2025-10-23 Tim C. Rese , David Bermbach

So far there have been several efforts for developing software process simulators. However, the approaches for developing the simulators seem to have been ad-hoc and no systematic methodology exists. Since modeling and simulation in support…

Software Engineering · Computer Science 2014-03-17 Ioana Rus , Holger Neu , Jürgen Münch

Safely interacting with humans is a significant challenge for autonomous driving. The performance of this interaction depends on machine learning-based modules of an autopilot, such as perception, behavior prediction, and planning. These…

Artificial Intelligence · Computer Science 2020-12-01 Jay Shenoy , Edward Kim , Xiangyu Yue , Taesung Park , Daniel Fremont , Alberto Sangiovanni-Vincentelli , Sanjit Seshia

Testing is a commonly used approach to ensure the quality of software, of which model-based testing is a hot topic to test GUI programs such as Android applications (apps). Existing approaches mainly either dynamically construct a model…

Software Engineering · Computer Science 2017-08-24 Jiwei Yan , Tianyong Wu , Jun Yan , Jian Zhang

This paper investigates mobility management strategies from the point of view of their need of signalling and processing resources on the backbone network and load on the air interface. A method is proposed to model the serving network and…

Performance · Computer Science 2008-10-03 Peter Fulop , Benedek Kovacs , Sandor Imre

In our connected world, services are expected to be delivered at speed through multiple means with seamless communication. To put it in day to day conversational terms, 'there is an app for it' attitude prevails. Several technologies are…

Computers and Society · Computer Science 2019-06-27 Aladdin Ayesh

The complexity of IoT, owing to the inherent distributed and dynamic nature of such systems, brings more challenges to the software development process. A vast number of devices with different communication protocols and data formats is…

Software Engineering · Computer Science 2024-11-19 Yousef Abuseta

Nowadays, mobile devices constitute the most common computing device. This new computing model has brought intense competition among hardware and software providers who are continuously introducing increasingly powerful mobile devices and…

Software Engineering · Computer Science 2015-09-11 Eric Umuhoza

Model-based engineering promises to boost productivity and quality of complex systems development. In the context of safety-critical systems, a traditionally highly regulated and conservative domain, the use of models gained importance in…

Software Engineering · Computer Science 2021-06-07 Marc Zeller , Daniel Ratiu , Kai Hoefig

In this paper we apply a model-driven engineering approach to designing domain-specific solutions for robot control system development. We present a case study of the complete process, including identification of the domain meta-model,…

Robotics · Computer Science 2013-02-21 Piotr Trojanek

The Internet of Things (IoT) is envisioned as a global network of connected things enabling ubiquitous machine-to-machine (M2M) communication. With estimations of billions of sensors and devices to be connected in the coming years, the IoT…

Computers and Society · Computer Science 2018-09-27 Radu-Casian Mihailescu , Romina Spalazzese , Clint Heyer , Paul Davidsson

Large Language Models (LLMs) have become a key foundation for enabling personalized smart home experiences. While existing studies have explored how smart home assistants understand user queries to control devices in real time, their…

Artificial Intelligence · Computer Science 2026-04-14 Kai-Yuan Guo , Jiang Wang , Renjie Zhao , Tianyi Wang , Wandong Mao , Yu Gao , Mou Xiao Feng , Yi Xu

This vision paper presents the case for MUSIC, a programmable framework for building distributed mobile IoT applications for urban sensing. The Mobile Urban Sensing, Inference and Control (MUSIC) framework is contextualized for scenarios…

Networking and Internet Architecture · Computer Science 2018-10-01 Shiva R. Iyer , Soumie Kumar , Kate Boxer , Fatima Zarinni , Lakshminarayanan Subramanian

Task-based programming models are emerging as a promising alternative to make the most of multi-/many-core systems. These programming models rely on runtime systems, and their goal is to improve application performance by properly…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-24 Antoni Navarro , Arthur F. Lorenzon , Eduard Ayguadé , Vicenç Beltran

Rapid robotic system development sets a demand for multi-disciplinary methods and tools to explore and compare design alternatives. In this paper, we present collaborative modeling that combines discrete-event models of controller software…

Robotics · Computer Science 2018-02-20 Martin Peter Christiansen , Peter Gorm Larsen , Rasmus Nyholm Jørgensen

Nowadays, the smart city development levels of different cities are still unbalanced. For a large number of cities which just started development, the governments will face a critical cold-start problem: 'how to develop a new smart city…

Artificial Intelligence · Computer Science 2022-05-31 Leye Wang , Bin Guo , Qiang Yang

In today's world, many cities are embracing cutting-edge technology and transforming into "smart cities". These emerging innovations are revolutionizing the standard of living for people, and as a result, smart city infrastructure…

Software Engineering · Computer Science 2023-05-10 Mamdouh Alenezi

Smart TVs are coming to dominate the television market. This accompanied by an increase in the use of smart TV applications (apps). Due to the increasing demand, developers need modeling techniques to analyze these apps and assess their…

Software Engineering · Computer Science 2019-04-08 Bestoun S. Ahmed , Miroslav Bures