calculus
RSS calculusSort by: Relevance | Date
Network Calculus Based Simulation for TCP Congestion Control: Theorems, Implementation, and Evaluation
White Paper This paper examines the feasibility of incorporating network calculus based models in simulating TCP/IP networks. By exploiting network calculus properties, the authors characterize how TCP congestion... [12 Jun 2009]
Calculus Using the HP 49g+ (Same as 50g)
White Paper This webcast focuses on functions. The HP 39g+ will be used to numerically and graphically investigate the effect of varying the parameter k in the functions f(x)+k and f(x+k), where f is a polynomial, trigonometric, or exponential... [02 Apr 2009]
Generating Network Security Protocol Implementations From Formal Specifications
White Paper Implemented in Prolog, Spi2Java can input a formal security protocol specification in a variation of the Spi Calculus, and generate a Java code implementation of that protocol. This paper describes the Spi2Java code... [19 Sep 2008]
LH*RS: A High-Availability Scalable Distributed Data Structure Using Reed Solomon Codes
White Paper The parity calculus uses the Reed-Solomon Codes. LH*RS is a new high-availability Scalable Distributed Data Structure (SDDS). The data storage scheme and the search performance of LH*RS are basically these of LH*. [19 Sep 2008]
A Network Calculus With Effective Bandwidth
White Paper This paper presents a statistical network calculus in a setting where both arrivals and service are specified in terms of probabilistic bounds. By formulating well-known effective bandwidth expressions in terms of... [10 Sep 2008]
A Min-Plus System Interpretation of Bandwidth Estimation
White Paper The paper shows that the problem as well as previously proposed solutions can be concisely described and derived using min-plus system theory, thus establishing the existence of a strong link between network calculus and... [11 Jul 2008]
Authenticity by Typing for Security Protocols
White Paper First, code up the protocol in the spi-calculus of Abadi and Gordon. Fourth, check that the spi-calculus code is well-typed according to a novel type and effect system presented in this paper. This paper... [09 Dec 2006]
SLA Calculus for End-to-End QoS of TCP-Based Applications in a Multi-Domain Environment
White Paper To this end, the authors construct an analytical model that provides a so-called SLA calculus, i.e.a mapping between per-domain network QoS parameters defined in the involved Service Level Agreements (SLAs) and... [04 Aug 2006]
Google files for £2.7bn IPO
News The exact offering, $2,718,281,828, is the product of "e" and $1 billion, where "e" is the base of the natural logarithm - a logarithm especially useful in calculus - and equals 2.718281828. The registration filing with... [30 Apr 2004]
Surviving the recession: a Quocirca series
Comment The full version of game theory utilises probability, calculus and linear algebra in the calculation of the predictability of strategic outcomes. We've heard about it in the context of 3G spectrum auctions and corporate... [23 Jan 2002]
Devil's Advocate: Rights to intellectual property? How absurd
Comment Did Newton or Leibniz invent the infinitesimal calculus? The over-protection of intellectual property rights isn't given much airtime, even considering the rise of open source software. Martin Brampton, director at... [08 Jan 2002]
Acquisitions bring profit for Anite
News Last year, Anite bought: Datavance, a 350-strong French IT consultancy specialising in telecoms and banking, for £29.9m cash and shares and a further earn-out of £20.2m Carus, which sells ferry reservation systems to Nordic operators,... [17 Jan 2001]
Anite adds Calculus Solutions
News Anite will initially pay £14.9m in loan notes and ordinary shares, with a further £35.1m if Calculus reaches set profit targets by April 2003. Calculus in particular has developed a leading customer care... [21 Dec 2000]
