1,629 research outputs found
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
The Human Rights Framework Applicable To Trafficking in Persons And Its Incorporation into UNMIK Regulation 2001/4
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
Learning and Activity Patterns in OSS Communities and their Impact on Software Quality
This paper presents a framework to identify and analyse learning and activity patterns that characterise participation and collaboration of individuals in Open Source Software (OSS) communities.  It first describes how participants’ activities enable and drive a learning process that occurs in individual participants as well as in the OSS project community as a whole. It then explores how to identify and analyse learning patterns at both individual level and community level. The objective of such analysis is to determine the impact of these patterns on the quality of the OSS product and define a descriptive approach to quality that is concerned less with standards than with the facts of OSS peer-review and peer-production
- …