3429 search results - page 353 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
127
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Higher-order recursion schemes are equations defining recursively new operations from given ones called “terminals”. Every such recursion scheme is proved to have a least inte...
158
click to vote
IRI
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose a semantic tagger that provides high level concept information for phrases based on several kinds of low level information about words in clinical narrative texts. The ...
166
click to vote
INTERACTION
2009
ACM
15 years 11 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
131
click to vote
ICDE
1993
IEEE
15 years 9 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
168
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...