The Median Principle for Inequalities and Applications

The median principle is applied for different integral inequalities of Gruss and Ostrowski type

Modelling Probabilistic Wireless Networks

We propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of wireless networks, namely broadcast communication and probabilistic behaviour. We first focus on the problem of composing wireless networks, then we present a compositional theory based on a probabilistic generalisation of the well known may-testing and must-testing pre- orders. Also, we define an extensional semantics for our calculus, which will be used to define both simulation and deadlock simulation preorders for wireless networks. We prove that our simulation preorder is sound with respect to the may-testing preorder; similarly, the deadlock simulation pre- order is sound with respect to the must-testing preorder, for a large class of networks. We also provide a counterexample showing that completeness of the simulation preorder, with respect to the may testing one, does not hold. We conclude the paper with an application of our theory to probabilistic routing protocols

Bounding the Čebyšev Functional for the Riemann-Stieltjes Integral via a Beesack Inequality and Applications

Lower and upper bounds of the Čebyšev functional for the Riemann- Stieltjes integral are given. Applications for the three point quadrature rules of functions that are n-time differentiable are also provided

Approximating the Riemann-Stieltjes Integral via Some Moments of the Integrand

Error bounds in approximating the Riemann-Stieltjes integral in terms of some moments of the integrand are given. Applications for p-convex functions and in approximating the Finite Foureir Transform are pointed out as well

Modelling MAC-Layer Communications in Wireless Systems

We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions. Based on a reduction semantics for the calculus we define a contextual equivalence to compare the external behaviour of such wireless networks. Further, we construct an extensional LTS (labelled transition system) which models the activities of stations that can be directly observed by the external environment. Standard bisimulations in this LTS provide a sound proof method for proving systems contextually equivalence. We illustrate the usefulness of the proof methodology by a series of examples. Finally we show that this proof method is also complete, for a large class of systems

Some Remarks on the Trapezoid Rule In Numerical Integration

In this paper, by the use of some classical results from the Theory of Inequalities, we point out quasi-trapezoid quadrature formulae for which the error of approximation is smaller than in the classical case. Examples are given to demonstrate that the bounds obtained within this paper may be tighter than the classical ones. Some applications for special means are also given

Representing ASN.1 in Z

ASN.1 (Abstract Syntax Notation One) has been increasingly used in defining the data structures used in internet security protocols. In this paper we present a framework for translating ASN.1 specification into Z. We use a restricted version of ASN.1, which is however sufficiently powerful to specify important network communication protocols. Finally, we present an example of translation based on the Cryptographic Message Syntax of S/MIME

Expanding The R2P Tool-Kit: New Political Possibilities And Attendant Legal uncertainties

The international community has begun to live up to its name. Dramatic legal and political developments of the past fifty years have greatly expanded the array of tools available for responding to grave human rights situations internal to members of the community, and have manifested an increased willingness to deploy those tools to further the human rights values of the community

The Special Court For Sierra Leone: Establishing A New Approach To International Criminal Justice

The proposed Special Court for Sierra Leone is sometimes referred to as a national/international hybrid entity