This paper presents a top down procedure for DCWA and proves its soundness and completeness.

基于此，提出了DCWA的过程语义，并证明了它的可靠性和完备性。

youdao

Very few people have opted out. Perhaps knowing if they opt out of the full body scan they'll have to go through that invasive pat-down procedure.

很少人选择退出。也许他们知道，如果选择退出全身扫描，他们将不得不经历入侵式的搜身程序。

youdao

The method of the invention also utilizes a novel startup procedure, a novel emergency shutdown procedure, a novel maximum cool down procedure, and a novel carbon monoxide monitoring procedure.

本发明的方法还利用新的起动程序、新的紧急关闭程序、新的最大冷却程序和新的一氧化碳监测程序。

youdao

They fixed that procedure and after that the cases went down even more.

该厂家修正了生产漏洞之后,疾病的发生率下降的更多了

耶鲁公开课 - 生物医学工程探索课程节选

And as a result of writing it down and keeping track, he produced a very clear record, and scientific evidence, that using this procedure could protect a population of people from the disease.

凭借他的持续关注和追踪,他做出了十分清晰的记录,留下了科学证据,证明这种方法,可以让人们不再得这种病

耶鲁公开课 - 生物医学工程探索课程节选

Passengers who opt out of the screening receive an alternate form of checking, which includes a pat-down procedure.

CNN: 150 more full-body scanners to go in U.S. airports

Fin Reg grants the government the ability to modify and even rescind financial, employment and other business contracts executed by an institution during the wind-down procedure.

FORBES: Fin Reg Wouldn't Have Defused Bear Stearns Time Bomb

Congress and the administration will demand that banks and hedge funds pay a lot more in taxes, fees and other charges going forward, and the wind down procedure costs are not quantifiable or limited.

FORBES: With Warts, Fin Reg Passes House And Heads To Senate