- Subscribe to this page:
- RSS
- Email Alert
INRIA
(487 results)-
White Papers
Cost Reduction Through SLA-Driven Self-Management
May 10, 2011, 12:00am PDT
A main challenge for service providers is managing Service-Level Agreements (SLAs) with their customers while satisfying their business objectives, such as maximizing profits. Most current systems...
Provided by INRIA
-
White Papers
Malware : A Future Framework for Device, Network and Service Management
September 26, 2006, 12:00am PDT
While worms and their propagation have been a major security threat over the past years, causing major financial losses and down times for many enterprises connected to the Internet, the authors...
Provided by INRIA
-
Software
iGaborNoise 1.0 (Mobile)
August 12, 2009, 12:00am PDT
iGaborNoise is the iPhone application for the paper "Procedural Noise using Sparse Gabor Convolution" by Ares Lagae, Sylvain Lefebvre, George Drettakis and Philip Dutr that will be presented at...
Provided by Katholieke Universiteit Leuven - REVES / INRIA Sophia-Antipolis
-
White Papers
Fractal Component-Based Software Engineering
October 18, 2006, 12:00am PDT
Authors are witnessing a tremendous expansion in the use of software in scientific research, industry, administration and more and more in everyday life. With the advent of the Internet and more...
Provided by INRIA
-
White Papers
Efficient Soft QoS Guarantee in Mobile Ad Hoc Networks
September 14, 2009, 12:00am PDT
More and more Quality of Service (QoS) sensitive applications, such as streaming media, high bandwidth content distribution and VoIP, will be deployed in Mobile Ad hoc Networks (MANETs) as part of...
Provided by INRIA
-
White Papers
XQueC: Pushing Queries to Compressed XML Data
January 1, 2010, 12:00am PST
Initially proposed as a data interchange format, XML aims also at becoming a format for data storage and management. However, XML documents in their textual form are rather verbose and tend to...
Provided by INRIA
-
White Papers
Integrating Java Support for Routing Protocols in NS2
October 1, 2009, 12:00am PDT
This paper presents a modification of the existing tool AgentJ which allows for running a Java routing protocol within the network simulator NS2. When designing a new routing protocol, an...
Provided by INRIA
-
White Papers
Linked Data From Your Pocket: The Android RDFContentProvider
September 29, 2010, 12:00am PDT
Smartphones are becoming main personal information repositories. Unfortunately this information is stored in independent silos managed by applications. The authors have seen that already: in the...
Provided by INRIA
-
White Papers
Ad Hoc Networking in the Internet: A Deeper Problem Than It Seems
November 1, 2008, 12:00am PDT
Self-organized networks, also known as ad hoc networks or MANETs, are expected to soon become important components in the Internet architecture. Numerous efforts currently focus on the...
Provided by INRIA
-
White Papers
Routing and Broadcasting in Hybrid Ad Hoc and Sensor Networks
January 21, 2008, 12:00am PST
Hybrid ad hoc networks consist of two kinds of nodes, regular nodes and nodes with additional capabilities. For example, multi-hop cellular and wireless Internet networks consist of static or...
Provided by INRIA
-
White Papers
Cloud Computing Resource Management Through a Grid Middleware: A Case Study With DIET and Eucalyptus
October 1, 2009, 12:00am PDT
The Cloud phenomenon is quickly growing towards becoming the de facto standard of Internet Computing, storage and hosting both in industry and academia. The large scalability possibilities offered...
Provided by INRIA
-
White Papers
Combining Processor Virtualization and Split Compilation for Heterogeneous Multicore Embedded Systems
February 26, 2009, 12:00am PST
Complex embedded systems have always been heterogeneous multicore systems. Because of the tight constraints on power, performance and cost, this situation is not likely to change any time soon. As...
Provided by INRIA
-
White Papers
Exploring the Virtual Infrastructure Service Concept in Grid'5000
May 20, 2009, 12:00am PDT
The convergence of communication and computation portrays a new vision of the services that the Internet can bring to users. There is an emerging need for isolated and protected virtual resource...
Provided by INRIA
-
White Papers
HIPCAL : State of the Art of OS and Network Virtualization Solutions for Grids
September 14, 2007, 12:00am PDT
Virtualization can be used in different cases, with different goals in mind. For instance, virtualization techniques can be used to optimize the efficient use of a set of resources (By...
Provided by INRIA
-
White Papers
Euclidean Reconstruction: From Paraperspective to Perspective
January 1, 2011, 12:00am PST
In this paper the authors describe a method to perform Euclidean reconstruction with a perspective camera model. It incrementally performs reconstruction with a paraperspective camera in order to...
Provided by INRIA
-
White Papers
A Formal Theory of Key Conjuring
January 1, 2011, 12:00am PST
The authors describe a formalism for key conjuring, the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in...
Provided by INRIA
-
White Papers
Unsupervised Robust Clustering for Image Database Categorization
January 1, 2011, 12:00am PST
Content-based image retrieval can be dramatically improved by providing a good initial database overview to the user. To address this issue, the authors present in this paper the Adaptive Robust...
Provided by INRIA
-
White Papers
A Security Analysis for Home Gateway Architectures
June 9, 2009, 12:00am PDT
Providing Services at Home has become over the last few years a very dynamic and promising technological domain. It is likely to enable wide dissemination of secure and automated living...
Provided by INRIA
-
White Papers
Cryptanalysis of a Fast Encryption Scheme for Databases and of Its Variant
October 29, 2010, 12:00am PDT
Protecting the confidentiality in large databases without degrading their performance is a challenging problem, especially when encryption and decryption must be performed at the database-level or...
Provided by INRIA Rocquencourt
-
White Papers
Auction-Based Bandwidth Allocation Mechanisms for Wireless Future Internet
January 28, 2010, 12:00am PST
An important aspect of the Future Internet is the efficient utilization of (wireless) network resources. In order for the - demanding in terms of QoS - Future Internet services to be provided, the...
Provided by INRIA
-
White Papers
Key Reduction of McEliece's Cryptosystem Using List Decoding
February 15, 2011, 12:00am PST
Different variants of the code-based McEliece cryptosystem were proposed to reduce the size of the public key. All these variants use very structured codes, which open the door to new attacks...
Provided by INRIA
-
White Papers
Content Replication and Placement in Mobile Networks
February 15, 2011, 12:00am PST
Performance and reliability of content access in mobile networks is conditioned by the number and location of content replicas deployed at the network nodes. Location theory has been the...
Provided by INRIA
-
White Papers
Users' Participation to the Design Process in an Open Source Software Online Community
July 7, 2006, 12:00am PDT
The objective of this research is to analyze the ways members of open-source software communities participate in design. In particular the authors focus on how users of an Open Source (OS)...
Provided by INRIA
-
White Papers
Authentication Planning for XOR Network Coding
March 9, 2011, 12:00am PST
This paper formulates the authentication planning problem when network coding is implemented in a wireless sensor network. The planning problem aims at minimizing the energy consumed by the...
Provided by INRIA
-
White Papers
Adding Network Coding Capabilities to the WSNet Simulator
March 9, 2011, 12:00am PST
The goal is to study the impact of different Network Coding strategies (NC) on end-to-end service delivery over mobile and wireless Disruption-Tolerant Networks (DTNs). To realize this study, in a...
Provided by INRIA
-
White Papers
A Flexible Structured-Based Representation for XML Document Mining
July 5, 2006, 12:00am PDT
This paper reports on the INRIA group's approach to XML mining while participating in the INEX XML Mining track 2005. The authors use a flexible representation of XML documents that allows taking...
Provided by INRIA
-
White Papers
Tournament MAC With Constant Size Congestion Window for WLAN
December 19, 2007, 12:00am PST
In the context of radio distributed networks, the authors present a generalized approach for the Medium Access Control (MAC) with fixed congestion window. The protocol is quite simple to analyze...
Provided by INRIA
-
White Papers
Graph Kernels Between Point Clouds
December 20, 2007, 12:00am PST
Point clouds are sets of points in two or three dimensions. Most kernel methods for learning on sets of points have not yet dealt with the specific geometrical invariances and practical...
Provided by INRIA
-
White Papers
GUIDE: Unifying Evolutionary Engines Through a Graphical User Interface
December 24, 2007, 12:00am PST
Many kinds of Evolutionary Algorithms (EAs) have been described in the literature since the last 30 years. However, though most of them share a common structure, no existing software package...
Provided by INRIA
-
White Papers
Distributed Slicing in Dynamic Systems
December 26, 2007, 12:00am PST
Peer To Peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with providing useful...
Provided by INRIA
-
White Papers
Discriminative Phoneme Sequences Extraction for Non-Native Speaker's Origin Classification
November 5, 2007, 12:00am PST
In this paper the authors present an automated method for the classification of the origin of non-native speakers. The origin of non-native speakers could be identified by a human listener based...
Provided by INRIA
-
White Papers
Combined Acoustic and Pronunciation Modelling for Non-Native Speech Recognition
November 6, 2007, 12:00am PST
In this paper, the authors present several adaptation methods for nonnative speech recognition. They have tested pronunciation modelling, MLLR and MAP non-native pronunciation adaptation and HMM...
Provided by INRIA
-
White Papers
Extending INET Framework for Directional and Asymmetrical Wireless Communications
January 19, 2010, 12:00am PST
This paper reports the work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications. The authors...
Provided by INRIA
-
White Papers
A Log Auditing Approach for Trust Management in Peer-to-Peer Collaboration
December 6, 2010, 12:00am PST
Nowadays the authors are faced with an increasing popularity of social software including wikis, blogs, micro-blogs and online social networks such as Facebook and MySpace. Unfortunately, the...
Provided by INRIA
-
White Papers
Automatic Methods for Analyzing Non-Repudiation Protocols With an Active Intruder
October 22, 2007, 12:00am PDT
Non-repudiation protocols have an important role in many areas where secured transactions with proofs of participation are necessary. Formal methods are clever and without error, therefore using...
Provided by INRIA
-
White Papers
Deterministic Secure Positioning in Wireless Sensor Networks
October 22, 2007, 12:00am PDT
Properly locating sensor nodes is an important building block for a large subset of Wireless Sensor Networks (WSN) applications. As a result, the performance of the WSN degrades significantly when...
Provided by INRIA
-
White Papers
Elementary Transformation Analysis for Array-OL
May 22, 2007, 12:00am PDT
Array-OL is a high-level specification language dedicated to the definition of intensive signal processing applications. Several tools exist for implementing an Array-OL specification as a data...
Provided by INRIA
-
White Papers
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
April 11, 2007, 12:00am PDT
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, hand-writing...
Provided by INRIA
-
White Papers
Design Strategies and Knowledge in Object-Oriented Programming: Effects of Experience
March 2, 2007, 12:00am PST
An empirical study was conducted to analyse design strategies and knowledge used in object-oriented software design. Eight professional programmers experienced with procedural programming...
Provided by INRIA
-
White Papers
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines
January 1, 2011, 12:00am PST
This paper shows that it is possible to dramatically reduce the memory consumption of classes loaded in an embedded Java virtual machine without reducing its functionalities. The authors describe...
Provided by INRIA
-
White Papers
Automatic Analysis of the Security of XOR-Based Key Management Schemes
January 30, 2007, 12:00am PST
The authors describe a new algorithm for analyzing security protocols that use XOR, such as key-management APIs. As a case study, they consider the IBM 4758 CCA API, which is widely used in the...
Provided by INRIA
-
White Papers
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
March 3, 2008, 12:00am PST
The authors study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as they know, this is...
Provided by INRIA
-
White Papers
A Formal Analysis of Authentication in the TPM
August 25, 2010, 12:00am PDT
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM provides a way to...
Provided by INRIA
-
White Papers
Using Horn Clauses for Analyzing Security Protocols
May 17, 2010, 12:00am PDT
This paper presents a method for verifying security protocols based on an abstract representation of protocols by Horn clauses. This method is the foundation of the protocol verifier ProVerif. It...
Provided by INRIA
-
White Papers
Formal Analysis of Privacy for Anonymous Location Based Services
February 3, 2011, 12:00am PST
The authors propose a framework for formal analysis of privacy in location based services such as anonymous electronic toll collection. They give a formal definition of privacy, and apply it to...
Provided by INRIA
-
White Papers
Formal Analysis of Protocols Based on TPM State Registers
April 26, 2011, 12:00am PDT
The authors present a Horn-clause-based framework for analyzing security protocols that use Platform Configuration Registers (PCRs), which are registers for maintaining state inside the Trusted...
Provided by INRIA
-
White Papers
Automatically Verified Mechanized Proof of One-Encryption Key Exchange
April 6, 2012, 12:00am PDT
The authors present a mechanized proof of the password-based protocol One-Encryption Key Exchange (OEKE) using the computationally-sound protocol prover CryptoVerif. OEKE is a non-trivial...
Provided by INRIA
-
White Papers
Security Protocol Verification: Symbolic and Computational Models
January 6, 2012, 12:00am PST
Security protocol verification has been a very active research area since the 1990s. This paper surveys various approaches in this area, considering the verification in the symbolic model, as well...
Provided by INRIA
-
White Papers
Mechanizing Game-Based Proofs of Security Protocols
September 26, 2011, 12:00am PDT
After a short introduction to the field of security protocol verification, the authors present the automatic protocol verifier CryptoVerif. In contrast to most previous protocol verifiers,...
Provided by INRIA
-
White Papers
Verification of Security Protocols With Lists: From Length One to Unbounded Length
January 5, 2012, 12:00am PST
The authors present a novel, simple technique for proving secrecy properties for security protocols that manipulate lists of unbounded length, for an unbounded number of sessions. More...
Provided by INRIA
-
White Papers
Designing Hypergraph Layouts to GMPLS Routing Strategies
February 11, 2009, 12:00am PST
All-Optical Label Switching (AOLS) is a new technology that performs packet forwarding without any Optical-Electrical-Optical (OEO) conversions. In this paper, the authors study the problem of...
Provided by INRIA
-
White Papers
Traffic Grooming in Bidirectional WDM Ring Networks
July 11, 2010, 12:00am PDT
The authors study the minimization of ADMs (Add-Drop Multiplexers) in optical WDM bidirectional rings considering symmetric shortest path routing and all-to-all unitary requests. They precisely...
Provided by INRIA
-
White Papers
SMART: Secure and Minimal Architecture for (Establishing a Dynamic) Root of Trust
December 5, 2011, 12:00am PST
Remote attestation is the process of securely verifying internal state of a remote hardware platform. It can be achieved either statically (at boot time) or dynamically, at run-time in order to...
Provided by INRIA
-
White Papers
Characterizing Result Errors in Internet Desktop Grids
January 1, 2012, 12:00am PST
Desktop grids use the free resources in Intranet and Internet environments for large-scale computation and storage. While desktop grids offer a high return on investment, one critical issue is the...
Provided by INRIA
-
White Papers
Joint Pricing and Cognitive Radio Network Selection: A Game Theoretical Approach
March 21, 2012, 12:00am PDT
This paper addresses the joint pricing and network selection problem in cognitive radio networks, considering both the point of view of network users and the Primary Operator. The problem is...
Provided by INRIA
-
White Papers
Combining Static Analysis and Test Generation for C Program Debugging
April 6, 2010, 12:00am PDT
This paper presents the authors' ongoing work on a tool prototype called SANTE (StaticANalysis and TEsting), implementing a combination of static analysis and structural program testing for...
Provided by INRIA
-
White Papers
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
March 31, 2011, 12:00am PDT
This paper presents a prototype tool called SANTE (StaticANalysis and TEsting) implementing an original method combining value analysis, program slicing and structural test generation for...
Provided by INRIA
-
White Papers
Analysis of an Algorithm Catching Elephants on the Internet
July 11, 2008, 12:00am PDT
The paper deals with the problem of catching the elephants in the Internet traffic. The aim is to investigate an algorithm proposed by Azzana based on a multistage Bloom filter, with a refreshment...
Provided by INRIA
-
White Papers
Analysis of a Bloom Filter Algorithm Via the Supermarket Model
June 11, 2009, 12:00am PDT
This paper deals with the problem of identifying elephants in the Internet Traffic. The aim is to analyze a new adaptive algorithm based on a Bloom Filter. This algorithm uses a so-called min-rule...
Provided by INRIA
-
White Papers
A Mean Field Approximation for the Capacity of Server limited, Gate limited Multiserver Polling Systems
August 23, 2010, 12:00am PDT
The authors propose a mean field approximation for the capacity of a limited-gated multi-server polling system with a limit on the number of servers a given station can use simultaneously. The...
Provided by INRIA
-
White Papers
A Robust Statistical Estimation of Internet Traffic
December 22, 2008, 12:00am PST
In this paper a new method of estimating flow characteristics in the Internet is developed. For sampled data, a new set of random variables (referred to as observables) is defined; they can be...
Provided by INRIA
-
White Papers
Traffic Capacity of Large WDM Passive Optical Networks
May 28, 2010, 12:00am PDT
As Passive Optical Networks (PON) are increasingly deployed to provide high speed Internet access, it is important to understand their fundamental traffic capacity limits. The paper discusses...
Provided by INRIA
-
White Papers
Impact of Traffic Mix on Caching Performance in a Content-Centric Network
January 24, 2012, 12:00am PST
For a realistic traffic mix, the authors evaluate the hit rates attained in a two-layer cache hierarchy designed to reduce Internet bandwidth requirements. The model identifies four main types of...
Provided by INRIA
-
White Papers
Digital Signatures for Admittance Control in the Optimized Link State Routing Protocol
February 1, 2010, 12:00am PST
Public community Mobile Ad Hoc NETworks (MANETs), such as the "Funkfeuer" or "Freifunk" networks, scale up to several hundreds of routers, connecting users with each other, and with the Internet....
Provided by INRIA
-
White Papers
A Deductive Verification Platform for Cryptographic Software
December 10, 2010, 12:00am PST
In this paper, the authors describe a deductive verification platform for the CAO language. CAO is a domain-specific language for cryptography. They show that this language presents interesting...
Provided by INRIA
-
White Papers
Performance Analysis of Centralized Versus Distributed Recovery Schemes in P2P Storage Systems
February 26, 2009, 12:00am PST
This paper studies the performance of Peer-To-Peer Storage Systems (P2PSS) in terms of data lifetime and availability. Two schemes for recovering lost data are modeled through absorbing Markov...
Provided by INRIA
-
White Papers
Simulation Analysis of Download and Recovery Processes in P2P Storage Systems
June 9, 2009, 12:00am PDT
Peer-to-peer storage systems rely on data fragmentation and distributed storage. Unreachable fragments are continuously recovered, requiring multiple fragments of data (constituting a "Block") to...
Provided by INRIA
-
White Papers
Optimal Threshold Control by the Robots of Web Search Engines With Obsolescence of Documents
November 11, 2010, 12:00am PST
A typical web search engine consists of three principal parts: crawling engine, indexing engine, and searching engine. The paper aims to optimize the performance of the crawling engine. The...
Provided by INRIA
-
White Papers
On the Impact of Greedy Strategies in BitTorrent Networks: The Case of BitTyrant
June 20, 2008, 12:00am PDT
The success of BitTorrent has fostered the development of variants to its basic components. Some of the variants adopt greedy approaches aiming at exploiting the intrinsic altruism of the original...
Provided by INRIA
-
White Papers
Uplink Allocation Beyond Choke/Unchoke
October 13, 2008, 12:00am PDT
Motivated by emerging cooperative P2P applications the authors study new uplink allocation algorithms for substituting the rate-based choke/unchoke algorithm of BitTorrent which was developed for...
Provided by INRIA
-
White Papers
Universally Composable Key-Management
April 10, 2012, 12:00am PDT
The authors present the first key-management functionality in the Universal Composability (UC) framework. It allows the enforcement of a wide range of security policies and can be extended by...
Provided by INRIA
-
White Papers
Specification and Refinement of Access Control
August 28, 2007, 12:00am PDT
The authors consider the extension of fair event system specifications by concepts of access control (prohibitions, user rights, and obligations). They give proof rules for verifying that an...
Provided by INRIA
-
White Papers
Security Properties of Typed Applets
August 2, 2008, 12:00am PDT
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. The authors formulate and prove several security properties that all well-typed applets...
Provided by INRIA
-
White Papers
Polymorphism by Name for References and Continuations
August 2, 2008, 12:00am PDT
This paper investigates an ML-like language with by-name semantics for polymorphism: polymorphic objects are not evaluated once for all at generalization time, but re-evaluated at each...
Provided by INRIA
-
White Papers
Polymorphic Type Inference and Assignment
August 2, 2008, 12:00am PDT
The authors present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization, and a...
Provided by INRIA
-
White Papers
A Modular Module System
August 2, 2008, 12:00am PDT
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detailed tutorial on...
Provided by INRIA
-
White Papers
Formal Verification of a C-Like Memory Model and Its Uses for Verifying Program Transformations
February 13, 2008, 12:00am PST
This paper presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Beyond giving...
Provided by INRIA
-
White Papers
A Verified Framework for Higher-Order Uncurrying Optimizations
December 14, 2009, 12:00am PST
Function uncurrying is an important optimization for the efficient execution of functional programming languages. This optimization replaces curried functions by uncurried, multiple-argument...
Provided by INRIA
-
White Papers
Efficient Data Representation in Polymorphic Languages
November 5, 2009, 12:00am PST
Languages with polymorphic types (e.g., ML) have traditionally been implemented using Lisp-like data representations - everything has to fit in one word, if necessary by being heap-allocated and...
Provided by INRIA
-
White Papers
Mechanized Verification of CPS Transformations
July 30, 2007, 12:00am PDT
The work presented in this paper shows that an optimizing CPS transformation defined for a realistic core functional language can be, with some effort, mechanically proved correct using a proof...
Provided by INRIA
Keep Up with TechRepublic
Upcoming Webcasts
Upcoming webcasts from leading IT vendors
-
2012-05-24 at 11:00 am PT | 2:00 pm ET
Live Webcast: The 2012 Guide to Better Business Benefits from Data Analytics
Sponsored by Tableau Software
-
2012-06-05 at 11:00 am PT | 2:00 pm ET
Live Webcast: Getting to Microsoft Office 365: The right migration for your business
Sponsored by Microsoft
-
2012-06-12 at 9:00 am PT | 12:00 pm ET
Live Webcast: WebSphere DataPower for Mobile Application Security
Sponsored by IBM
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
