1548 search results - page 55 / 310 » Semantics and Extensions of WS-Agreement |
RULEML
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
Locating content efficiently and conveniently is the key issue in P2P systems. In this paper we present SemanticPeer, an Ontology-Based P2P lookup service, to address this problem,...
SEMWEB
2010
Springer
13 years 7 months ago
2010
Springer
Organizations today collect and store large amounts of data in various formats and locations. However they are sometimes required to locate all instances of a certain type of data....
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
CSL
2009
Springer
14 years 4 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...