Inria
/
Raweb 2010
Presentation of the Project NETQUEST
Logo Inria
NETQUEST
Declarative Network Programming
2010 Research Team Activity Report
Paris - Rocquencourt
Field :
Networks, Systems and Services, Distributed Computing
Theme : Distributed Systems and Services
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Scientific Foundations
Introduction
Logic and query languages
Distributed computation and algorithms
Protocols
Verification
Application Domains
Spatial information
Rapid prototyping of network protocols
Pervasive adaptation
Heterogeneous networks
Software
Overview
Netquest system
Netlog development environment
Simulation & Visualization platform, Netqvis
New Results
Logic and query languages
Distributed algorithms
Protocols
Verification
Contracts and Grants with Industry
Government Contracts
Other Grants and Activities
Actions in France
Actions in China
Actions in Europe
Dissemination
Service
PhD Jurys
Internships
Short-term visitors
Bibliography
Major publications
Publications of the year
References in notes
