Sciweavers

2678 search results - page 133 / 536
» Operational Semantics of Transactions
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
15 years 4 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
158
Voted
JODS
2007
119views Data Mining» more  JODS 2007»
15 years 4 months ago
Semantic Matching: Algorithms and Implementation
We view match as an operator that takes two graph-like structures (e.g., classifications, XML schemas) and produces a mapping between the nodes of these graphs that correspond sema...
Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shva...
AAAI
2006
15 years 6 months ago
A Platform to Evaluate the Technology for Service Discovery in the Semantic Web
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
Cécile Aberg, Johan Aberg, Patrick Lambrix,...
VLDB
2005
ACM
397views Database» more  VLDB 2005»
16 years 4 months ago
Concurrency control and recovery for balanced B-link trees
Abstract. In this paper we present new concurrent and recoverable B-link-tree algorithms. Unlike previous algorithms, ours maintain the balance of the B-link tree at all times, so ...
Ibrahim Jaluta, Seppo Sippu, Eljas Soisalon-Soinin...
SRDS
2010
IEEE
15 years 2 months ago
P-Store: Genuine Partial Replication in Wide Area Networks
Partial replication is a way to increase the scalability of replicated systems since updates only need to be applied to a subset of the system's sites, thus allowing replicas...
Nicolas Schiper, Pierre Sutra, Fernando Pedone