中文
相关论文

相关论文: Runtime Model Based Approach to Smart Home System …

200 篇论文

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…

分布式、并行与集群计算 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

数据库 · 计算机科学 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…

软件工程 · 计算机科学 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…

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…

软件工程 · 计算机科学 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…

性能 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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,…

机器人学 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

人工智能 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

机器人学 · 计算机科学 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…

人工智能 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 2019-04-08 Bestoun S. Ahmed , Miroslav Bures