搜索结果: 1-3 共查到“Extensible”相关记录3条 . 查询时间(0.066 秒)
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
Notation Reloaded：eXtensible Dance Scripting Notation
Notation Reloaded Dance scripting language
2009/7/15
This paper presents a new form of dance notation that has a hand written and machine readable format: eXtensible Dance Scripting Notation (xdsn). The notation system is designed to be quick to write, ...
The Globally Asynchronous Locally Synchronous
Network on Chip (GALS NoC) is the most efficient solution that
provides low latency transfers and power efficient System on Chip
(SoC) interconnect. T...