Proceedings of the U.K. Academy for Information Systems (UKAIS 2009), 14th Annual Conference 1 A COMPARATIVE ANALYSIS OF BUSINESS PROCESS MODELLING TECHNIQUES Laden Aldin and Sergio de Cesare Department of Information Systems and Computing Brunel University Uxbridge, U.K. Email: {laden.aldin|sergio.decesare}@brunel.ac.uk Abstract Business process modelling is an increasingly popular research ar...

Wireless sensor networks are confronted with unique challenges. Absence of infrastructure support, the key distribution is one of the most challenging security problems in wireless sensor networks, and the traditional security techniques used in tradition networks cannot be applied directly. We propose an IBE-based authentication protocol as the security scheme, which can achieve the key establ...

<p><em>Dewasa ini, dibutuhkan sosok pemimpin yang mampu memimpin dan menjadi teladan bagi bawahannya untuk bersama melakukan perubahan ke arah positif. Kepemimpinan merupakan suatu hal dinamis, berubah, berkembang sesuai masanya sehingga banyak konsep gaya kepemimpinan berkembang. Permasalahan dalam makalah ini adalah Dari uraian di atas dapat dirumuskan permasalahan yaitu: Bagaiman...

This article argues that, to understand where find the study object ‘Islam’ and how address it, researchers in Islamic studies need be theoretically methodologically aware of importance implications power practices. By discussing enunciations associated with Islam, problems reification, power, cognitive naming, semiotic resources mobilised by enunciations, proposes ways operationalise grand sca...

Socioeconomic, demographic, and health characteristic surveys were conducted by medical and nursing students of the Aga Khan University in two settlements of Karachi city. Comparisons of health and socioeconomic indicators are made between Orangi, a squatter settlement (katchi abadi) and Karimabad, a middle class community. Results of these surveys suggest that the demo graphic and health chara...

Information $ow predicates are properties of sets of traces and therefore cannot be handled under the Alpern-Schneider framework and the Abadi-Lnmport Composition Principle. McLean proposed a theory in iMCL941 to investigate the composition properties of these predicates and derived a partial order on them. In this paper we present an alternate framework based on many-sorted predicate logic for...

Some cryptographic protocols are vulnerable to replay attacks, a type of weakness that was a focus of attention in the Burroughs-Abadi-Needham logic. Newer, more operational approaches to protocol analysis have not concentrated on this type of attack. This paper fills the gap for the strand space theory. The main technical point is to provide a definition of recency. Our candidate is convenient...

Formal study of aspect-oriented languages is difficult because current theoretical models provide a range of features that is too limited and rely on encodings using lower-level abstractions, which involve a cumbersome level of indirection. We present a calculus, based on Abadi and Cardelli’s object calculus, that explicitly models a base language and a variety of point cut description language...

Step-indexed semantic models of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. Building on work by Ahmed, Appel and others, we introduce a step-indexed model for the imperative object calculus of Abadi and Cardelli. Providing a semantic account of this calculus using more ‘traditional’, domain-theoretic approaches has proved challenging ...

The main contribution of this paper is a formal characterization of recursive object specifications and their existence based on a denotational untyped semantics of the object calculus. Existence is not guaranteed but can be shown employing Pitts’ results on relational properties of domains. The semantics can be used to analyse and verify Abadi & Leino’s object logic but it also suggests extens...