http://mobius.inria.fr/twiki/bin/view/Mobius The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2010 by contributing authors Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] TWiki TWiki.Mobius http://mobius.inria.fr/twiki/bin/view/Mobius http://mobius.inria.fr/twiki/pub/TWiki/TWikiLogos/twikiRobot46x50.gif http://mobius.inria.fr/twiki/bin/view/Mobius/WebStatistics?t=2010-10-13T05:55Z Statistics for Mobius Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Oct 2010 1174 0 0 ... (last changed by TWikiGuest) 2010-10-13T05:55Z guest 1.1715 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebStatistics http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebStatistics http://mobius.inria.fr/twiki/bin/view/Mobius/PressCorner?t=2009-10-21T10:30Z Press Corner In this section, you will find general presentation about MOBIUS for different audiences. MAIL To contact us: Gilles Barthe Scientific Coordinator , ... (last changed by ErikPoll) 2009-10-21T10:30Z ErikPoll 1.6 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/PressCorner http://mobius.inria.fr/twiki/bin/rdiff/Mobius/PressCorner http://mobius.inria.fr/twiki/bin/view/Mobius/WebLeftBar?t=2009-07-30T08:56Z Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools Search Changes ... (last changed by JorgeSacchini) 2009-07-30T08:56Z JorgeSacchini 1.32 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebLeftBar http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebLeftBar http://mobius.inria.fr/twiki/bin/view/Mobius/CertificateTranslation?t=2009-07-21T14:21Z Certificate Translator Prototype Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides ... (last changed by GillesBarthe) 2009-07-21T14:21Z GillesBarthe 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/CertificateTranslation http://mobius.inria.fr/twiki/bin/rdiff/Mobius/CertificateTranslation http://mobius.inria.fr/twiki/bin/view/Mobius/WebHome?t=2009-03-25T09:59Z TABLE{ sort "off" tableborder "0" cellpadding "1" dataalign "left" cellspacing "0" headerbg "#ffffff" headercolor "#ffffff" databg "#ffffff"} MOBIUS Mobility, Ubiquity ... (last changed by ErikPoll) 2009-03-25T09:59Z ErikPoll 1.79 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebHome http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebHome http://mobius.inria.fr/twiki/bin/view/Mobius/ProofCarryingCode?t=2008-06-17T15:22Z Proof Carrying Code Proof-Carrying Code ( NEWWIN{http://raw.cs.berkeley.edu/pcc.html,PCC} ) is a promising technique, developed on the seminal work of NEWWIN{http ... (last changed by CesarKunz) 2008-06-17T15:22Z CesarKunz 1.4 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/ProofCarryingCode http://mobius.inria.fr/twiki/bin/rdiff/Mobius/ProofCarryingCode http://mobius.inria.fr/twiki/bin/view/Mobius/WebNotify?t=2007-11-29T13:34Z This is a subscription service to be automatically notified by e-mail when topics change in this Mobius web. This is a convenient service, so you do not have to come ... (last changed by SophieHadjadj) 2007-11-29T13:34Z SophieHadjadj 1.11 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebNotify http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebNotify http://mobius.inria.fr/twiki/bin/view/Mobius/Glossary?t=2007-07-23T16:06Z MAIN DEFINITIONS OF VOCABULARY USED WITHIN THE PROJECT A B C D F H I L M N O P R S T V A Access Property A quality characteristic describing the (declarative) policies ... (last changed by AleksySchubert) 2007-07-23T16:06Z AleksySchubert 1.6 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/Glossary http://mobius.inria.fr/twiki/bin/rdiff/Mobius/Glossary http://mobius.inria.fr/twiki/bin/view/Mobius/MobiusTutorial?t=2007-04-11T09:45Z MOBIUS TUTORIAL at ETAPS 07 (Sunday April 1, 2007) TOC This tutorial introduces participants to the central security architecture of Mobius as well as type systems ... (last changed by SophieHadjadj) 2007-04-11T09:45Z SophieHadjadj 1.7 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/MobiusTutorial http://mobius.inria.fr/twiki/bin/rdiff/Mobius/MobiusTutorial http://mobius.inria.fr/twiki/bin/view/Mobius/WebPreferences?t=2006-08-22T13:07Z Mobius Web Preferences The following settings are web preferences of the Mobius web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ... (last changed by JulienCharles) 2006-08-22T13:07Z jcharles 1.22 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebPreferences http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebPreferences http://mobius.inria.fr/twiki/bin/view/Mobius/JavaLanguage?t=2005-04-12T21:22Z See the Sun's Java Technology Page: http://java.sun.com/ (last changed by JulienCharles) 2005-04-12T21:22Z jcharles 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/JavaLanguage http://mobius.inria.fr/twiki/bin/rdiff/Mobius/JavaLanguage http://mobius.inria.fr/twiki/bin/view/Mobius/WebRss?t=2004-08-16T03:26Z TWiki's Mobius web SCRIPTURL /view SCRIPTSUFFIX /Mobius The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World ... (last changed by PeterThoeny) 2004-08-16T03:26Z PeterThoeny 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebRss http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebRss http://mobius.inria.fr/twiki/bin/view/Mobius/WebSearchAdvanced?t=2004-01-18T10:49Z INCLUDE{" TWIKIWEB .WebSearchAdvanced"} (last changed by PeterThoeny) 2004-01-18T10:49Z PeterThoeny 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebSearchAdvanced http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebSearchAdvanced http://mobius.inria.fr/twiki/bin/view/Mobius/WebIndex?t=2001-11-24T11:36Z SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList (last changed by PeterThoeny) 2001-11-24T11:36Z PeterThoeny 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebIndex http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebIndex http://mobius.inria.fr/twiki/bin/view/Mobius/WebTopicList?t=2001-11-24T11:36Z TOPICLIST{" $name "} See also the verbose WebIndex. (last changed by PeterThoeny) 2001-11-24T11:36Z PeterThoeny 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebTopicList http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebTopicList http://mobius.inria.fr/twiki/bin/view/Mobius/WebChanges?t=2001-08-16T19:56Z INCLUDE{" TWIKIWEB .WebChanges"} (last changed by PeterThoeny) 2001-08-16T19:56Z PeterThoeny 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebChanges http://mobius.inria.fr/twiki/bin/rdiff/Mobius/WebChanges