executable相关论文
An executable framework for modeling and validating cooperative capability requirements in emergency
As the scale of current systems become larger and larger and their complexity is increasing gradually,research on execut......
当前对C~4ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没......
为了防止代码重用攻击,经典的方法是通过代码随机化或者重构,使其地址无法被准确定位。然而,通过内存泄露攻击可以实时读取可执行......
STATEMATE系统是一个颇有国际影响的软件开发环境,它是专门针对大型、复杂的Reactive系统开发的。作者对该系统作了深入剖析,并对其思想实质和设计哲学......
Dependable computer based systems employing fault tolerance and robust software development techniques demand additional......