3429 search results - page 264 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
131
click to vote
BNCOD
2009
15 years 2 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
179
click to vote
EMNLP
2009
15 years 2 months ago
2009
This paper presents an effective method for generating natural language sentences from their underlying meaning representations. The method is built on top of a hybrid tree repres...
144
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
116
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
143
click to vote
AES
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...