搜索结果: 1-3 共查到“计算机科学技术 Specifications”相关记录3条 . 查询时间(0.062 秒)
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
Dynamic analysis specification mining information flow
2016/5/24
We present a technique to mine explicit information flow specifications from concrete executions. These specifications can be consumed by a static taint analysis, enabling static analysis to work even...
Power control in lognormal fading wireless channels with uptime probability specifications via robust geometric programming
Lognormal decline power control wireless transmitter random geometry application geometric programming
2015/8/10
This paper concerns power control in lognormal fading wireless channels with correlated interference. We consider an outage-based quality of service (QoS) specification, which requires the uptime prob...
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...