Executing a protocol P, a sending host S decides, through P’s routing mechanism, that it wants to transmit to a target host T located somewhere on a connected piece of 10Mbit Ethernet cable which conforms to IEEE 802.3. To actually transmit the Ethernet packet, a 48 bit Ethernet/hardware address must be generated. The addresses assigned to hosts within protocol P are not always compatible with ...

The reasons for such failures can be manifold, including hardware problems (e.g., condensing humidity causing short circuits in a sensor), software bugs (e.g., timing problems that cause the microcontroller to reboot frequently), and networking problems (e.g., communicating nodes fail to wake up concurrently due to excessive clock drift caused by extreme temperature variations). Unfortunately, ...

Most computer users know that one of the most effective ways to recover from faults such as system crashes and performance degradation is simply to reset or reboot a computer. Although these methods might be expensive in terms of downtime, they are frequently most effective. Since commercial users in most cases cannot afford the restart, they tend to use periodic rejuvenation, which is restarti...

To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working monolithic solutions tailored upon specific inference procedures, unification mechanisms, knowledge representation techniques. Instead, to maximise their impact, should support and enable general-purpose exploitation all manifold contributions from logic programming. Accordingly, we...

Building enterprise applications that can self-adapt to eliminate component failures is hard. Existing approaches for building adaptive applications exhibit significant limitations, such as requiring developers to manually handle healing side-effects, such as lock release, thread synchronization, and transaction cancellation. Moreover, these techniques require developers to write the complex re...