386 search results - page 40 / 78 » A Consistent Semantics of Self-adjusting Computation |
133
click to vote
CIE
2010
Springer
15 years 6 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
111
click to vote
IWNAS
2008
IEEE
15 years 8 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
112
click to vote
SKG
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
129
click to vote
JUCS
2008
15 years 1 months ago
2008
: We propose specification of schema mappings and agents' actions in XML data integration task. We discuss the problem in a highly-dynamic environment consisting of a communit...
112
click to vote
DAM
1998
15 years 1 months ago
1998
We first consider so-called (1,+s)-branching programs in which along every consistent path at most s variables are tested more than once. We prove that any such program computing...