Project-NETQUEST:Highlights

Team NETQUEST

Members

Overall Objectives

Overall Objectives
Highlights

Scientific Foundations

Introduction
Logic and query languages
Distributed algorithms and computation
Protocols

Application Domains

Spatial information
Rapid prototyping of network protocols
Pervasive adaptation
Heterogeneous networks

Software

Netquest system

New Results

Distributed complexity of classical logics
A rule-based language for networking protocols
Declarative communication protocols
Data motion in networks

Contracts and Grants with Industry

Orange R&D Lab

Other Grants and Activities

Actions in France
Actions in China

Dissemination

Dissemination

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2009
Presentation of the Project NETQUEST

Section: Overall Objectives

Highlights

The Netquest system has been ported over a network of iMote devices by Orange Labs, thus demonstrating the portability of a declarative system over a network of constraint terminals.

Logo Inria