4382 search results - page 556 / 877 » Query by Semantic Example |
120
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Middleware technologies, often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies imposed by the Middleware system...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
100
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Genomic functional information is valuable for biomedical research. However, such information frequently needs to be extracted from the scientific literature and struc...
153
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
130
click to vote
IJMSO
2006
15 years 4 months ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...