Connectivity weakness impacts on coordination in wireless sensor and actor networks
The combination of sensor and actor nodes in wireless sensor actor networks (WSANs) has
created new challenges notably in coordination. In this paper, we survey, categorize, and …
created new challenges notably in coordination. In this paper, we survey, categorize, and …
Roll-forward and rollback recovery: Performance-reliability trade-off
DK Pradhan, NH Vaidya - Proceedings of IEEE 24th …, 1994 - ieeexplore.ieee.org
Performance and reliability achieved by a modular redundant system depend on the
recovery scheme used. Typically, gain in performance using comparable resources results …
recovery scheme used. Typically, gain in performance using comparable resources results …
Ready for testing: ensuring conformance to industrial standards through formal verification
The design of distributed, safety-critical real-time systems is challenging due to their high
complexity, the potentially large number of components, and complicated requirements and …
complexity, the potentially large number of components, and complicated requirements and …
The wireless fire alarm system: ensuring conformance to industrial standards through formal verification
The design of distributed, safety critical real-time systems is challenging due to their high
complexity, the potentially large number of components, and complicated requirements and …
complexity, the potentially large number of components, and complicated requirements and …
Scalable reaction network modeling with automatic validation of consistency in Event-B
Constructing a large biological model is a difficult, error-prone process. Small errors in
writing a part of the model cascade to the system level and their sources are difficult to trace …
writing a part of the model cascade to the system level and their sources are difficult to trace …
Mechanized extraction of topology anti-patterns in wireless networks
Exhaustive and mechanized formal verification of wireless networks is hampered by the
huge number of possible topologies and the large size of the actual networks. However, the …
huge number of possible topologies and the large size of the actual networks. However, the …
[图书][B] Autonomic networking-on-chip: bio-inspired specification, development, and verification
P Cong-Vinh - 2018 - books.google.com
Despite the growing mainstream importance and unique advantages of autonomic
networking-on-chip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired …
networking-on-chip (ANoC) technology, Autonomic Networking-On-Chip: Bio-Inspired …
A node and network level self-recovering distributed wireless sensor architecture for real-time crop monitoring in greenhouses
GM Striemer, DL Story, A Akoglu… - Transactions of the …, 2011 - elibrary.asabe.org
Visual sensor networks (VSNs) have emerged as a new paradigm by giving sensors the
capability to perceive and analyze their surroundings. Robust and fault-tolerant operations …
capability to perceive and analyze their surroundings. Robust and fault-tolerant operations …
Node coordination in peer-to-peer networks
L Petre, P Sandvik, K Sere - … 2012, Stockholm, Sweden, June 14-15, 2012 …, 2012 - Springer
Peer-to-peer networks and other many-to-many relations have become popular especially
for content transfer. To better understand and trust these types of networks, we need formally …
for content transfer. To better understand and trust these types of networks, we need formally …
[PDF][PDF] Formal analysis and verification of peer-to-peer node behaviour
P Sandvik, K Sere - Proceedings of AP2PS'11, 2011 - Citeseer
As services and applications move away from the one-to-many relationship of the client-
server model towards many-to-many relations such as distributed cloud-based services and …
server model towards many-to-many relations such as distributed cloud-based services and …