Inria
/
Raweb 2009
Presentation of the Project NETQUEST
Logo Inria
NETQUEST
Declarative Network Programming
2009 Research Team Activity Report
Paris - Rocquencourt
Area :
Networks, Systems and Services, Distributed Computing
Theme : Distributed Systems and Services
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
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
Bibliography
Major publications
Publications of the year
References in notes