4008 search results - page 624 / 802 » An expressive language of signatures |
138
click to vote
EXTREME
2004
ACM
15 years 12 months ago
2004
ACM
"Overlap" is the common term for cases where some markup structures do not nest neatly into others, such as when a quotation starts in the middle of one paragraph and en...
162
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
169
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
142
click to vote
ECOOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
161
click to vote
ESOP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...