Results 11 to 20 of about 1,031,530 (335)
The computability path ordering [PDF]
Logical Methods in Computer Science, 2015 This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation on terms obtained by lifting a precedence on function symbols.
Frédéric Blanqui +2 more
openalex +8 more sources
ADRCN: A Framework to Detect and Mitigate Malicious Insider Attacks in Cloud-Based Environment on IaaS [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2019 Security is a critical factor for any of the computing platforms. Cloud computing is a new computing environment but still, its basic technology is the Internet.
Priya Oberoi +2 more
doaj +1 more source
AOEHO: A New Hybrid Data Replication Method in Fog Computing for IoT Application
Sensors, 2023 Recently, the concept of the internet of things and its services has emerged with cloud computing. Cloud computing is a modern technology for dealing with big data to perform specified operations.
Ahmed awad Mohamed +3 more
doaj +1 more source
Determining Effective Factors in Cloud Computing Acceptance Using Rogers’ Diffusion of Innovation Model and Davis’ Technology Adoption Model (A Case of Financial Institution) [PDF]
Journal of Electrical and Computer Engineering Innovations, 2022 Background and Objectives: Determining effective factors in cloud computing adoption on employees of Noor credit institution in South Khorasan province, Iran, is the purpose of the present study.
H. KardanMoghaddam, A. Rajaei, F. Jafari
doaj +1 more source
Computing directed Steiner path covers [PDF]
Journal of Combinatorial Optimization, 2021 AbstractIn this article we consider the Directed Steiner Path Cover problem on directed co-graphs. Given a directed graph $$G=(V,E)$$ G = ( V , E ) and a set $$
Frank Gurski +4 more
openaire +3 more sources
Applied Sciences, 2021 Finding an optimal/quasi-optimal path for Unmanned Aerial Vehicles (UAVs) utilizing full map information yields time performance degradation in large and complex three-dimensional (3D) urban environments populated by various obstacles. A major portion of
Abdul Majeed, Seong Oun Hwang
doaj +1 more source
Path computation algorithms in NS2 [PDF]
Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems, 2008 Originally designed to improve the efficiency of packets forwarding, MPLS provides support for Traffic Engineering and network resilience. Constrained-based path computation is a key building block for Traffic Engineering in MPLS networks, since it allows to set-up LSPs along paths that satisfy QoS constraints.
ADAMI, DAVIDE +3 more
openaire +1 more source
IEEE Access, 2020 In modern transportation, traffic congestion has become an urgent problem in large and medium-sized cities. In smart transportation systems, it is an effective solution to design load balancing path planning algorithms that can dynamically adapt to ...
Ning Sun +4 more
doaj +1 more source
Computational paths - a weak groupoid
Journal of Logic and Computation, 2023 Abstract On the basis of a labelled deduction system (LND$_{ED-}$TRS), we demonstrate how to formalize the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type. This has allowed us to carry out a formal counterpart to equality between paths which is dealt with in homotopy theory, but ...
Tiago Mendonça Lucena de Veras +3 more
openaire +1 more source
Gong-kuang zidonghua, 2020 In view of problems such as unreasonable path planning, slow planning speed and poor real -time performance when mine mobile robots use traditional dynamic window algorithm to plan path in complex environment, a dynamic window algorithm of mine mobile ...
LAN Shihao +3 more
doaj +1 more source