Optimistic concurrency controlOptimistic concurrency control (OCC), also known as optimistic locking, is a concurrency control method applied to transactional systems such as relational database management systems and software transactional memory. OCC assumes that multiple transactions can frequently complete without interfering with each other. While running, transactions use data resources without acquiring locks on those resources. Before committing, each transaction verifies that no other transaction has modified the data it has read.
Taxe foncièreLa taxe foncière est un impôt local dû tous les ans par le propriétaire ou l'usufruitier d'un bien immobilier. Selon une étude commandée par la Fédération des promoteurs immobiliers (FPI) en 2014, la France a, en Europe, « la fiscalité la plus élevée en matière d'impôts locaux liés au logement : taxe foncière et taxe d'habitation ». Selon une étude de Coe-Rexecode, comparant la fiscalité de 5 pays européens, en 2012, le taux français d'impôts fonciers et immobiliers est le plus élevé avec 2,6 % du PIB devant le Royaume uni 1,6 %, l'Italie 1,4 %, l'Espagne 1,1 % et l'Allemagne 0,4 %.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Abstraction (philosophie)L’abstraction est l'opération mentale, de l'esprit par laquelle les propriétés générales, universelles et nécessaires d'un objet sont distinguées de ses propriétés particulières et contingentes. Par cette opération, notre pensée prend une distance par rapport à l'expérience sensible et forme l'ensemble de nos idées qui seront consignées dans le langage. L'opération d'abstraction permet de distinguer entre l'abstrait et le concret. Ceux-ci forment une opposition conceptuelle fondamentale en philosophie.
Abstraction (informatique)En informatique, le concept d'abstraction identifie et regroupe des caractéristiques et traitements communs applicables à des entités ou concepts variés ; une représentation abstraite commune de tels objets permet d'en simplifier et d'en unifier la manipulation. thumb|upright=1.4|Différentes couches de logiciel, partant d'en bas, le matériel est programmé en langage binaire, via un firmware, qui permet une abstraction pour le noyau, puis lui même pour le système d'exploitation, qui a son tour permet une abstraction pour les applications.
Social workSocial work (SW) is an academic discipline and practice-based profession concerned with meeting the basic needs of individuals, families, groups, communities, and society as a whole to enhance their individual and collective well-being. Social work practice draws from areas, such as psychology, sociology, health, political science, community development, law, and economics to engage with systems and policies, conduct assessments, develop interventions, and enhance social functioning and responsibility.
Attaque par rebondLes attaques par rebond constituent une famille d'attaques de système d'information qui consistent à utiliser un ou des systèmes intermédiaires, participant à leur insu, et permettant à un assaillant de rester caché. Le smurf est une attaque par rebond. Celle-ci permet à un pirate de causer un déni de service. L'assaillant utilise l'IP spoofing pour envoyer des requêtes ICMP echo request (ping) à plusieurs machines qui vont alors servir de rebonds. Il utilise l'adresse IP source d'une machine qu'il veut mettre hors service pour envoyer ses requêtes.
Clinical social workClinical social work is a specialty within the broader profession of social work. The American Board of Clinical Social Work (ABCSW) defines clinical social work as "a healthcare profession based on theories and methods of prevention and treatment in providing mental-health/healthcare services, with special focus on behavioral and bio-psychosocial problems and disorders". The National Association of Social Workers defines clinical social work as "a specialty practice area of social work which focuses on the assessment, diagnosis, treatment, and prevention of mental illness, emotional, and other behavioral disturbances.
Validity (statistics)Validity is the main extent to which a concept, conclusion or measurement is well-founded and likely corresponds accurately to the real world. The word "valid" is derived from the Latin validus, meaning strong. The validity of a measurement tool (for example, a test in education) is the degree to which the tool measures what it claims to measure. Validity is based on the strength of a collection of different types of evidence (e.g. face validity, construct validity, etc.) described in greater detail below.
Validité prédictiveLa Validité prédictive est un terme utilisé dans l'évaluation des personnes. C'est une qualité psychométrique désignant la capacité d'un outil de mesure à prédire correctement un événement futur. Cette valeur est mesurée par la corrélation entre le prédicteur (un test, un entretien, un outil d'évaluation) et un critère de réussite (professionnel le plus souvent). En matière de recrutement ou de gestion des ressources humaines, les techniques et outils possédant les meilleures validités prédictives sont les suivants: Assessment Centers, questionnaires de personnalité, tests d'aptitudes, prises de références, recommandations, entretiens en face à face.
Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
Réseau de PetriAnimated_Petri_net_commons.gif Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels...) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri. Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport.
