Over 90 percent of all microprocessors are now used for realtime and embedded applications. Since the behavior of these applications is often constrained by the physical world, it is important to devise higher-level programming languages and middleware that robustly and productively enforce real-time constraints, as well as meeting conventional functional requirements. This paper provides two c...

Facilitating the implementation of continuous quality improvement (CQI) is a complex undertaking. Numerous contextual factors at a local, organizational, and health system level can influence the trajectory and ultimate success of an improvement program. Some of these contextual factors are amenable to modification, others less so. As part of planning and implementing healthcare improvement, it...

Purpose: The aim of the current study was to investigate the effectiveness of schema therapy and mindfulness based cognitive therapy on the rate of using negative automatic thoughts in women with major depression in Mashhad. Participants were 36 depressed women clients, randomly selected and randomly designated to 3 groups (two experimental group and control group). Materials and method: This s...

800x600   introduction:  many items are needed for dressing including sterile dressing set, antiseptic and washing solutions, leucoplast tape, waste bin for infectious garbage, waste bin for noninfectious garbage, safe disposal trash for sharp cutting instruments, bedpan and sometimes drugs. all the items are laid out on a simple wheeled trolley. the multiplicity of items together with problems...

In a distributed system, like RAMCloud, supporting automatic retry of RPC, it is tricky to achieve linearizability correct along with durability and liveness. Automatic retry may cause duplicate executions when a server fails after durably recording the original execution and before sending its response. We can cope with the problem by implementing at-most-once mechanism for RPC system. But in ...

We present a method for validating cryptographic protocols. The method can find flaws which are inherent i~l the design of the protocol as well as flaws arising from the particular implementation of the protocol. The latter possibility arises from the fact that there is no universally accepted standard for describing either the cryptographic protocols themselves or their implementation. Thus, s...

We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed implementation. The style allows developers to work at a distribution-independent conceptual level and provides for automatic or semi-automatic refinement of conceptual designs into appropriate distributed implementat...

We present a search method for detecting potential security aws in cryptographic protocols. The method can nd aws which are inherent in the design of the protocol as well as aws arising from the particular implementation of the protocol. The latter possibility arises from the fact that there is no universally accepted standard for describing either the cryptographic protocols themselves or thei...