Inria
/
Raweb 2009
Presentation of the Project oasis
Logo Inria
oasis
Objets Actifs, Sémantique, Internet et Sécurité
2009 Research Team Activity Report
Sophia Antipolis - Méditerranée
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
Presentation
Highlights
Scientific Foundations
Programming with Distributed Objects and Components
Formal models for distributed objects
Static Analysis and Verification
Application Domains
Grid Computing
Service Oriented Architectures (SOA)
Software
ProActive
Vercors platform
New Results
Distributed Programming Models
Component-oriented Grid Programming
Behavioural Specification for Reliable Distributed Components
Grid Middleware and Applications
Contracts and Grants with Industry
Introduction
AGOS
Thales Avionics Electrical Systems S.A.
Microsoft Compute Cluster Server
Other Grants and Activities
National Collaborations
European Collaborations
International Collaborations
Dissemination
Program Committees and Conference Organisation
Short Visits and external collaborators
Teaching
Participation in conferences and workshops
Bibliography
Major publications
Publications of the year
References in notes