Inria
/
Raweb 2010
Presentation of the Project focus
Logo Inria
focus
Foundations of Component-based Ubiquitous Systems
2010 Research Team Activity Report
Sophia Antipolis - Méditerranée
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
Overall Objectives
Highlights
Scientific Foundations
Models
Foundational calculi and interaction
Type systems and logics
Implicit computational complexity
Application Domains
Ubiquitous Systems
Service Oriented Computing
Software Product Lines
Software
Jolie
Pi-Duce
IntML
JoRBA
Java-based Comet Architectures for Web 2.0
New Results
Contracts and sessions
Compensations and transactions
Primitives for adaptable and evolvable components
Verification of extensional properties
Resource Control
Semantics of ad-hoc networks
Expressiveness of computational models
Contracts and Grants with Industry
Contracts with Industry
Grants with Industry
National Initiatives
European Initiatives
International Initiatives
Exterior research visitors
Dissemination
Animation of the scientific community
Other initiatives
Teaching
Completed Phd thesis
Bibliography
Major publications
Publications of the year
References in notes
