搜索结果: 1-4 共查到“demand-driven”相关记录4条 . 查询时间(0.046 秒)
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
Multi-usable courseware for flexible and demand-driven education at ITC
Remote Sensing Spatial Information Sciences
2015/8/24
The paper describes the change in education at ITC, from fully face-to-face via the use of an electronic learning
environment towards online learning and all possible combinations of face-to-face an...
Agricultural Knowledge Transfer and Innovation Processes in Vietnam’s Northwestern Uplands: State-governed or Demand-driven?
Knowledge Transfer System diffusion mechanism agricultural innovation adoption Vietnam’s Northwestern Mountainous Region
2014/2/17
This paper assesses processes of adoption of agricultural innovations introduced to the northwestern uplands of Vietnam since the late 1950s as a result of external driving forces and the motivation o...
Stakeholders' requirements analysis for a demand-driven construction industry
Stakeholder requirement requirement identification requirement analysis high performance buildings I3CON
2010/9/29
Construction – and its significant impact on quality of life – has received considerable attention in recent years, however, there is little agreement on how to create an environment that will allow c...