342 search results - page 43 / 69 » Coalgebraic Symbolic Semantics |
ECMDAFA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
EUROSSC
2009
Springer
14 years 4 months ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
WOLLIC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...