Results 11 to 20 of about 4,198,966 (245)
Checking sequences for distributed test architectures [PDF]
, 2008 Controllability and observability problems may manifest themselves during the application of a checking sequence in a test architecture where there are multiple remote testers.
Hierons, RM, Ural, H
core +7 more sources
The Logic of Events, a framework to reason about distributed systems [PDF]
, 2012 We present a logical framework to reason about distributed systems called the Logic of Events. This logic has been formalized in Nuprl. We developed a suite of tools and tactics in Nuprl to reason about event classes.
Constable, Robert +2 more
core +5 more sources
A distributed alerting service for open digital library software [PDF]
, 2005 Alerting for Digital Libraries (DL) is an important and useful feature for the library users. To date, two independent services and a few publisher-hosted proprietary services have been developed.
Hinze, Annika, Buchanan, George
core +1 more source
Smart-Contract Aware Ethereum and Client-Fog-Cloud Healthcare System
Sensors, 2021 The Internet of Medical Things (IoMT) is increasingly being used for healthcare purposes. IoMT enables many sensors to collect patient data from various locations and send it to a distributed hospital for further study.
Abdullah Lakhan +6 more
doaj +1 more source
Dextt: Deterministic Cross-Blockchain Token Transfers
IEEE Access, 2019 Current blockchain technologies provide very limited interoperability. Restrictions with regard to asset transfers and data exchange between different blockchains reduce the usability and comfort of users, and hinder novel developments within the ...
Michael Borkowski +4 more
doaj +1 more source
How Cellular Agriculture Systems Can Promote Food Security
Frontiers in Sustainable Food Systems, 2021 Cellular agriculture, the manufacturing of animal-sourced foods by cell cultures, may promote food security by providing a food source that is available, accessible, utilized, and stable. The extent to which cellular agriculture can promote food security,
Emily Soice +2 more
doaj +1 more source
A Distributed Formation Joint Network Navigation and Positioning Algorithm
Mathematics, 2022 In view of the problem that the leader-follower joint navigation scheme relies too much on the absolute navigation and positioning accuracy of the leader node, under the conditions of distributed network-centric warfare (NCW) and to meet the location ...
Lvyang Ye +4 more
doaj +1 more source
Sensors, 2023 Real-time multi-axis distributed tactile sensing is a critical capability if robots are to perform stable gripping and dexterous manipulation, as it provides crucial information about the sensor–object interface.
Olivia Leslie +2 more
doaj +1 more source
Application Study of Distributed Grounding Line Selection Method Based on GOOSE Communication
Zhongguo dianli, 2020 A GOOSE communication-based distributed grounding line selection method is introduced and implemented in the relay protection device. When a single-phase grounding fault happens in the small current grounding system, the fault current is quite small due ...
Hongshan CHEN +4 more
doaj +1 more source
Control Strategies of DC Microgrids Cluster: A Comprehensive Review
Energies, 2021 Multiple microgrids (MGs) close to each other can be interconnected to construct a cluster to enhance reliability and flexibility. This paper presents a comprehensive and comparative review of recent studies on DC MG clusters’ control strategies ...
Zaid Hamid Abdulabbas Al-Tameemi +3 more
doaj +1 more source