941 search results - page 107 / 189 » Mathematics on the (Semantic) NET |
122
click to vote
CALCO
2005
Springer
15 years 6 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
110
Voted
RULEML
2007
Springer
15 years 6 months ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
143
Voted
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...
189
Voted
POPL
2004
ACM
16 years 28 days ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
106
Voted
ACSD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...