in vehicular ad hoc networks there is the ability to communicate between vehicles. this communication which is wireless should be rapid and reliable. these networks have unique characteristic. this communication among vehicles has many advantages in safety and comfort applications. since, the roads are always encountered to accidents and risks, using optimized tools could be useful in these sit...

Due to their increasing complexity, today’s distributed systems are subject to a variety of transient faults (e.g., loss of coordination, soft errors, bad initialization), thereby making self-stabilization a highly important property of such systems. However, designing Self-Stabilizing (SS) network protocols is a complex task in part because a SS protocol should recover to a set of legitimate s...

This paper proposes and evaluates different protocols for individual peers to self-configure the P2P overlay networks in various network environments. For smallscale homogeneous networks, an optimizer peer selection protocol is proposed and found to be superior to other peer selection protocols, including random, egoist, altruist and greedy protocols, in terms of network diameter and node eccen...

background: snakebite in iran has been a health concern. however, management of snakebite is not standardized and varies from center to center. this study is aimed at devising an evidence-based comprehensive protocol for snakebite management in iran, to reduce unnecessary variations in practice. materials and methods: a narrative search in electronic databases was performed. fifty peer-reviewed...

Multi-dose radiotherapy protocols (fraction dose and timing) currently used in the clinic are the product of human selection based on habit, received wisdom, physician experience and intra-day patient timetabling. However, due to combinatorial considerations, the potential treatment protocol space for a given total dose or treatment length is enormous, even for relatively coarse search; well be...

Abstract Rewriting Modulo SMT combines two powerful automated deduction techniques (1) rewriting and (2) SMT-solving. enables the specification of behavior systems using rules, while theories specify system properties. is enabled by combining existing tools, such as Maude solvers. Search algorithms used for carrying out SMT, however, cannot exploit incremental solving features available in solv...

Group communication in real-time computing systems has been a subject of research for almost two decades but it is not yet a mature technological field. The purpose of this paper is to review the main goals of developing group communication protocols and establish a practical framework of protocols toward meeting the goals. As a part of this, an attempt is made to clarify the relationship betwe...