6016 search results - page 187 / 1204 » The semantics of graphical languages |
183
click to vote
JLP
2006
15 years 6 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
171
Voted
ICANN
2007
Springer
16 years 21 days ago
2007
Springer
Neurocognitive processes responsible for representation of meaning and understanding of words are investigated. First a review of current knowledge about word representation, recen...
182
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
SPARQL query composition is difficult for the lay-person or even the experienced bioinformatician in cases where the data model is unfamiliar. Established best-practices and intern...
143
click to vote
DFG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
142
click to vote
LFP
1990
15 years 7 months ago
1990
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple