Rami Khalil Bahsoon

59 published titles

Proceedings of the 7th annual CLUK Research Colloquium : 6th & 7th January 2004, University of Birmingham

(Contributor)

1 edition

Proceedings of the third Interdisciplinary Workshop on Corpus-based Approaches to Figurative Language : held in conjunction with Corpus Linguistics 2005 : 14th July 2005

(Contributor)

1 edition

Proceedings of the APPSEM-II Workshop on the Krivine and ZINC Abstract Machines (KAZAM)

(Contributor)

1 edition

On-the-fly techniques for game-based software model checking (extended report)

(Contributor)

1 edition

Planning information processing and sensing actions

(Contributor)

2 editions

Analysis of the (1+1)-EA for finding approximate solutions to vertex cover problems

(Contributor)

1 edition

Analysis of population-based evolutionary algorithms for the vertex cover problem

(Contributor)

1 edition

Automatic verification of privacy properties in the applied pi calculus

(Contributor)

1 edition

Some utility predicates for KUL constraint handling rules

(Contributor)

1 edition

Distributed meta-management for self-protection and self-explanation

(Contributor)

1 edition

Metaphor in textual entailment

(Contributor)

1 edition

Proceedings of the 15th workshop on automated reasoning : bridging the gap between theory and practice : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK

(Contributor)

1 edition

Proceedings of the 2nd workshop on programming languages for mechanized mathematics systems (PLMMS) : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK

(Contributor)

1 edition

Proceedings of the Workshop on Empirically Successful Automated Reasoning for Mathematics (ESARM) : CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK

(Contributor)

1 edition

Compositional predicate abstraction from game semantics

(Contributor)

1 edition

Lopping : syntactic approximation for games-based software model checking

(Contributor)

1 edition

Function interface models for hardware compilation : types, signatures, protocols

(Contributor)

1 edition

Crossover can be constructive when computing unique input output sequences

(Contributor)

1 edition

Chunk learning and move prompting : making moves in chess

(Contributor)

1 edition

Information-lookahead planning for AUV mapping

(Contributor)

1 edition

Evolutionary repair of faulty software

(Contributor)

1 edition

Longer is better : on the role of test sequence length in software testing

(Contributor)

1 edition

Theoretical runtime analysis in search based software engineering

(Contributor)

1 edition

A first-order interactive programming language

(Contributor)

1 edition

A pairing based designated confirmer signature scheme with unified verification

(Contributor)

1 edition

Security in the cloud

(Contributor)

1 edition

A CCG-based system for valence shifting and sentiment analysis of newspaper headlines

(Contributor)

1 edition

Market-based approach for self-managing power in software architectures

(Contributor)

1 edition

Meta-cognition for self-managing systems : bridging the gap between cognitive modelling and software engineering

(Contributor)

1 edition

Compressed fisher linear discriminant analysis : classification of randomly projected data

(Contributor)

1 edition

Exploiting Natwest and RBS online banking systems for profit

(Contributor)

1 edition

Flip probabilities for random projections of θ-separated vectors for distributed systems

(Contributor)

1 edition

A secure hardware abstraction for distributed systems

(Contributor)

1 edition

Election verifiability in electronic voting protocols

(Contributor)

1 edition

The trustworthy elections : remote electronic voting using trusted computing

(Contributor)

1 edition

Forgotten your responsibilities? (How password recovery threatens banking security)

(Contributor)

1 edition

Using collective intelligence as a self-adaptation mechanism in the cloud

(Contributor)

1 edition

A tight bound on the performance of Fisher's linear discriminant in randomly projected data spaces

(Contributor)

1 edition

Learning with labelling errors

(Contributor)

1 edition

A proof that crossover helps to optimise vertex cover problems

(Contributor)

1 edition

A comparison of the moments of a quadratic form involving orthonormalised and normalised random projection matrices

(Contributor)

1 edition

Interactive debugging with traces and trace slices

(Contributor)

1 edition

Modelling dynamic access control policies for web-based collaborative systems

(Contributor)

1 edition

Towards a better understanding of self-awareness and self-expression within software systems

(Contributor)

1 edition

How to detect an android

(Contributor)

1 edition

Efficient bracket abstraction using iconic representation for combinators

(Contributor)

1 edition

Self-managed cloud architecture : a decentralised market-based approach

(Contributor)

1 edition

X-Policy : knowledge-based verification tool for dynamic access control policies

(Contributor)

1 edition

Metaphor and simile : reframing the comparison versus categorization debate

(Contributor)

1 edition

Random projections as regularizers : learning a linear discriminant ensemble from fewer observations than dimensions

(Contributor)

1 edition

Self-awareness, self-expression and meta-self-awareness in the relevant neighbourhood selection problem

(Contributor)

1 edition

Exploiting cellular data for disease containment and information campaigns strategies in country-wide epidemics

(Contributor)

1 edition

Anticipatory mobile computing : a survey of the state of the art and research challenges

(Contributor)

1 edition

Corpus-Based Approaches to Figurative Language: Metaphor and Austerity : A Corpus Linguistics 2013 Workshop : Workshop Companion

(Contributor)

1 edition

A taxonomy for architecture stability

(Contributor)

1 edition

How effective is cauchy-EDA in high dimensions?

(Contributor)

1 edition

Sustainability Debt : An Economics Driven Approach for Using Technical Debt Analysis in Decision Making for Sustainable Requirements

(Contributor)

1 edition

IDG : A Faster and More accurate Differential Grouping Algorithm

(Contributor)

1 edition

Managing Trade-offs in Self-Adaptive Software Architectures : A Systematic Mapping Study

(Contributor)

1 edition