（4）条件程序技术（Contigent procedures） 条件程序技术是结构化的积极管理策略的一种方式，其主要代表为条件免疫技术，条件 免疫技术（contigent immunization）是传统免...
基于8个网页-相关网页
Web 服务是使得应用程序在跨语言、跨平台的条件下能够交互的技术。
Web services are technologies that allow applications to communicate with each other in a language and platform-independent manner.
本文论述了应用于各种不同的现场条件地下管道埋设技术及其选择决策程序软件。
The paper discusses the application software for the underground piping laying technology and decision selection program in various site conditions.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
应用推荐