We propose the design of a benchmarking and instrumentation component for the GENI experimental networking testbed. Our design uses a workload generation system to create reproducible network conditions and an instrumentation component to collect measurement data. We discuss the research challenges related to this design.

Autonomous intelligent agent research is a domain situated at the forefront of artificial intelligence. Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improve the likelihood and quality of a offer. In this paper we model and verify a multi-agent argumentation scenario of resource sharing mechanism to en...

This paper studies the analysis of reductio ad absurdum by Ibn Sı̄nā (known to the Latin West as Avicenna), who was born in 980 in a village near the Bactrian town of Balkh on the Silk Road, and died in 1037 after a career spent moving around within the present boundaries of Iran. References to Ibn Sı̄nā’s writings are to his Arabic texts listed in the bibliography, and are given in the format pa...

Testbeds play an important role in evaluating new protocols, and GpENI (Great Plains Environment for Network Innovation) [1] is a Future Internet research testbed that provides worldwide scalability to researchers to conduct their experiments. In this extended abstract, we describe experiments for which GpENI will be used, with emphasis on network infrastructure resilience [2]. GpENI is part of...

Having been asked by a few persons to provide a detailed explanation on why the Shia Imamis have a negative stance on 'Shaykhul Islam' Ibn Taimiyyah, we have provided the research carried out by Al-Ghadeer Center. This gives a brief a overview on why this man is viewed as an extremist and why his views were not only conflicting with Islam, but served to damage Islam through the adherence of a f...