Search by keyword: "process"
Automation of Verification of Incorrectness for Firewall Configurations
| Authors: Devyatkov V.V., Myo Than Tun | Published: 08.02.2015 |
| Published in issue: #1(100)/2015 | |
| DOI: 10.18698/0236-3933-2015-1-100-110 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Computing Systems and their Elements | |
| Keywords: firewall, process, modal logic, logic programming language PROLOG | |
Development and Research of Optimal Technological Operations for Assembling Electronic Modules from the Same-Type Components at Flexible Automated Assembling Robotic Complexes in MultiNomenclature Production
| Authors: Ivanov Yu.V. | Published: 16.09.2014 |
| Published in issue: #4(97)/2014 | |
| DOI: | |
| Category: Design and technology | |
| Keywords: technological operation, process, structural and parametric optimization, effectiveness, integration, synthesis, reliability, productivity, cost | |
Construction, optimization, and modification of processes
| Authors: Devyatkov V.V. | Published: 10.06.2013 |
| Published in issue: #4(89)/2012 | |
| DOI: | |
| Category: Informatics & Computing Technology | |
| Keywords: process, process expressions, construction, optimization, modification | |