OASIS - 2012 - Annual activity report

OASIS

OASIS - 2012

Project-Team Oasis

Members

Overall Objectives

Presentation
Highlights of the Year

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)
Simulation tools and methodology

Software

ProActive
Vercors platform
Open Simulation Architecture (OSA)
BtrPlace

New Results

Programming and Composition Models for Large-Scale Distributed Computing
Middleware for Grid and Cloud computing
Large-scale Simulation Platform: Techniques and methodologies

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2012 Project-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