3793 search results - page 586 / 759 » Expressive Description Logics |
161
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
184
click to vote
SBCCI
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
157
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
130
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
171
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...