7452 search results - page 151 / 1491 » A Semantics for Multiprocessor Systems |
154
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The work on integrating sources and services in the Semantic Web assumes that the data is either already represented in RDF or OWL or is available through a Semantic Web ...
140
click to vote
ISCA
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper evaluates the tradeoffs involved in the design of the software-extended memory system of Alewife, a multiprocessor architecturethat implements coherentsharedmemorythrou...
112
Voted
LOGCOM
2002
15 years 3 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
126
Voted
RR
2007
Springer
15 years 10 months ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
105
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...