1928 search results - page 104 / 386 » Integrity Constraints in OWL |
154
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
111
click to vote
DAC
2005
ACM
15 years 2 months ago
2005
ACM
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
116
Voted
DAC
2010
ACM
15 years 1 months ago
2010
ACM
With technology scaling down to 90nm and below, many yield-driven design and optimization methodologies have been proposed to cope with the prominent process variation and to incr...
100
click to vote
ECEASST
2008
15 years 26 days ago
2008
This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a sta...
87
Voted
AUTOMATICA
2005
15 years 21 days ago
2005
In the advanced tokamak (AT) operating mode of the DIII-D tokamak, an integrated multivariable controller takes into account highly coupled influences of plasma equilibrium shape,...