Distributed java - PowerPoint PPT Presentation

Distributed JAVA

Distributed JAVA. Eric Madelaine INRIA Sophia-Antipolis, Oasis team. Aims and Principles The ProActive library Models of behaviours Generation of finite (parameterized) models. Distributed JAVA : ProActive http://www-sop.inria.fr/oasis/ProActive. Aims:

★ ★ ★ ★ ★

386 views • 28 slides

Overview of the OASIS research Proofs of safety properties of distributed Java applications

Modocop in the OASIS project: Active Objects, Semantics, Internet and Security INRIA in Sophia-Antipolis http://www.inria.fr/oasis. Overview of the OASIS research Proofs of safety properties of distributed Java applications Platform for static analysis and verification of distributed Java.

★ ★ ★ ★ ★

281 views • 18 slides

View Distributed java PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of Distributed java PowerPoint presentations. You can view or download Distributed java presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.