3809 search results - page 620 / 762 » Associative language descriptions |
163
click to vote
DAC
2003
ACM
16 years 6 days ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
158
click to vote
DAC
2003
ACM
16 years 6 days 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...
200
click to vote
SAC
2003
ACM
16 years 6 days ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
193
Voted
SIGSOFT
2003
ACM
16 years 6 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
193
click to vote
ASM
2003
ASM
16 years 5 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...