English | Russian |
an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the left hand side | Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
Behavioral models, on the other hand, represent interactions between services within context in terms of business processes, scenarios, use-cases, and so on | с другой стороны, поведенческие модели – это модели, отражающие взаимодействие между сервисами в контексте бизнес-процессов, различных ситуаций, сценариев использования и т.д. (ssn) |
Behavioral models, on the other hand, represent interactions between services within context in terms of business processes, scenarios, use-cases, and so on | с другой стороны, поведенческие модели это модели, отражающие взаимодействие между сервисами в контексте бизнес-процессов, различных ситуаций, сценариев использования и т.д. (ssn) |
Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
on the other hand | однако (ssn) |
on the other hand, a large number of representation possibilities makes the application of this technique complex | но множество возможностей представления усложняет применение этого метода (см. IEC 61508-7:2010) |
on the other hand, if too many threads exist, some tasks will spend a significant amount of time in the idle position | с другой стороны, если потоков слишком много, некоторые задачи будут значительное время находиться в состоянии ожидания (ssn) |
on the other hand, the screen-flipping and frame-drawing members are going to be called very frequently, and so these need to be as fast as possible | с другой стороны, методы обмена буферов и рисования кадров будут вызываться очень часто, поэтому они должны быть быстрыми настолько, насколько это возможно (см. Game Architecture and Design / Andrew Rollings, David Morris 2004 ssn) |
Utilizing readahead, on the other hand, is possible | Оптимизация опережающего считывания, однако, возможна (ssn) |