GForge - PDFSEARCH.IO - Document Search Engine

GForge
Results: 481

#	Item
471	Package ‘Gmisc’ July 28, 2014 Version 0.6.7 Date 2014-07-27 Title Collection of functions for plotting relations, generating tables, and more. Author Max Gordon Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-28 02:09:05 Data types Primitive types Is functions Microsoft BASIC Null Function Rounding SQL C Computing Software engineering Mathematics
472	Minutes of the COIN-OR Foundation, Inc. Strategic Leadership Board Conference Call Tuesday, 29 March[removed]Scheduled Agenda Add to Reading List Source URL: www.coin-or.org Language: English - Date: 2011-09-11 11:34:56 Quorum Article One of the United States Constitution Sociology Social philosophy Ethics GForge Consensus decision-making
473	Key Information from the DoW Due Date 15-Nov[removed]Type Add to Reading List Source URL: www.cip-reaal.eu Language: English - Date: 2014-03-24 05:26:24 Apache Subversion Collaborative software Concurrent Versions System Subversion GForge Debian Trac Continuous integration Apache Maven Software Free software Apache Software Foundation
474	Squeak Learn Programming with Robots STÉPHANE DUCASSE Squeak: Learn Programming with Robots Copyright © 2005 by Stéphane Ducasse Add to Reading List Source URL: gforge.inria.fr Language: English Smalltalk Robot Variable Software engineering Computing Computer programming
475	Project no[removed]Project acronym: DEHEMS Project title: Digital Environment Home Energy Management Systems Instrument: CA Add to Reading List Source URL: www.dehems.eu Language: English - Date: 2009-12-18 06:02:25 Project management software Version control Collaborative software Geeknet Comparison of open source software hosting facilities GitHub GForge JavaForge Forge Computing Software Free software
476	Principles document : a GForge service for INRIA v1.0 : 28 December 2004 I. A GForge service for the institute What is it : A forge is an integrated set of tools or components that facilitates « project » collaboration Add to Reading List Source URL: gforge.inria.fr Language: English Project management Open-source software Business FusionForge GForge Software Forge
477	Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage Bruno Blanchet ´ CNRS, Ecole Normale Sup´erieure, INRIA∗ Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 13:05:01 RSA ProVerif Cryptographic protocols Cryptography Electronic commerce Public-key cryptography
478	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:57 Boolean algebra Propositional calculus Mathematics Theoretical computer science Model theory Π-calculus Universal quantification Process calculus Interpretation Logic Mathematical logic Semantics
479	Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet Mart´ın Abadi C´edric Fournet Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 13:05:01 Model theory Theoretical computer science Group theory Parity Parity of a permutation Permutations Lp space Admissible rule Structure Mathematics Logic Algebra
480	Prosecco Programming Securely with Cryptography A Project-Team Proposal Karthikeyan Bhargavan Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-03-14 05:31:34 Electronic commerce Public-key cryptography Cryptography standards Hardware security module Cryptographic primitive ProVerif Formal verification Secure channel Microsoft CryptoAPI Cryptography Cryptographic protocols Cryptographic software

UPDATE