中文
相关论文

相关论文: Contracts and Behavioral Patterns for SoS: The EU …

200 篇论文

Self-adaptive systems manage themselves to deal with uncertainties that can only be resolved during operation. A common approach to realize self-adaptation is by adding a feedback loop to the system that monitors the system and adapts it to…

软件工程 · 计算机科学 2021-12-14 Danny Weyns , Usman Iftikhar

Planning is concerned with the automated solution of action sequencing problems described in declarative languages giving the action preconditions and effects. One important application area for such technology is the creation of new…

人工智能 · 计算机科学 2014-01-24 Joerg Hoffman , Ingo Weber , Frank Michael Kraft

Existing processes and methods for incident handling are geared towards infrastructures and operational models that will be increasingly outdated by cloud computing. Research has shown that to adapt incident handling to cloud computing…

密码学与安全 · 计算机科学 2016-06-28 Duane Wilson , Jeff Avery

Semi-supervised and unsupervised systems provide operators with invaluable support and can tremendously reduce the operators load. In the light of the necessity to process large volumes of video data and provide autonomous decisions, this…

机器学习 · 统计学 2017-09-20 Olga Isupova , Danil Kuzin , Lyudmila Mihaylova

The increasing integration of artificial intelligence (AI) systems in various fields requires solid concepts to ensure compliance with upcoming legislation. This paper systematically examines the compliance of AI systems with relevant…

计算机与社会 · 计算机科学 2026-04-21 Julius Schöning , Niklas Kruse

We introduce CODES, a benchmark for comprehensive evaluation of surrogate architectures for coupled ODE systems. Besides standard metrics like mean squared error (MSE) and inference time, CODES provides insights into surrogate behaviour…

机器学习 · 计算机科学 2024-11-21 Robin Janssen , Immanuel Sulzer , Tobias Buck

Together with the rapid development of the Internet of Things (IoT), human activity recognition (HAR) using wearable Inertial Measurement Units (IMUs) becomes a promising technology for many research areas. Recently, deep learning-based…

计算机视觉与模式识别 · 计算机科学 2020-10-12 Ling Pei , Songpengcheng Xia , Lei Chu , Fanyi Xiao , Qi Wu , Wenxian Yu , Robert Qiu

Machines of all kinds from vehicles to industrial equipment are increasingly instrumented with hundreds of sensors. Using such data to detect anomalous behaviour is critical for safety and efficient maintenance. However, anomalies occur…

人工智能 · 计算机科学 2016-05-06 Mohit Yadav , Pankaj Malhotra , Lovekesh Vig , K Sriram , Gautam Shroff

One of the most challenging problems in Opportunistic Spectrum Access (OSA) is to design channel sensing-based protocol in multi secondary users (SUs) network. Quality of Service (QoS) requirements for SUs have significant implications on…

计算机科学与博弈论 · 计算机科学 2010-10-18 Saber Salehkaleybar , Seyyed Arash Majd , Mohammad Reza Pakravan

Increased connectivity and remote reprogrammability/reconfigurability features of embedded devices in current-day power systems (including interconnections between information technology -- IT -- and operational technology -- OT --…

系统与控制 · 电气工程与系统科学 2024-06-19 Prashanth Krishnamurthy , Ali Rasteh , Ramesh Karri , Farshad Khorrami

The advantages of IoT in strengthening commercial, industrial, and social ecosystems have led to its widespread expansion. Nevertheless, because endpoint devices have limited computation, storage, and communication capabilities, the IoT…

密码学与安全 · 计算机科学 2025-08-19 Masoud Hayeri Khyavi

Contemporary AI regulation, including the EU Artificial Intelligence Act and related governance frameworks, increasingly requires institutions to justify the training data used in automated decision-making. Yet existing governance regimes…

计算机与社会 · 计算机科学 2026-03-02 A. Talha Yalta , A. Yasemin Yalta

Active security is mainly concerned with performing one or more security functions when a host in a communication network is subject to an attack. Such security functions include appropriate actions against attackers. To properly afford…

密码学与安全 · 计算机科学 2014-09-23 Tarek S. Sobh , Awad H. Khalil

Sophisticated cyber attacks present significant challenges for organizations in detecting and preventing such threats. To address this critical need for advanced defense mechanisms, we propose an Ensemble Defense System (EDS). An EDS is a…

密码学与安全 · 计算机科学 2024-01-09 Sarah Alharbi , Arshiya Khan

We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and…

计算机科学中的逻辑 · 计算机科学 2014-11-17 Mario Bravetti , Gianluigi Zavattaro

Stochastic partial differential equations (SPDEs) represent a very active research field with numerous recent developments and breakthrough results. There are several well-established approaches and methods used to construct solutions for…

概率论 · 数学 2019-08-27 Christian Kuehn , Alexandra Neamtu

Searchable encrypted (SE) indexing systems are a useful tool for utilizing cloud services to store and manage sensitive information. However, much of the work on SE systems to date has remained theoretical. In order to make them of…

密码学与安全 · 计算机科学 2023-08-28 Steven Willoughby

The use of web services has dominated software industry. Existing technologies of web services are extended to give value added customized services to customers through composition. Automated web service composition is a very challenging…

其他计算机科学 · 计算机科学 2010-03-09 Farhan Hassan Khan , Saba Bashir , M. Younus Javed , Aihab Khan , Malik Sikandar Hayat Khiyal

Web Service is one of the most significant current discussions in information sharing technologies and one of the examples of service oriented processing. To ensure accurate execution of web services operations, it must be adaptable with…

社会与信息网络 · 计算机科学 2016-10-04 Marzieh Adelnia , Mohammad Reza Khayyambashi

The successful execution of a construction project is heavily impacted by making the right decision during tendering processes. Managing tender procedures is very complex and uncertain involving coordination of many tasks and individuals…

人工智能 · 计算机科学 2010-04-20 Rosmayati Mohemad , Abdul Razak Hamdan , Zulaiha Ali Othman , Noor Maizura Mohamad Noor