• Publications
  • Influence
The Design of the Zinc Modelling Language
TLDR
Zinc is a new modelling language developed as part of the G12 project. Expand
  • 151
  • 8
  • PDF
The Modelling Language Zinc
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be readily extended toExpand
  • 62
  • 7
  • PDF
From Zinc to Design Model
TLDR
We describe a preliminary implementation of the high-level modelling language Zinc. Expand
  • 23
  • 5
  • PDF
Recommender Systems in ECommerce
  • R. Rafeh
  • Computer Science
  • 20 November 2017
TLDR
A cluster based recommender system that can accurately recommend items to users. Expand
  • 72
  • 2
A novel agent-based approach to detect sinkhole attacks in wireless sensor networks
TLDR
We use mobile agents to aware every node from its trusted neighbors through a three-step negotiation so they do not listen to the traffics generated by malicious nodes. Expand
  • 36
  • 2
An adaptive approach to dealing with unstable behaviour of users in collaborative filtering systems
TLDR
We propose an adaptive collaborative filtering algorithm which takes time into account when predicting users’ behaviour. Expand
  • 29
  • 2
Detecting Sybil Nodes in Wireless Sensor Networks Using Two-hop Messages
TLDR
We propose a distributed and efficient algorithm based on broadcasting two-hop messages to detect Sybil nodes in wireless sensor networks. Expand
  • 17
  • 2
Modeling Fault Tolerant Services in Service-Oriented Architecture
TLDR
In this paper we investigate fault tolerance mechanisms for modeling services in service-oriented architecture. Expand
  • 14
  • 1
Automatic Refinement of Platform Independent Models
TLDR
In this paper, we propose a formal and automatic approach to refinement platform independent models to more platform specific ones. Expand
  • 4
  • 1
The many roads leading to Rome: Solving zinc models by various solvers
Zinc is a solver-independent modelling language designed to support very high level modelling and easy experimentation with different solving technologies for the same problem. In this position paperExpand
  • 9
  • 1
  • PDF