3653 search results - page 583 / 731 » On Recognizable Timed Languages |
134
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
155
click to vote
PADS
2003
ACM
15 years 11 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Veriļ¬cation engineers can simulate hardwa...
153
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
166
click to vote
WIDM
2003
ACM
15 years 11 months ago
2003
ACM
Whenever XML data must be shared by heterogeneous applications, transformations between different applicationspecific XML formats are necessary. The state-of-the-art method transf...
164
click to vote
ADC
2003
Springer
15 years 11 months ago
2003
Springer
The mining of informative rules calls for methods that include diļ¬erent attributes (e.g., weights, quantities, multipleconcepts) suitable for the context of the problem to be an...