OASIS - 2011 - Annual activity report

OASIS

OASIS - 2011

Project Team Oasis

Members

Overall Objectives

Presentation
Highlights

Scientific Foundations

Programming with distributed objects and components
Formal models for distributed objects
Verification, static analysis, and model-checking

Application Domains

Grid and Cloud Computing
Service Oriented Architectures (SOA)

Software

ProActive
Vercors platform

New Results

Distributed Programming Models
Component-oriented Distributed and Large-Scale Programming
Middleware for Grid and Cloud computing

Contracts and Grants with Industry

Contracts with Industry
Grants with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

OASIS

Active objects, semantics, Internet and security

Research centre: Sophia Antipolis - Méditerranée

In partnership with: CNRS, Université Nice - Sophia Antipolis

In collaboration with: Laboratoire informatique, signaux systèmes de Sophia Antipolis (I3S)

Field: Networks, Systems and Services, Distributed Computing

Theme: Distributed Systems and Services

Keywords: Safety, Component Programming, Distributed Objects, Cloud Computing, Service Oriented Architecture, Distributed System