您要查找的是不是：
- application logic framework 应用逻辑架构
- Isabelle is a logic framework used to construct theorem provers. Isabelle/HOL, which came from Isabelle, is a theorem prover with mature functions. Isabelle是一种用来构造交互式定理证明器的逻辑框架,由它构造的Isabelle/HOL是一种功能完备的定理证明系统。
- Within the logic framework, Sun Shaozhen's literary research focuses on uniqueness and strangeness of literary emotions, which are limited and regulated by literary categories. 摘要在逻辑性的论述架构内，孙绍振的文学研究，强调文学情感的独特性和奇异性，同时周密地论证了作为文学的情感，总是为种种文类所约束和规范。
- Gets the application logical path. 获取应用程序的逻辑路径。
- U.G.: What I am saying conflicts with your logical framework. 克里希那穆提：我所说的与你的逻辑框架会冲突。
- Stored procedures are valuable for encapsulating application logic and database access on the server. 存储过程对于在服务器上封装应用程序逻辑和数据库访问很有价值。
- Application programmers can concentrate on their application logic rather than on the rigors of SOAP. 应用程序编程人员可以集中精力编写他们的应用逻辑,而不再被SOAP的严密逻辑困扰。
- This architecture separates business and application logic from the underlying technology platform. 这个架构将业务逻辑和应用程序逻辑与底层技术平台分隔开来。
- You can hide other event classes from the main application logic in the same way. 用同样的方式,你可以从主应用程序逻辑隐藏其他事件类。
- A major cause of this pervasiveness is the structural difference between application logic and security logic. 这种普遍性的主要因素是应用逻辑和安全逻辑之间的结构差。
- A word of advice: keep application logic out of the templates, and presentation logic out of the application. 有个建议:让应用程序逻辑远离模板,页面表现逻辑远离应用程序逻辑。
- Application logic layer was established in lower layer frame, function module was described with metadata file. 在低层框架上构建应用逻辑层，并用元数据文件描述模块功能。
- Application logic that checks database consistency must take into account the fact that reads do not block writes in either mode. 在应用层对数据库一致性进行检查的应用逻辑必须注意,在两种隔离模式下读操作都不会阻塞写操作。
- There is less of a load on the server than with a Web front end, because the server does not have to perform all of the application logic. 服务器上的负载比Web前端的负载少,这是因为服务器不必执行所有的应用程序逻辑。
- On the one hand, with principles of post-elevation methodology, the logical framework approach (LFA) is investigated in depth as the foundation. 一方面论述了项目后评价的方法论原则，并以逻辑框架法为后评价的方法论基础进行了深入分析；
- Changing the grammar is usually a different sort of task than changing the application logic; and the files reflect this. 通常,更改语法和更改应用程序逻辑是不同种类的任务;这些文件反映了这一点。
- Coordinated Strategy for Implementation: A logical framework (See Annex 1) was developed to clearly define the sectoral inputs and the expected outputs. 执行的相关策略:一个合理的框架(看Annex 1)已经开发出来,显示需要付出的和预期的收获。
- The request validation feature cannot catch all attacks, especially those crafted specifically against your application logic. 请求验证功能无法将所有的攻击都捕捉到,特别是无法捕捉那些专门针对应用程序逻辑而策划的攻击。
- Thus, the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained, such as precision and machine-checkable proofs. 由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。
- Forms have to be validated before any application logic can be executed, and field data has to be converted before being validated. 表单必须在任何应用程序逻辑执行之前进行验证,并且在进行验证之前,必须对域中的数据进行转换。
