English
Related papers

Related papers: IVOA Architecture

200 papers

Optical systems are becoming increasingly important by resolving many bottlenecks in today's communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical…

Logic in Computer Science · Computer Science 2014-03-13 Sanaz Khan-Afshar , Umair Siddique , Mohamed Yousri Mahmoud , Vincent Aravantinos , Ons Seddiki , Osman Hasan , Sofiene Tahar

Modeling the logical architecture is an often underestimated development step to gain an early insight into the fundamental functional properties of an automotive system. An architectural description supports developers in making design…

Software Engineering · Computer Science 2014-09-24 Hans Grönninger , Jochen Hartmann , Holger Krahn , Stefan Kriebel , Lutz Rothhart , Bernhard Rumpe

The Internet of Things, or the IoT is a vision for a ubiquitous society wherein people and "Things" are connected in an immersively networked computing environment, with the connected "Things" providing utility to people/enterprises and…

Computers and Society · Computer Science 2016-04-11 Prasant Misra , Yogesh Simmhan , Jay Warrior

Multilevel methods are among the most efficient numerical methods for solving large-scale systems of equations that arise from discretized partial differential equations. Two-level convergence theory plays a fundamental role in the analysis…

Numerical Analysis · Mathematics 2025-06-04 Xuefeng Xu

Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic stage. The staging function partially evaluating the part of a…

Programming Languages · Computer Science 2024-01-12 Guillaume Allais

This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.

Artificial Intelligence · Computer Science 2007-05-23 Francesco Calimeri , Nicola Leone

This report has two objectives. First, we describe a set of the production distributed infrastructures currently available, so that the reader has a basic understanding of them. This includes explaining why each infrastructure was created…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-08-14 Daniel S. Katz , Shantenu Jha , Manish Parashar , Omer Rana , Jon Weissman

Evaluation of service oriented system has been a challenge, though there are large number of evaluation metrics exist but none of them is efficient to evaluate these systems effectively.This paper discusses the different testing tools and…

Software Engineering · Computer Science 2013-02-11 Ashish Seth , Himanshu Agarwal , Ashim Raj Singla

This survey note describes a brief systemic view to approaches for evaluation of hierarchical composite (modular) systems. The list of considered issues involves the following: (i) basic assessment scales (quantitative scale, ordinal scale,…

Artificial Intelligence · Computer Science 2013-05-22 Mark Sh. Levin

Most IoT systems involve IoT devices, communication protocols, remote cloud, IoT applications, mobile apps, and the physical environment. However, existing IoT security analyses only focus on a subset of all the essential components, such…

Cryptography and Security · Computer Science 2022-02-08 Zheng Fang , Hao Fu , Tianbo Gu , Pengfei Hu , Jinyue Song , Trent Jaeger , Prasant Mohapatra

The Industrial Internet of Things (IIoT) paradigm has emerged as a transformative force, revolutionizing industrial processes by integrating advanced wireless technologies into traditional procedures to enhance their efficiency. The…

Visual analytics (VA) systems have been widely used in various application domains. However, VA systems are complex in design, which imposes a serious problem: although the academic community constantly designs and implements new designs,…

Human-Computer Interaction · Computer Science 2024-02-27 Lu Ying , Aoyu Wu , Haotian Li , Zikun Deng , Ji Lan , Jiang Wu , Yong Wang , Huamin Qu , Dazhen Deng , Yingcai Wu

Internet of Things (IoT) is a disruptive technology with applications across diverse domains such as transportation and logistics systems, smart grids, smart homes, connected vehicles, and smart cities. Alongside the growth of these…

Cryptography and Security · Computer Science 2018-12-24 Junaid Arshad , Muhammad Ajmal Azad , Khaled Salah , Wei Jie , Razi Iqbal , Mamoun Alazab

An accurate implicit description of geometries is enabled by the level-set method. Level-set data is given at the nodes of a higher-order background mesh and the interpolated zero-level sets imply boundaries of the domain or interfaces…

Numerical Analysis · Computer Science 2017-06-05 T. P. Fries , S. Omerović , D. Schöllhammer , J. Steidl

Certain towers of function fields with complete splitting of rational places at each stage are constructed. Also, families oof towers with positive N/g ratios are described.

Number Theory · Mathematics 2007-05-23 Vinay Deolalikar

The fiercely competitive business environment and increasingly personalized customization needs are driving the digital transformation and upgrading of the manufacturing industry. IIoT intelligence, which can provide innovative and…

Artificial Intelligence · Computer Science 2024-02-23 Yujiao Hu , Qingmin Jia , Yuao Yao , Yong Lee , Mengjie Lee , Chenyi Wang , Xiaomao Zhou , Renchao Xie , F. Richard Yu

This paper presents a methodology for simulating the Internet of Things (IoT) using multi-level simulation models. With respect to conventional simulators, this approach allows us to tune the level of detail of different parts of the model…

Performance · Computer Science 2018-08-08 Stefano Ferretti , Gabriele D'Angelo , Vittorio Ghini , Moreno Marzolla

With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe…

Systems and Control · Computer Science 2018-04-25 Gerrit Bagschik , Marcus Nolte , Susanne Ernst , Markus Maurer

Industry 4.0 embodies one of the significant technological changes of this decade. Cyber-physical systems and the Internet Of Things are two central technologies in this change that embed or connect with sensors and actuators and interact…

Cryptography and Security · Computer Science 2021-09-21 Florian Hofer , Barbara Russo

Under the context of Industrie 4.0 (I4.0), future production systems provide balanced operations between manufacturing flexibility and efficiency, realized in an autonomous, horizontal, and decentralized item-level production control…

Software Engineering · Computer Science 2015-05-25 Chih-Hong Cheng , Tuncay Guelfirat , Christian Messinger , Johannes Schmitt , Matthias Schnelte , Peter Weber
‹ Prev 1 4 5 6 7 8 10 Next ›