4666 search results - page 787 / 934 » Equations on Timed Languages |
136
click to vote
PADS
2003
ACM
15 years 9 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...
130
click to vote
SACMAT
2003
ACM
15 years 9 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ā...
139
click to vote
WIDM
2003
ACM
15 years 9 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...
136
click to vote
ADC
2003
Springer
15 years 9 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...
139
click to vote
AIME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...