Tools to evaluate Cryptographic Protocols (CPs) exploded into the literature after development of BAN Logic [BAN88,BAN90]. Many of these were created to repair weaknesses in BAN Logic. Unfortunately, these tools are all complex and difficult to implement individually, with little or no effort available to implement multiple tools in a workbench environment. We propose a framework that allows a ...

Background This study aims to examine adult separation anxiety in pregnant women and its relationship with dysfunctional attitudes from the perspective of cognitive theory. Methods The sociodemographic data, Adult Separation Anxiety Questionnaire (ASA-27), Dysfunctional Attitudes Scale-Revised (DAS-R) questionnaire were utilised correlation between factors ASA attending antenatal obstetric clin...

In this paper, we present a task scheduling heuristic, based on a parallel genetic algorithm (PGA). The algorithm schedules parallel programs, represented as directed acyclic graphs (DAGs), onto multi-processor systems with dynamic interconnection networks (DIN). It combines PGA with list scheduling approach and takes into account inter-processor communication cost, link contention in the DIN a...

Abadi and Cardelli have recently investigated a calculus of objects 2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another object that has more reened methods. Abadi and Cardelli presented four rst-order type systems for the calculus. The simplest one is based on nite types and no subtyping, and the most powerful one has both recursive types a...