Problème du consensusLe problème du consensus est un problème fondamental en théorie du calcul distribué. Il consiste pour un ensemble de machines à se mettre d'accord sur une valeur ou, par extension, sur une séquence de valeurs. La résolution du consensus est primordiale pour la coordination des systèmes distribués. Elle permet notamment la consistance des systèmes répliqués malgré la défaillance d'une partie de leurs composants.
Problème des généraux byzantinsEn informatique, le problème des généraux byzantins est une métaphore qui traite de la remise en cause de la fiabilité des transmissions et de l'intégrité des interlocuteurs. La question est donc de savoir comment, et dans quelle mesure, il est possible de prendre en compte une information dont la source ou le canal de transmission est suspect. La solution implique l'établissement d'un algorithme (d'une stratégie) adapté. Ce problème a été traité en profondeur pour la première fois dans l'article The Byzantine Generals Problem publié en 1982.
Licence MITvignette La licence MIT est une licence de logiciel pour logiciels libres et open source, provenant de l'Institut de technologie du Massachusetts (MIT) à la fin des années 1980. Cette licence de logiciel permissive implique très peu de limitations sur la réutilisation du code et elle est ainsi compatible avec de nombreuses autres licences. Le terme « licence MIT » est ambigu, puisque le MIT a utilisé des licences différentes, et le texte exact peut varier selon les publications (Free Software Foundation, Open Source Initiative).
X.OrgX.Org est un serveur X libre issu d'un fork de XFree86 en à la suite d'un désaccord sur le changement de licence de XFree86. Il fonctionne avec la plupart des systèmes d'exploitation de type UNIX (GNU/Linux, dérivés de BSD, Solaris, etc.), mais aussi avec Microsoft Windows via Cygwin. Du fait de sa licence, il connaît une grande popularité au sein de la communauté du logiciel libre où il a remplacé XFree86. La gouvernance du projet est assurée par la fondation X.
Licence publique générale GNULa licence publique générale GNU, ou GNU General Public License (son seul nom officiel en anglais, communément abrégé GNU GPL, voire simplement « GPL »), est une licence qui fixe les conditions légales de distribution d'un logiciel libre du projet GNU. Richard Stallman, président et fondateur de la Free Software Foundation en est l'auteur. Sa dernière version est la « GNU GPL version 3 » publiée le avec le concours juridique d'Eben Moglen.
Common lawthumb|450px|Les systèmes juridiques dans le monde. La common law est un système juridique dont les règles sont principalement édictées par les tribunaux au fur et à mesure des décisions individuelles. La jurisprudence est ainsi la principale source du droit et la règle du précédent oblige les juges à suivre les décisions prises antérieurement par les tribunaux. Les systèmes de common law laissent toutefois place à de nombreuses lois. Historiquement, la common law est un système issu du droit anglais.
OpenOffice.orgOpenOffice.org (surnommé « projet OOo ») est un projet né le à l'initiative de Sun Microsystems en vue de produire une suite bureautique libre et gratuite fondée sur StarOffice. Le produit résultant est diffusé sous le même nom et sous plusieurs licences (la LGPL et, jusqu’à la version 2.0 beta 2 incluse, la SISSL), et fonctionne sur plusieurs plateformes dont Windows, de nombreux Unix (Linux, Solaris), ou Apple Mac OS X. La première version d'OpenOffice est lancée le 1er mai 2002.
Liste de licences libresCet article est une liste de licences libres. Les quatre libertés mentionnées dans le tableau sont : La liberté d'utiliser le logiciel ; La liberté d'étudier le logiciel ; La liberté de copier le logiciel ; La liberté de modifier le logiciel et de redistribuer les versions modifiées. Parmi les différents types de licences de logiciel libre, certaines permettent la modification et la redistribution du logiciel sans contrainte, et autorisent notamment des dérivés propriétaires, par exemple sans mise à disposition du code source.
XFree86XFree86 est une implémentation libre du système graphique X Window System. XFree86 fonctionne sur la plupart des systèmes d'exploitation de type Unix et également sur Windows en utilisant Cygwin (il s'agit alors de Cygwin/X). Il a été pendant plusieurs années le système graphique utilisé par la plupart des distributions Linux et systèmes BSD, jusqu'au fork de X.Org en 2004. Le projet a commencé en 1991 lorsque David Wexelblat, Glenn Lai, David Dawes et Jim Tsillas ont joint leurs forces pour corriger les différents bugs de l'implémentation libre X11 X386 (développé par Thomas Roell).
ConstitutionUne constitution ou Constitution est une loi fondamentale qui fixe l'organisation et le fonctionnement d'un organisme, généralement d'un État ou d'un ensemble d'États. La portée juridique de la Constitution d'un État varie selon le régime en place. Elle a généralement une valeur supérieure à la loi. La Constitution est à la fois l'acte politique et la loi fondamentale qui unit et régit de manière organisée et hiérarchisée l’ensemble des rapports entre gouvernants et gouvernés au sein d'un État, en tant qu'unité politique d'un espace géographique et humain.
Preuve d'enjeuLa preuve d'enjeu, preuve de participation ou preuve d’intérêt (en anglais : proof of stake, PoS) est une méthode par laquelle une chaîne de blocs d'une crypto-monnaie vise à atteindre un consensus distribué. Alors que la preuve de travail (en anglais : proof of work, PoW) demande aux utilisateurs d'exécuter plusieurs fois les algorithmes de hachage ou de calculer des puzzles mathématiques selon des algorithmes pour valider les transactions électroniques, la preuve d'enjeu demande à l'utilisateur de prouver la possession d'une certaine quantité de crypto-monnaie (leur « participation » dans la crypto-monnaie) pour prétendre à pouvoir valider des blocs supplémentaires dans la chaîne de bloc et de pouvoir toucher la récompense, s'il y en a une, à l'addition de ces blocs.
JurisprudenceLa jurisprudence désigne l'ensemble des décisions de justice relatives à une question juridique donnée. Il s'agit donc de décisions précédemment rendues, qui illustrent la manière dont un problème juridique a été résolu. La jurisprudence est constituée d'abord des décisions rendues par les hautes cours nationales, mais aussi, avec un poids moindre, de celles rendues par des cours. On peut aussi bien utiliser le terme « jurisprudence » pour désigner l'ensemble des décisions rendues par les juges, ou bien une jurisprudence en particulier, c'est-à-dire une décision qu'un juge a prise relativement à une question de droit donnée.
Droitvignette|La Loi par Jean-Jacques Feuchère. Marbre, 1852. Place du Palais-Bourbon, VIIe arrondissement de Paris. Le droit est défini comme , ou de façon plus complète . Ces règles, appelées règles de droit sont impersonnelles, abstraites, obligatoires et indiquent ce qui « doit être fait ». Ces règles juridiques peuvent trouver leur source dans une source normative « supérieure », extérieure, transcendante, comme le droit naturel, ou découler de normes intrinsèques, issues de la morale et de la raison.
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
Commande optimaleLa théorie de la commande optimale permet de déterminer la commande d'un système qui minimise (ou maximise) un critère de performance, éventuellement sous des contraintes pouvant porter sur la commande ou sur l'état du système. Cette théorie est une généralisation du calcul des variations. Elle comporte deux volets : le principe du maximum (ou du minimum, suivant la manière dont on définit l'hamiltonien) dû à Lev Pontriaguine et à ses collaborateurs de l'institut de mathématiques Steklov , et l'équation de Hamilton-Jacobi-Bellman, généralisation de l'équation de Hamilton-Jacobi, et conséquence directe de la programmation dynamique initiée aux États-Unis par Richard Bellman.
Traitement des événements complexesLe traitement des événements complexes, ou CEP (pour complex event processing), est principalement un concept de traitement des événements dans le but d'identifier les événements significatifs dans un nuage d'événements. Le CEP emploie des techniques telles que la détection des schémas complexes de multiples événements: corrélation, abstraction, et hiérarchies entre événements et les relations entre événements tels que les liens de causalité, l'adhésion, la chronologie et les processus pilotés par les événements.
