Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Chess (disambiguation) — Contents 1 Board games 2 Computer games 3 Art 4 Acronyms … Wikipedia
Component Object Model — Not to be confused with COM file. Component Object Model (COM) is a binary interface standard for software componentry introduced by Microsoft in 1993. It is used to enable interprocess communication and dynamic object creation in a large range… … Wikipedia
Stress testing — is a form of testing that is used to determine the stability of a given system or entity. It involves testing beyond normal operational capacity, often to a breaking point, in order to observe the results. Stress testing may have a more specific… … Wikipedia
Проверка моделей — (проверка на модели, англ. model checking) метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… … Википедия
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Outlook Express — This article is about the Windows component. For the personal information manager included in the Microsoft Office suite, see Microsoft Outlook. Outlook Express A component of Microsoft Windows Screenshot of Outlook Express in Windows … Wikipedia
Dynamic programming — For the programming paradigm, see Dynamic programming language. In mathematics and computer science, dynamic programming is a method for solving complex problems by breaking them down into simpler subproblems. It is applicable to problems… … Wikipedia
Internet Explorer — Windows Internet Explorer A component of Microsoft Windows Internet Explorer 9 in Wi … Wikipedia
Outline of sports — The following outline is provided as an overview of and topical guide to sports: Sport – a physical activity that is governed by a set of rules or customs and often engaged in competitively, sports can be played on land, in water and in the air.… … Wikipedia
