2136 search results - page 314 / 428 » A Game-Theoretic Operational Semantics |
146
click to vote
WEBDB
2005
Springer
15 years 10 months ago
2005
Springer
We present a new approach to information fusion of web data sources. It is based on peer-to-peer mappings between sources and utilizes correspondences between their instances. Suc...
132
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
115
Voted
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...
177
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
139
click to vote
TAMC
2010
Springer
15 years 9 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...